public class PrologCtlGenerator extends DepthFirstAdapter
| Constructor and Description |
|---|
PrologCtlGenerator(de.prob.prolog.output.IPrologTermOutput pto,
java.lang.String currentStateID,
de.prob.parserbase.ProBParserBase specParser) |
| Modifier and Type | Method and Description |
|---|---|
void |
caseAActionCtl(AActionCtl node) |
void |
caseACurrentCtl(ACurrentCtl node) |
void |
caseADeadlockCtl(ADeadlockCtl node) |
void |
caseAEnabledCtl(AEnabledCtl node) |
void |
caseAEnaCtl(AEnaCtl node) |
void |
caseASinkCtl(ASinkCtl node) |
void |
caseAUnparsedCtl(AUnparsedCtl node) |
void |
defaultIn(Node node) |
void |
defaultOut(Node node) |
void |
inStart(Start node) |
void |
outStart(Start node) |
caseAAfCtl, caseAAgCtl, caseAAnCtl, caseAAndCtl, caseAEfCtl, caseAEgCtl, caseAEnCtl, caseAEuCtl, caseAFalseCtl, caseAImpliesCtl, caseANotCtl, caseAOrCtl, caseATrueCtl, caseStart, inAActionCtl, inAAfCtl, inAAgCtl, inAAnCtl, inAAndCtl, inACurrentCtl, inADeadlockCtl, inAEfCtl, inAEgCtl, inAEnabledCtl, inAEnaCtl, inAEnCtl, inAEuCtl, inAFalseCtl, inAImpliesCtl, inANotCtl, inAOrCtl, inASinkCtl, inATrueCtl, inAUnparsedCtl, outAActionCtl, outAAfCtl, outAAgCtl, outAAnCtl, outAAndCtl, outACurrentCtl, outADeadlockCtl, outAEfCtl, outAEgCtl, outAEnabledCtl, outAEnaCtl, outAEnCtl, outAEuCtl, outAFalseCtl, outAImpliesCtl, outANotCtl, outAOrCtl, outASinkCtl, outATrueCtl, outAUnparsedCtlcaseEOF, caseTActionBegin, caseTActionEnd, caseTAnd, caseTApChar, caseTAtomicPropositionBegin, caseTAtomicPropositionEnd, caseTCurrent, caseTDeadlock, caseTEnabled, caseTExists, caseTFalse, caseTFinally, caseTForall, caseTGlobally, caseTImplies, caseTLPar, caseTLSq, caseTNext, caseTNot, caseTOr, caseTRPar, caseTSink, caseTTpChar, caseTTrue, caseTUntil, caseTWhiteSpace, defaultCase, getIn, getOut, setIn, setOutpublic PrologCtlGenerator(de.prob.prolog.output.IPrologTermOutput pto,
java.lang.String currentStateID,
de.prob.parserbase.ProBParserBase specParser)
public void defaultOut(Node node)
defaultOut in class DepthFirstAdapterpublic void defaultIn(Node node)
defaultIn in class DepthFirstAdapterpublic void caseAUnparsedCtl(AUnparsedCtl node)
caseAUnparsedCtl in interface AnalysiscaseAUnparsedCtl in class DepthFirstAdapterpublic void caseAEnaCtl(AEnaCtl node)
caseAEnaCtl in interface AnalysiscaseAEnaCtl in class DepthFirstAdapterpublic void caseAEnabledCtl(AEnabledCtl node)
caseAEnabledCtl in interface AnalysiscaseAEnabledCtl in class DepthFirstAdapterpublic void caseASinkCtl(ASinkCtl node)
caseASinkCtl in interface AnalysiscaseASinkCtl in class DepthFirstAdapterpublic void caseADeadlockCtl(ADeadlockCtl node)
caseADeadlockCtl in interface AnalysiscaseADeadlockCtl in class DepthFirstAdapterpublic void caseACurrentCtl(ACurrentCtl node)
caseACurrentCtl in interface AnalysiscaseACurrentCtl in class DepthFirstAdapterpublic void inStart(Start node)
inStart in class DepthFirstAdapterpublic void outStart(Start node)
outStart in class DepthFirstAdapterpublic void caseAActionCtl(AActionCtl node)
caseAActionCtl in interface AnalysiscaseAActionCtl in class DepthFirstAdapter