public final class SmcCGenerator extends SmcCodeGenerator
SmcElement,
SmcCodeGenerator,
SmcVisitor_guardCount, _guardIndex, _indent, _source, _srcfileBase| Constructor and Description |
|---|
SmcCGenerator(java.io.PrintStream source,
java.lang.String srcfileBase) |
| Modifier and Type | Method and Description |
|---|---|
protected java.lang.String |
scopeStateName(java.lang.String stateName,
java.lang.String mapName) |
void |
visit(SmcAction action) |
void |
visit(SmcFSM fsm) |
void |
visit(SmcGuard guard) |
void |
visit(SmcMap map) |
void |
visit(SmcParameter parameter) |
void |
visit(SmcState state) |
void |
visit(SmcTransition transition) |
allNilEndStates, isLoopbackpublic SmcCGenerator(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(SmcGuard guard)
visit in class SmcVisitorpublic void visit(SmcAction action)
visit in class SmcVisitorpublic void visit(SmcParameter parameter)
visit in class SmcVisitorprotected java.lang.String scopeStateName(java.lang.String stateName,
java.lang.String mapName)
scopeStateName in class SmcCodeGenerator