public class ReversedDepthFirstAdapter extends AnalysisAdapter
| Constructor and Description |
|---|
ReversedDepthFirstAdapter() |
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, setOutpublic void inStart(Start node)
public void outStart(Start node)
public void defaultIn(Node node)
public void defaultOut(Node node)
public void caseStart(Start node)
caseStart in interface AnalysiscaseStart in class AnalysisAdapterpublic void inAImpliesLtl(AImpliesLtl node)
public void outAImpliesLtl(AImpliesLtl node)
public void caseAImpliesLtl(AImpliesLtl node)
caseAImpliesLtl in interface AnalysiscaseAImpliesLtl in class AnalysisAdapterpublic void inAAndLtl(AAndLtl node)
public void outAAndLtl(AAndLtl node)
public void caseAAndLtl(AAndLtl node)
caseAAndLtl in interface AnalysiscaseAAndLtl in class AnalysisAdapterpublic void inAOrLtl(AOrLtl node)
public void outAOrLtl(AOrLtl node)
public void caseAOrLtl(AOrLtl node)
caseAOrLtl in interface AnalysiscaseAOrLtl in class AnalysisAdapterpublic void inAUntilLtl(AUntilLtl node)
public void outAUntilLtl(AUntilLtl node)
public void caseAUntilLtl(AUntilLtl node)
caseAUntilLtl in interface AnalysiscaseAUntilLtl in class AnalysisAdapterpublic void inAWeakuntilLtl(AWeakuntilLtl node)
public void outAWeakuntilLtl(AWeakuntilLtl node)
public void caseAWeakuntilLtl(AWeakuntilLtl node)
caseAWeakuntilLtl in interface AnalysiscaseAWeakuntilLtl in class AnalysisAdapterpublic void inAReleaseLtl(AReleaseLtl node)
public void outAReleaseLtl(AReleaseLtl node)
public void caseAReleaseLtl(AReleaseLtl node)
caseAReleaseLtl in interface AnalysiscaseAReleaseLtl in class AnalysisAdapterpublic void inASinceLtl(ASinceLtl node)
public void outASinceLtl(ASinceLtl node)
public void caseASinceLtl(ASinceLtl node)
caseASinceLtl in interface AnalysiscaseASinceLtl in class AnalysisAdapterpublic void inATriggerLtl(ATriggerLtl node)
public void outATriggerLtl(ATriggerLtl node)
public void caseATriggerLtl(ATriggerLtl node)
caseATriggerLtl in interface AnalysiscaseATriggerLtl in class AnalysisAdapterpublic void inANotLtl(ANotLtl node)
public void outANotLtl(ANotLtl node)
public void caseANotLtl(ANotLtl node)
caseANotLtl in interface AnalysiscaseANotLtl in class AnalysisAdapterpublic void inAGloballyLtl(AGloballyLtl node)
public void outAGloballyLtl(AGloballyLtl node)
public void caseAGloballyLtl(AGloballyLtl node)
caseAGloballyLtl in interface AnalysiscaseAGloballyLtl in class AnalysisAdapterpublic void inAFinallyLtl(AFinallyLtl node)
public void outAFinallyLtl(AFinallyLtl node)
public void caseAFinallyLtl(AFinallyLtl node)
caseAFinallyLtl in interface AnalysiscaseAFinallyLtl in class AnalysisAdapterpublic void inANextLtl(ANextLtl node)
public void outANextLtl(ANextLtl node)
public void caseANextLtl(ANextLtl node)
caseANextLtl in interface AnalysiscaseANextLtl in class AnalysisAdapterpublic void inAHistoricallyLtl(AHistoricallyLtl node)
public void outAHistoricallyLtl(AHistoricallyLtl node)
public void caseAHistoricallyLtl(AHistoricallyLtl node)
caseAHistoricallyLtl in interface AnalysiscaseAHistoricallyLtl in class AnalysisAdapterpublic void inAOnceLtl(AOnceLtl node)
public void outAOnceLtl(AOnceLtl node)
public void caseAOnceLtl(AOnceLtl node)
caseAOnceLtl in interface AnalysiscaseAOnceLtl in class AnalysisAdapterpublic void inAYesterdayLtl(AYesterdayLtl node)
public void outAYesterdayLtl(AYesterdayLtl node)
public void caseAYesterdayLtl(AYesterdayLtl node)
caseAYesterdayLtl in interface AnalysiscaseAYesterdayLtl in class AnalysisAdapterpublic void inAEnabledLtl(AEnabledLtl node)
public void outAEnabledLtl(AEnabledLtl node)
public void caseAEnabledLtl(AEnabledLtl node)
caseAEnabledLtl in interface AnalysiscaseAEnabledLtl in class AnalysisAdapterpublic void inAAvailableLtl(AAvailableLtl node)
public void outAAvailableLtl(AAvailableLtl node)
public void caseAAvailableLtl(AAvailableLtl node)
caseAAvailableLtl in interface AnalysiscaseAAvailableLtl in class AnalysisAdapterpublic void inAWeakFairLtl(AWeakFairLtl node)
public void outAWeakFairLtl(AWeakFairLtl node)
public void caseAWeakFairLtl(AWeakFairLtl node)
caseAWeakFairLtl in interface AnalysiscaseAWeakFairLtl in class AnalysisAdapterpublic void inAStrongFairLtl(AStrongFairLtl node)
public void outAStrongFairLtl(AStrongFairLtl node)
public void caseAStrongFairLtl(AStrongFairLtl node)
caseAStrongFairLtl in interface AnalysiscaseAStrongFairLtl in class AnalysisAdapterpublic void inAActionLtl(AActionLtl node)
public void outAActionLtl(AActionLtl node)
public void caseAActionLtl(AActionLtl node)
caseAActionLtl in interface AnalysiscaseAActionLtl in class AnalysisAdapterpublic void inAUnparsedLtl(AUnparsedLtl node)
public void outAUnparsedLtl(AUnparsedLtl node)
public void caseAUnparsedLtl(AUnparsedLtl node)
caseAUnparsedLtl in interface AnalysiscaseAUnparsedLtl in class AnalysisAdapterpublic void inASinkLtl(ASinkLtl node)
public void outASinkLtl(ASinkLtl node)
public void caseASinkLtl(ASinkLtl node)
caseASinkLtl in interface AnalysiscaseASinkLtl in class AnalysisAdapterpublic void inADeadlockLtl(ADeadlockLtl node)
public void outADeadlockLtl(ADeadlockLtl node)
public void caseADeadlockLtl(ADeadlockLtl node)
caseADeadlockLtl in interface AnalysiscaseADeadlockLtl in class AnalysisAdapterpublic void inACurrentLtl(ACurrentLtl node)
public void outACurrentLtl(ACurrentLtl node)
public void caseACurrentLtl(ACurrentLtl node)
caseACurrentLtl in interface AnalysiscaseACurrentLtl in class AnalysisAdapterpublic void inATrueLtl(ATrueLtl node)
public void outATrueLtl(ATrueLtl node)
public void caseATrueLtl(ATrueLtl node)
caseATrueLtl in interface AnalysiscaseATrueLtl in class AnalysisAdapterpublic void inAFalseLtl(AFalseLtl node)
public void outAFalseLtl(AFalseLtl node)
public void caseAFalseLtl(AFalseLtl node)
caseAFalseLtl in interface AnalysiscaseAFalseLtl in class AnalysisAdapterpublic void inAExistsLtl(AExistsLtl node)
public void outAExistsLtl(AExistsLtl node)
public void caseAExistsLtl(AExistsLtl node)
caseAExistsLtl in interface AnalysiscaseAExistsLtl in class AnalysisAdapterpublic void inAForallLtl(AForallLtl node)
public void outAForallLtl(AForallLtl node)
public void caseAForallLtl(AForallLtl node)
caseAForallLtl in interface AnalysiscaseAForallLtl in class AnalysisAdapterpublic void inAFairnessImplicationLtl(AFairnessImplicationLtl node)
public void outAFairnessImplicationLtl(AFairnessImplicationLtl node)
public void caseAFairnessImplicationLtl(AFairnessImplicationLtl node)
caseAFairnessImplicationLtl in interface AnalysiscaseAFairnessImplicationLtl in class AnalysisAdapterpublic void inAStrongAssumptionsLtl(AStrongAssumptionsLtl node)
public void outAStrongAssumptionsLtl(AStrongAssumptionsLtl node)
public void caseAStrongAssumptionsLtl(AStrongAssumptionsLtl node)
caseAStrongAssumptionsLtl in interface AnalysiscaseAStrongAssumptionsLtl in class AnalysisAdapterpublic void inAWeakAssumptionsLtl(AWeakAssumptionsLtl node)
public void outAWeakAssumptionsLtl(AWeakAssumptionsLtl node)
public void caseAWeakAssumptionsLtl(AWeakAssumptionsLtl node)
caseAWeakAssumptionsLtl in interface AnalysiscaseAWeakAssumptionsLtl in class AnalysisAdapterpublic void inAStrongFairAllLtl(AStrongFairAllLtl node)
public void outAStrongFairAllLtl(AStrongFairAllLtl node)
public void caseAStrongFairAllLtl(AStrongFairAllLtl node)
caseAStrongFairAllLtl in interface AnalysiscaseAStrongFairAllLtl in class AnalysisAdapterpublic void inAWeakFairAllLtl(AWeakFairAllLtl node)
public void outAWeakFairAllLtl(AWeakFairAllLtl node)
public void caseAWeakFairAllLtl(AWeakFairAllLtl node)
caseAWeakFairAllLtl in interface AnalysiscaseAWeakFairAllLtl in class AnalysisAdapterpublic void inAAndFair1Ltl(AAndFair1Ltl node)
public void outAAndFair1Ltl(AAndFair1Ltl node)
public void caseAAndFair1Ltl(AAndFair1Ltl node)
caseAAndFair1Ltl in interface AnalysiscaseAAndFair1Ltl in class AnalysisAdapterpublic void inAAndFair2Ltl(AAndFair2Ltl node)
public void outAAndFair2Ltl(AAndFair2Ltl node)
public void caseAAndFair2Ltl(AAndFair2Ltl node)
caseAAndFair2Ltl in interface AnalysiscaseAAndFair2Ltl in class AnalysisAdapterpublic void inADlkLtl(ADlkLtl node)
public void outADlkLtl(ADlkLtl node)
public void caseADlkLtl(ADlkLtl node)
caseADlkLtl in interface AnalysiscaseADlkLtl in class AnalysisAdapterpublic void inADetLtl(ADetLtl node)
public void outADetLtl(ADetLtl node)
public void caseADetLtl(ADetLtl node)
caseADetLtl in interface AnalysiscaseADetLtl in class AnalysisAdapterpublic void inACtrlLtl(ACtrlLtl node)
public void outACtrlLtl(ACtrlLtl node)
public void caseACtrlLtl(ACtrlLtl node)
caseACtrlLtl in interface AnalysiscaseACtrlLtl in class AnalysisAdapterpublic void inAOpActions(AOpActions node)
public void outAOpActions(AOpActions node)
public void caseAOpActions(AOpActions node)
caseAOpActions in interface AnalysiscaseAOpActions in class AnalysisAdapter