public class PrologGenerator extends DepthFirstAdapter
| Constructor and Description |
|---|
PrologGenerator(de.prob.prolog.output.IPrologTermOutput pto,
java.lang.String currentStateID,
de.prob.parserbase.ProBParserBase specParser) |
| Modifier and Type | Method and Description |
|---|---|
void |
caseAActionLtl(AActionLtl node) |
void |
caseAAndFair1Ltl(AAndFair1Ltl node) |
void |
caseAAndFair2Ltl(AAndFair2Ltl node) |
void |
caseAAvailableLtl(AAvailableLtl node) |
void |
caseACtrlLtl(ACtrlLtl node) |
void |
caseACurrentLtl(ACurrentLtl node) |
void |
caseADeadlockLtl(ADeadlockLtl node) |
void |
caseADetLtl(ADetLtl node) |
void |
caseADlkLtl(ADlkLtl node) |
void |
caseAEnabledLtl(AEnabledLtl node) |
void |
caseAExistsLtl(AExistsLtl node) |
void |
caseAForallLtl(AForallLtl node) |
void |
caseAOpActions(AOpActions node) |
void |
caseASinkLtl(ASinkLtl node) |
void |
caseAStrongFairAllLtl(AStrongFairAllLtl node) |
void |
caseAStrongFairLtl(AStrongFairLtl node) |
void |
caseAUnparsedLtl(AUnparsedLtl node) |
void |
caseAWeakFairAllLtl(AWeakFairAllLtl node) |
void |
caseAWeakFairLtl(AWeakFairLtl node) |
void |
defaultIn(Node node) |
void |
defaultOut(Node node) |
void |
inStart(Start node) |
void |
outStart(Start node) |
caseAAndLtl, caseAFairnessImplicationLtl, caseAFalseLtl, caseAFinallyLtl, caseAGloballyLtl, caseAHistoricallyLtl, caseAImpliesLtl, caseANextLtl, caseANotLtl, caseAOnceLtl, caseAOrLtl, caseAReleaseLtl, caseASinceLtl, caseAStrongAssumptionsLtl, caseATriggerLtl, caseATrueLtl, caseAUntilLtl, caseAWeakAssumptionsLtl, caseAWeakuntilLtl, caseAYesterdayLtl, caseStart, inAActionLtl, inAAndFair1Ltl, inAAndFair2Ltl, inAAndLtl, inAAvailableLtl, inACtrlLtl, inACurrentLtl, inADeadlockLtl, inADetLtl, inADlkLtl, inAEnabledLtl, inAExistsLtl, inAFairnessImplicationLtl, inAFalseLtl, inAFinallyLtl, inAForallLtl, inAGloballyLtl, inAHistoricallyLtl, inAImpliesLtl, inANextLtl, inANotLtl, inAOnceLtl, inAOpActions, inAOrLtl, inAReleaseLtl, inASinceLtl, inASinkLtl, inAStrongAssumptionsLtl, inAStrongFairAllLtl, inAStrongFairLtl, inATriggerLtl, inATrueLtl, inAUnparsedLtl, inAUntilLtl, inAWeakAssumptionsLtl, inAWeakFairAllLtl, inAWeakFairLtl, inAWeakuntilLtl, inAYesterdayLtl, outAActionLtl, outAAndFair1Ltl, outAAndFair2Ltl, outAAndLtl, outAAvailableLtl, outACtrlLtl, outACurrentLtl, outADeadlockLtl, outADetLtl, outADlkLtl, outAEnabledLtl, outAExistsLtl, outAFairnessImplicationLtl, outAFalseLtl, outAFinallyLtl, outAForallLtl, outAGloballyLtl, outAHistoricallyLtl, outAImpliesLtl, outANextLtl, outANotLtl, outAOnceLtl, outAOpActions, outAOrLtl, outAReleaseLtl, outASinceLtl, outASinkLtl, outAStrongAssumptionsLtl, outAStrongFairAllLtl, outAStrongFairLtl, outATriggerLtl, outATrueLtl, outAUnparsedLtl, outAUntilLtl, outAWeakAssumptionsLtl, outAWeakFairAllLtl, outAWeakFairLtl, outAWeakuntilLtl, outAYesterdayLtlcaseEOF, caseTActionBegin, caseTActionChar, caseTActionEnd, caseTActionsSplit, caseTAnd, caseTApChar, caseTArgsBegin, caseTArgsEnd, caseTAtomicPropositionBegin, caseTAtomicPropositionEnd, caseTAvailable, caseTCtrl, caseTCurrent, caseTDeadlock, caseTDet, caseTDlk, caseTEnabled, caseTExistsIdentifier, caseTFalse, caseTFinally, caseTForallIdentifier, caseTGlobally, caseTHistorically, caseTImplies, caseTLPar, caseTLSq, caseTNext, caseTNot, caseTOnce, caseTOr, caseTRelease, caseTRPar, caseTSince, caseTSink, caseTStrongFair, caseTStrongFairEverything, caseTTpChar, caseTTrigger, caseTTrue, caseTUntil, caseTWeakFair, caseTWeakFairEverything, caseTWeakuntil, caseTWhiteSpace, caseTYesterday, defaultCase, getIn, getOut, setIn, setOutpublic PrologGenerator(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 caseAUnparsedLtl(AUnparsedLtl node)
caseAUnparsedLtl in interface AnalysiscaseAUnparsedLtl in class DepthFirstAdapterpublic void caseAActionLtl(AActionLtl node)
caseAActionLtl in interface AnalysiscaseAActionLtl in class DepthFirstAdapterpublic void caseAEnabledLtl(AEnabledLtl node)
caseAEnabledLtl in interface AnalysiscaseAEnabledLtl in class DepthFirstAdapterpublic void caseAAvailableLtl(AAvailableLtl node)
caseAAvailableLtl in interface AnalysiscaseAAvailableLtl in class DepthFirstAdapterpublic void caseAStrongFairLtl(AStrongFairLtl node)
caseAStrongFairLtl in interface AnalysiscaseAStrongFairLtl in class DepthFirstAdapterpublic void caseAWeakFairLtl(AWeakFairLtl node)
caseAWeakFairLtl in interface AnalysiscaseAWeakFairLtl in class DepthFirstAdapterpublic void caseAAndFair1Ltl(AAndFair1Ltl node)
caseAAndFair1Ltl in interface AnalysiscaseAAndFair1Ltl in class DepthFirstAdapterpublic void caseAAndFair2Ltl(AAndFair2Ltl node)
caseAAndFair2Ltl in interface AnalysiscaseAAndFair2Ltl in class DepthFirstAdapterpublic void caseASinkLtl(ASinkLtl node)
caseASinkLtl in interface AnalysiscaseASinkLtl in class DepthFirstAdapterpublic void caseADeadlockLtl(ADeadlockLtl node)
caseADeadlockLtl in interface AnalysiscaseADeadlockLtl in class DepthFirstAdapterpublic void caseACurrentLtl(ACurrentLtl node)
caseACurrentLtl in interface AnalysiscaseACurrentLtl in class DepthFirstAdapterpublic void caseAWeakFairAllLtl(AWeakFairAllLtl node)
caseAWeakFairAllLtl in interface AnalysiscaseAWeakFairAllLtl in class DepthFirstAdapterpublic void caseAStrongFairAllLtl(AStrongFairAllLtl node)
caseAStrongFairAllLtl in interface AnalysiscaseAStrongFairAllLtl in class DepthFirstAdapterpublic void caseAExistsLtl(AExistsLtl node)
caseAExistsLtl in interface AnalysiscaseAExistsLtl in class DepthFirstAdapterpublic void caseAForallLtl(AForallLtl node)
caseAForallLtl in interface AnalysiscaseAForallLtl in class DepthFirstAdapterpublic void caseADlkLtl(ADlkLtl node)
caseADlkLtl in interface AnalysiscaseADlkLtl in class DepthFirstAdapterpublic void caseADetLtl(ADetLtl node)
caseADetLtl in interface AnalysiscaseADetLtl in class DepthFirstAdapterpublic void caseACtrlLtl(ACtrlLtl node)
caseACtrlLtl in interface AnalysiscaseACtrlLtl in class DepthFirstAdapterpublic void caseAOpActions(AOpActions node)
caseAOpActions in interface AnalysiscaseAOpActions in class DepthFirstAdapterpublic void inStart(Start node)
inStart in class DepthFirstAdapterpublic void outStart(Start node)
outStart in class DepthFirstAdapter