public final class SmcHeaderGenerator extends SmcCodeGenerator
SmcElement,
SmcVisitor,
SmcCppGenerator_guardCount, _guardIndex, _indent, _source, _srcfileBase| Constructor and Description |
|---|
SmcHeaderGenerator(java.io.PrintStream source,
java.lang.String srcfileBase) |
| Modifier and Type | Method and Description |
|---|---|
void |
visit(SmcFSM fsm) |
void |
visit(SmcMap map) |
void |
visit(SmcParameter parameter) |
void |
visit(SmcState state) |
void |
visit(SmcTransition transition) |
allNilEndStates, isLoopback, scopeStateNamevisit, visitpublic SmcHeaderGenerator(java.io.PrintStream source,
java.lang.String srcfileBase)
public void visit(SmcFSM fsm)
visit in class SmcVisitorpublic void visit(SmcMap map)
visit in class SmcVisitorpublic void visit(SmcState state)
visit in class SmcVisitorpublic void visit(SmcTransition transition)
visit in class SmcVisitorpublic void visit(SmcParameter parameter)
visit in class SmcVisitor