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