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