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, outAYesterdayLtl
caseEOF, 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, setOut
public PrologGenerator(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 caseAUnparsedLtl(AUnparsedLtl node)
caseAUnparsedLtl
in interface Analysis
caseAUnparsedLtl
in class DepthFirstAdapter
public void caseAActionLtl(AActionLtl node)
caseAActionLtl
in interface Analysis
caseAActionLtl
in class DepthFirstAdapter
public void caseAEnabledLtl(AEnabledLtl node)
caseAEnabledLtl
in interface Analysis
caseAEnabledLtl
in class DepthFirstAdapter
public void caseAAvailableLtl(AAvailableLtl node)
caseAAvailableLtl
in interface Analysis
caseAAvailableLtl
in class DepthFirstAdapter
public void caseAStrongFairLtl(AStrongFairLtl node)
caseAStrongFairLtl
in interface Analysis
caseAStrongFairLtl
in class DepthFirstAdapter
public void caseAWeakFairLtl(AWeakFairLtl node)
caseAWeakFairLtl
in interface Analysis
caseAWeakFairLtl
in class DepthFirstAdapter
public void caseAAndFair1Ltl(AAndFair1Ltl node)
caseAAndFair1Ltl
in interface Analysis
caseAAndFair1Ltl
in class DepthFirstAdapter
public void caseAAndFair2Ltl(AAndFair2Ltl node)
caseAAndFair2Ltl
in interface Analysis
caseAAndFair2Ltl
in class DepthFirstAdapter
public void caseASinkLtl(ASinkLtl node)
caseASinkLtl
in interface Analysis
caseASinkLtl
in class DepthFirstAdapter
public void caseADeadlockLtl(ADeadlockLtl node)
caseADeadlockLtl
in interface Analysis
caseADeadlockLtl
in class DepthFirstAdapter
public void caseACurrentLtl(ACurrentLtl node)
caseACurrentLtl
in interface Analysis
caseACurrentLtl
in class DepthFirstAdapter
public void caseAWeakFairAllLtl(AWeakFairAllLtl node)
caseAWeakFairAllLtl
in interface Analysis
caseAWeakFairAllLtl
in class DepthFirstAdapter
public void caseAStrongFairAllLtl(AStrongFairAllLtl node)
caseAStrongFairAllLtl
in interface Analysis
caseAStrongFairAllLtl
in class DepthFirstAdapter
public void caseAExistsLtl(AExistsLtl node)
caseAExistsLtl
in interface Analysis
caseAExistsLtl
in class DepthFirstAdapter
public void caseAForallLtl(AForallLtl node)
caseAForallLtl
in interface Analysis
caseAForallLtl
in class DepthFirstAdapter
public void caseADlkLtl(ADlkLtl node)
caseADlkLtl
in interface Analysis
caseADlkLtl
in class DepthFirstAdapter
public void caseADetLtl(ADetLtl node)
caseADetLtl
in interface Analysis
caseADetLtl
in class DepthFirstAdapter
public void caseACtrlLtl(ACtrlLtl node)
caseACtrlLtl
in interface Analysis
caseACtrlLtl
in class DepthFirstAdapter
public void caseAOpActions(AOpActions node)
caseAOpActions
in interface Analysis
caseAOpActions
in class DepthFirstAdapter
public void inStart(Start node)
inStart
in class DepthFirstAdapter
public void outStart(Start node)
outStart
in class DepthFirstAdapter