public class AnalysisAdapter extends java.lang.Object implements Analysis
| Constructor and Description |
|---|
AnalysisAdapter() |
public void caseAImpliesLtl(AImpliesLtl node)
caseAImpliesLtl in interface Analysispublic void caseAAndLtl(AAndLtl node)
caseAAndLtl in interface Analysispublic void caseAOrLtl(AOrLtl node)
caseAOrLtl in interface Analysispublic void caseAUntilLtl(AUntilLtl node)
caseAUntilLtl in interface Analysispublic void caseAWeakuntilLtl(AWeakuntilLtl node)
caseAWeakuntilLtl in interface Analysispublic void caseAReleaseLtl(AReleaseLtl node)
caseAReleaseLtl in interface Analysispublic void caseASinceLtl(ASinceLtl node)
caseASinceLtl in interface Analysispublic void caseATriggerLtl(ATriggerLtl node)
caseATriggerLtl in interface Analysispublic void caseANotLtl(ANotLtl node)
caseANotLtl in interface Analysispublic void caseAGloballyLtl(AGloballyLtl node)
caseAGloballyLtl in interface Analysispublic void caseAFinallyLtl(AFinallyLtl node)
caseAFinallyLtl in interface Analysispublic void caseANextLtl(ANextLtl node)
caseANextLtl in interface Analysispublic void caseAHistoricallyLtl(AHistoricallyLtl node)
caseAHistoricallyLtl in interface Analysispublic void caseAOnceLtl(AOnceLtl node)
caseAOnceLtl in interface Analysispublic void caseAYesterdayLtl(AYesterdayLtl node)
caseAYesterdayLtl in interface Analysispublic void caseAEnabledLtl(AEnabledLtl node)
caseAEnabledLtl in interface Analysispublic void caseAAvailableLtl(AAvailableLtl node)
caseAAvailableLtl in interface Analysispublic void caseAWeakFairLtl(AWeakFairLtl node)
caseAWeakFairLtl in interface Analysispublic void caseAStrongFairLtl(AStrongFairLtl node)
caseAStrongFairLtl in interface Analysispublic void caseAActionLtl(AActionLtl node)
caseAActionLtl in interface Analysispublic void caseAUnparsedLtl(AUnparsedLtl node)
caseAUnparsedLtl in interface Analysispublic void caseASinkLtl(ASinkLtl node)
caseASinkLtl in interface Analysispublic void caseADeadlockLtl(ADeadlockLtl node)
caseADeadlockLtl in interface Analysispublic void caseACurrentLtl(ACurrentLtl node)
caseACurrentLtl in interface Analysispublic void caseATrueLtl(ATrueLtl node)
caseATrueLtl in interface Analysispublic void caseAFalseLtl(AFalseLtl node)
caseAFalseLtl in interface Analysispublic void caseAExistsLtl(AExistsLtl node)
caseAExistsLtl in interface Analysispublic void caseAForallLtl(AForallLtl node)
caseAForallLtl in interface Analysispublic void caseAFairnessImplicationLtl(AFairnessImplicationLtl node)
caseAFairnessImplicationLtl in interface Analysispublic void caseAStrongAssumptionsLtl(AStrongAssumptionsLtl node)
caseAStrongAssumptionsLtl in interface Analysispublic void caseAWeakAssumptionsLtl(AWeakAssumptionsLtl node)
caseAWeakAssumptionsLtl in interface Analysispublic void caseAStrongFairAllLtl(AStrongFairAllLtl node)
caseAStrongFairAllLtl in interface Analysispublic void caseAWeakFairAllLtl(AWeakFairAllLtl node)
caseAWeakFairAllLtl in interface Analysispublic void caseAAndFair1Ltl(AAndFair1Ltl node)
caseAAndFair1Ltl in interface Analysispublic void caseAAndFair2Ltl(AAndFair2Ltl node)
caseAAndFair2Ltl in interface Analysispublic void caseADlkLtl(ADlkLtl node)
caseADlkLtl in interface Analysispublic void caseADetLtl(ADetLtl node)
caseADetLtl in interface Analysispublic void caseACtrlLtl(ACtrlLtl node)
caseACtrlLtl in interface Analysispublic void caseAOpActions(AOpActions node)
caseAOpActions in interface Analysispublic void caseTFalse(TFalse node)
caseTFalse in interface Analysispublic void caseTDeadlock(TDeadlock node)
caseTDeadlock in interface Analysispublic void caseTCurrent(TCurrent node)
caseTCurrent in interface Analysispublic void caseTEnabled(TEnabled node)
caseTEnabled in interface Analysispublic void caseTAvailable(TAvailable node)
caseTAvailable in interface Analysispublic void caseTAtomicPropositionBegin(TAtomicPropositionBegin node)
caseTAtomicPropositionBegin in interface Analysispublic void caseTAtomicPropositionEnd(TAtomicPropositionEnd node)
caseTAtomicPropositionEnd in interface Analysispublic void caseTApChar(TApChar node)
caseTApChar in interface Analysispublic void caseTActionEnd(TActionEnd node)
caseTActionEnd in interface Analysispublic void caseTActionBegin(TActionBegin node)
caseTActionBegin in interface Analysispublic void caseTTpChar(TTpChar node)
caseTTpChar in interface Analysispublic void caseTExistsIdentifier(TExistsIdentifier node)
caseTExistsIdentifier in interface Analysispublic void caseTForallIdentifier(TForallIdentifier node)
caseTForallIdentifier in interface Analysispublic void caseTArgsBegin(TArgsBegin node)
caseTArgsBegin in interface Analysispublic void caseTArgsEnd(TArgsEnd node)
caseTArgsEnd in interface Analysispublic void caseTActionsSplit(TActionsSplit node)
caseTActionsSplit in interface Analysispublic void caseTActionChar(TActionChar node)
caseTActionChar in interface Analysispublic void caseTImplies(TImplies node)
caseTImplies in interface Analysispublic void caseTUntil(TUntil node)
caseTUntil in interface Analysispublic void caseTWeakuntil(TWeakuntil node)
caseTWeakuntil in interface Analysispublic void caseTRelease(TRelease node)
caseTRelease in interface Analysispublic void caseTGlobally(TGlobally node)
caseTGlobally in interface Analysispublic void caseTFinally(TFinally node)
caseTFinally in interface Analysispublic void caseTSince(TSince node)
caseTSince in interface Analysispublic void caseTTrigger(TTrigger node)
caseTTrigger in interface Analysispublic void caseTHistorically(THistorically node)
caseTHistorically in interface Analysispublic void caseTYesterday(TYesterday node)
caseTYesterday in interface Analysispublic void caseTStrongFairEverything(TStrongFairEverything node)
caseTStrongFairEverything in interface Analysispublic void caseTWeakFairEverything(TWeakFairEverything node)
caseTWeakFairEverything in interface Analysispublic void caseTStrongFair(TStrongFair node)
caseTStrongFair in interface Analysispublic void caseTWeakFair(TWeakFair node)
caseTWeakFair in interface Analysispublic void caseTWhiteSpace(TWhiteSpace node)
caseTWhiteSpace in interface Analysispublic void defaultCase(Node node)