public class DepthFirstAdapter extends AnalysisAdapter
Constructor and Description |
---|
DepthFirstAdapter() |
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 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 Analysis
caseStart
in class AnalysisAdapter
public void inAImpliesLtl(AImpliesLtl node)
public void outAImpliesLtl(AImpliesLtl node)
public void caseAImpliesLtl(AImpliesLtl node)
caseAImpliesLtl
in interface Analysis
caseAImpliesLtl
in class AnalysisAdapter
public void inAAndLtl(AAndLtl node)
public void outAAndLtl(AAndLtl node)
public void caseAAndLtl(AAndLtl node)
caseAAndLtl
in interface Analysis
caseAAndLtl
in class AnalysisAdapter
public void inAOrLtl(AOrLtl node)
public void outAOrLtl(AOrLtl node)
public void caseAOrLtl(AOrLtl node)
caseAOrLtl
in interface Analysis
caseAOrLtl
in class AnalysisAdapter
public void inAUntilLtl(AUntilLtl node)
public void outAUntilLtl(AUntilLtl node)
public void caseAUntilLtl(AUntilLtl node)
caseAUntilLtl
in interface Analysis
caseAUntilLtl
in class AnalysisAdapter
public void inAWeakuntilLtl(AWeakuntilLtl node)
public void outAWeakuntilLtl(AWeakuntilLtl node)
public void caseAWeakuntilLtl(AWeakuntilLtl node)
caseAWeakuntilLtl
in interface Analysis
caseAWeakuntilLtl
in class AnalysisAdapter
public void inAReleaseLtl(AReleaseLtl node)
public void outAReleaseLtl(AReleaseLtl node)
public void caseAReleaseLtl(AReleaseLtl node)
caseAReleaseLtl
in interface Analysis
caseAReleaseLtl
in class AnalysisAdapter
public void inASinceLtl(ASinceLtl node)
public void outASinceLtl(ASinceLtl node)
public void caseASinceLtl(ASinceLtl node)
caseASinceLtl
in interface Analysis
caseASinceLtl
in class AnalysisAdapter
public void inATriggerLtl(ATriggerLtl node)
public void outATriggerLtl(ATriggerLtl node)
public void caseATriggerLtl(ATriggerLtl node)
caseATriggerLtl
in interface Analysis
caseATriggerLtl
in class AnalysisAdapter
public void inANotLtl(ANotLtl node)
public void outANotLtl(ANotLtl node)
public void caseANotLtl(ANotLtl node)
caseANotLtl
in interface Analysis
caseANotLtl
in class AnalysisAdapter
public void inAGloballyLtl(AGloballyLtl node)
public void outAGloballyLtl(AGloballyLtl node)
public void caseAGloballyLtl(AGloballyLtl node)
caseAGloballyLtl
in interface Analysis
caseAGloballyLtl
in class AnalysisAdapter
public void inAFinallyLtl(AFinallyLtl node)
public void outAFinallyLtl(AFinallyLtl node)
public void caseAFinallyLtl(AFinallyLtl node)
caseAFinallyLtl
in interface Analysis
caseAFinallyLtl
in class AnalysisAdapter
public void inANextLtl(ANextLtl node)
public void outANextLtl(ANextLtl node)
public void caseANextLtl(ANextLtl node)
caseANextLtl
in interface Analysis
caseANextLtl
in class AnalysisAdapter
public void inAHistoricallyLtl(AHistoricallyLtl node)
public void outAHistoricallyLtl(AHistoricallyLtl node)
public void caseAHistoricallyLtl(AHistoricallyLtl node)
caseAHistoricallyLtl
in interface Analysis
caseAHistoricallyLtl
in class AnalysisAdapter
public void inAOnceLtl(AOnceLtl node)
public void outAOnceLtl(AOnceLtl node)
public void caseAOnceLtl(AOnceLtl node)
caseAOnceLtl
in interface Analysis
caseAOnceLtl
in class AnalysisAdapter
public void inAYesterdayLtl(AYesterdayLtl node)
public void outAYesterdayLtl(AYesterdayLtl node)
public void caseAYesterdayLtl(AYesterdayLtl node)
caseAYesterdayLtl
in interface Analysis
caseAYesterdayLtl
in class AnalysisAdapter
public void inAEnabledLtl(AEnabledLtl node)
public void outAEnabledLtl(AEnabledLtl node)
public void caseAEnabledLtl(AEnabledLtl node)
caseAEnabledLtl
in interface Analysis
caseAEnabledLtl
in class AnalysisAdapter
public void inAAvailableLtl(AAvailableLtl node)
public void outAAvailableLtl(AAvailableLtl node)
public void caseAAvailableLtl(AAvailableLtl node)
caseAAvailableLtl
in interface Analysis
caseAAvailableLtl
in class AnalysisAdapter
public void inAWeakFairLtl(AWeakFairLtl node)
public void outAWeakFairLtl(AWeakFairLtl node)
public void caseAWeakFairLtl(AWeakFairLtl node)
caseAWeakFairLtl
in interface Analysis
caseAWeakFairLtl
in class AnalysisAdapter
public void inAStrongFairLtl(AStrongFairLtl node)
public void outAStrongFairLtl(AStrongFairLtl node)
public void caseAStrongFairLtl(AStrongFairLtl node)
caseAStrongFairLtl
in interface Analysis
caseAStrongFairLtl
in class AnalysisAdapter
public void inAActionLtl(AActionLtl node)
public void outAActionLtl(AActionLtl node)
public void caseAActionLtl(AActionLtl node)
caseAActionLtl
in interface Analysis
caseAActionLtl
in class AnalysisAdapter
public void inAUnparsedLtl(AUnparsedLtl node)
public void outAUnparsedLtl(AUnparsedLtl node)
public void caseAUnparsedLtl(AUnparsedLtl node)
caseAUnparsedLtl
in interface Analysis
caseAUnparsedLtl
in class AnalysisAdapter
public void inASinkLtl(ASinkLtl node)
public void outASinkLtl(ASinkLtl node)
public void caseASinkLtl(ASinkLtl node)
caseASinkLtl
in interface Analysis
caseASinkLtl
in class AnalysisAdapter
public void inADeadlockLtl(ADeadlockLtl node)
public void outADeadlockLtl(ADeadlockLtl node)
public void caseADeadlockLtl(ADeadlockLtl node)
caseADeadlockLtl
in interface Analysis
caseADeadlockLtl
in class AnalysisAdapter
public void inACurrentLtl(ACurrentLtl node)
public void outACurrentLtl(ACurrentLtl node)
public void caseACurrentLtl(ACurrentLtl node)
caseACurrentLtl
in interface Analysis
caseACurrentLtl
in class AnalysisAdapter
public void inATrueLtl(ATrueLtl node)
public void outATrueLtl(ATrueLtl node)
public void caseATrueLtl(ATrueLtl node)
caseATrueLtl
in interface Analysis
caseATrueLtl
in class AnalysisAdapter
public void inAFalseLtl(AFalseLtl node)
public void outAFalseLtl(AFalseLtl node)
public void caseAFalseLtl(AFalseLtl node)
caseAFalseLtl
in interface Analysis
caseAFalseLtl
in class AnalysisAdapter
public void inAExistsLtl(AExistsLtl node)
public void outAExistsLtl(AExistsLtl node)
public void caseAExistsLtl(AExistsLtl node)
caseAExistsLtl
in interface Analysis
caseAExistsLtl
in class AnalysisAdapter
public void inAForallLtl(AForallLtl node)
public void outAForallLtl(AForallLtl node)
public void caseAForallLtl(AForallLtl node)
caseAForallLtl
in interface Analysis
caseAForallLtl
in class AnalysisAdapter
public void inAFairnessImplicationLtl(AFairnessImplicationLtl node)
public void outAFairnessImplicationLtl(AFairnessImplicationLtl node)
public void caseAFairnessImplicationLtl(AFairnessImplicationLtl node)
caseAFairnessImplicationLtl
in interface Analysis
caseAFairnessImplicationLtl
in class AnalysisAdapter
public void inAStrongAssumptionsLtl(AStrongAssumptionsLtl node)
public void outAStrongAssumptionsLtl(AStrongAssumptionsLtl node)
public void caseAStrongAssumptionsLtl(AStrongAssumptionsLtl node)
caseAStrongAssumptionsLtl
in interface Analysis
caseAStrongAssumptionsLtl
in class AnalysisAdapter
public void inAWeakAssumptionsLtl(AWeakAssumptionsLtl node)
public void outAWeakAssumptionsLtl(AWeakAssumptionsLtl node)
public void caseAWeakAssumptionsLtl(AWeakAssumptionsLtl node)
caseAWeakAssumptionsLtl
in interface Analysis
caseAWeakAssumptionsLtl
in class AnalysisAdapter
public void inAStrongFairAllLtl(AStrongFairAllLtl node)
public void outAStrongFairAllLtl(AStrongFairAllLtl node)
public void caseAStrongFairAllLtl(AStrongFairAllLtl node)
caseAStrongFairAllLtl
in interface Analysis
caseAStrongFairAllLtl
in class AnalysisAdapter
public void inAWeakFairAllLtl(AWeakFairAllLtl node)
public void outAWeakFairAllLtl(AWeakFairAllLtl node)
public void caseAWeakFairAllLtl(AWeakFairAllLtl node)
caseAWeakFairAllLtl
in interface Analysis
caseAWeakFairAllLtl
in class AnalysisAdapter
public void inAAndFair1Ltl(AAndFair1Ltl node)
public void outAAndFair1Ltl(AAndFair1Ltl node)
public void caseAAndFair1Ltl(AAndFair1Ltl node)
caseAAndFair1Ltl
in interface Analysis
caseAAndFair1Ltl
in class AnalysisAdapter
public void inAAndFair2Ltl(AAndFair2Ltl node)
public void outAAndFair2Ltl(AAndFair2Ltl node)
public void caseAAndFair2Ltl(AAndFair2Ltl node)
caseAAndFair2Ltl
in interface Analysis
caseAAndFair2Ltl
in class AnalysisAdapter
public void inADlkLtl(ADlkLtl node)
public void outADlkLtl(ADlkLtl node)
public void caseADlkLtl(ADlkLtl node)
caseADlkLtl
in interface Analysis
caseADlkLtl
in class AnalysisAdapter
public void inADetLtl(ADetLtl node)
public void outADetLtl(ADetLtl node)
public void caseADetLtl(ADetLtl node)
caseADetLtl
in interface Analysis
caseADetLtl
in class AnalysisAdapter
public void inACtrlLtl(ACtrlLtl node)
public void outACtrlLtl(ACtrlLtl node)
public void caseACtrlLtl(ACtrlLtl node)
caseACtrlLtl
in interface Analysis
caseACtrlLtl
in class AnalysisAdapter
public void inAOpActions(AOpActions node)
public void outAOpActions(AOpActions node)
public void caseAOpActions(AOpActions node)
caseAOpActions
in interface Analysis
caseAOpActions
in class AnalysisAdapter