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, outAUnparsedCtl
caseEOF, 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, setOut
public PrologCtlGenerator(de.prob.prolog.output.IPrologTermOutput pto, java.lang.String currentStateID, de.prob.parserbase.ProBParserBase specParser)
public void defaultOut(Node node)
defaultOut
in class DepthFirstAdapter
public void defaultIn(Node node)
defaultIn
in class DepthFirstAdapter
public void caseAUnparsedCtl(AUnparsedCtl node)
caseAUnparsedCtl
in interface Analysis
caseAUnparsedCtl
in class DepthFirstAdapter
public void caseAEnaCtl(AEnaCtl node)
caseAEnaCtl
in interface Analysis
caseAEnaCtl
in class DepthFirstAdapter
public void caseAEnabledCtl(AEnabledCtl node)
caseAEnabledCtl
in interface Analysis
caseAEnabledCtl
in class DepthFirstAdapter
public void caseASinkCtl(ASinkCtl node)
caseASinkCtl
in interface Analysis
caseASinkCtl
in class DepthFirstAdapter
public void caseADeadlockCtl(ADeadlockCtl node)
caseADeadlockCtl
in interface Analysis
caseADeadlockCtl
in class DepthFirstAdapter
public void caseACurrentCtl(ACurrentCtl node)
caseACurrentCtl
in interface Analysis
caseACurrentCtl
in class DepthFirstAdapter
public void inStart(Start node)
inStart
in class DepthFirstAdapter
public void outStart(Start node)
outStart
in class DepthFirstAdapter
public void caseAActionCtl(AActionCtl node)
caseAActionCtl
in interface Analysis
caseAActionCtl
in class DepthFirstAdapter