public class AnalysisAdapter extends java.lang.Object implements Analysis
| Constructor and Description |
|---|
AnalysisAdapter() |
public void caseAImpliesCtl(AImpliesCtl node)
caseAImpliesCtl in interface Analysispublic void caseAAndCtl(AAndCtl node)
caseAAndCtl in interface Analysispublic void caseAOrCtl(AOrCtl node)
caseAOrCtl in interface Analysispublic void caseAEuCtl(AEuCtl node)
caseAEuCtl in interface Analysispublic void caseANotCtl(ANotCtl node)
caseANotCtl in interface Analysispublic void caseAEnaCtl(AEnaCtl node)
caseAEnaCtl in interface Analysispublic void caseAActionCtl(AActionCtl node)
caseAActionCtl in interface Analysispublic void caseAEnCtl(AEnCtl node)
caseAEnCtl in interface Analysispublic void caseAAnCtl(AAnCtl node)
caseAAnCtl in interface Analysispublic void caseAEgCtl(AEgCtl node)
caseAEgCtl in interface Analysispublic void caseAEfCtl(AEfCtl node)
caseAEfCtl in interface Analysispublic void caseAAgCtl(AAgCtl node)
caseAAgCtl in interface Analysispublic void caseAAfCtl(AAfCtl node)
caseAAfCtl in interface Analysispublic void caseAUnparsedCtl(AUnparsedCtl node)
caseAUnparsedCtl in interface Analysispublic void caseAEnabledCtl(AEnabledCtl node)
caseAEnabledCtl in interface Analysispublic void caseASinkCtl(ASinkCtl node)
caseASinkCtl in interface Analysispublic void caseADeadlockCtl(ADeadlockCtl node)
caseADeadlockCtl in interface Analysispublic void caseACurrentCtl(ACurrentCtl node)
caseACurrentCtl in interface Analysispublic void caseATrueCtl(ATrueCtl node)
caseATrueCtl in interface Analysispublic void caseAFalseCtl(AFalseCtl node)
caseAFalseCtl 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 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 caseTImplies(TImplies node)
caseTImplies in interface Analysispublic void caseTExists(TExists node)
caseTExists in interface Analysispublic void caseTForall(TForall node)
caseTForall in interface Analysispublic void caseTUntil(TUntil node)
caseTUntil in interface Analysispublic void caseTGlobally(TGlobally node)
caseTGlobally in interface Analysispublic void caseTFinally(TFinally node)
caseTFinally in interface Analysispublic void caseTWhiteSpace(TWhiteSpace node)
caseTWhiteSpace in interface Analysispublic void defaultCase(Node node)