public final class SmcHeaderCGenerator extends SmcCodeGenerator
SmcElement,
SmcVisitor,
SmcCGenerator_guardCount, _guardIndex, _indent, _source, _srcfileBase| Constructor and Description |
|---|
SmcHeaderCGenerator(java.io.PrintStream source,
java.lang.String srcfileBase) |
| Modifier and Type | Method and Description |
|---|---|
void |
visit(SmcFSM fsm) |
void |
visit(SmcMap map) |
allNilEndStates, isLoopback, scopeStateNamepublic SmcHeaderCGenerator(java.io.PrintStream source,
java.lang.String srcfileBase)
public void visit(SmcFSM fsm)
visit in class SmcVisitorpublic void visit(SmcMap map)
visit in class SmcVisitor