public class DepthFirstAdapter extends AnalysisAdapter
Constructor and Description |
---|
DepthFirstAdapter() |
caseEOF, caseTActionBegin, caseTActionEnd, caseTAnd, caseTApChar, caseTAtomicPropositionBegin, caseTAtomicPropositionEnd, caseTCurrent, caseTDeadlock, caseTEnabled, caseTExists, caseTFalse, caseTFinally, caseTForall, caseTGlobally, caseTImplies, caseTLPar, caseTLSq, caseTNext, caseTNot, caseTOr, caseTRPar, caseTSink, caseTTpChar, caseTTrue, caseTUntil, caseTWhiteSpace, 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 inAImpliesCtl(AImpliesCtl node)
public void outAImpliesCtl(AImpliesCtl node)
public void caseAImpliesCtl(AImpliesCtl node)
caseAImpliesCtl
in interface Analysis
caseAImpliesCtl
in class AnalysisAdapter
public void inAAndCtl(AAndCtl node)
public void outAAndCtl(AAndCtl node)
public void caseAAndCtl(AAndCtl node)
caseAAndCtl
in interface Analysis
caseAAndCtl
in class AnalysisAdapter
public void inAOrCtl(AOrCtl node)
public void outAOrCtl(AOrCtl node)
public void caseAOrCtl(AOrCtl node)
caseAOrCtl
in interface Analysis
caseAOrCtl
in class AnalysisAdapter
public void inAEuCtl(AEuCtl node)
public void outAEuCtl(AEuCtl node)
public void caseAEuCtl(AEuCtl node)
caseAEuCtl
in interface Analysis
caseAEuCtl
in class AnalysisAdapter
public void inANotCtl(ANotCtl node)
public void outANotCtl(ANotCtl node)
public void caseANotCtl(ANotCtl node)
caseANotCtl
in interface Analysis
caseANotCtl
in class AnalysisAdapter
public void inAEnaCtl(AEnaCtl node)
public void outAEnaCtl(AEnaCtl node)
public void caseAEnaCtl(AEnaCtl node)
caseAEnaCtl
in interface Analysis
caseAEnaCtl
in class AnalysisAdapter
public void inAActionCtl(AActionCtl node)
public void outAActionCtl(AActionCtl node)
public void caseAActionCtl(AActionCtl node)
caseAActionCtl
in interface Analysis
caseAActionCtl
in class AnalysisAdapter
public void inAEnCtl(AEnCtl node)
public void outAEnCtl(AEnCtl node)
public void caseAEnCtl(AEnCtl node)
caseAEnCtl
in interface Analysis
caseAEnCtl
in class AnalysisAdapter
public void inAAnCtl(AAnCtl node)
public void outAAnCtl(AAnCtl node)
public void caseAAnCtl(AAnCtl node)
caseAAnCtl
in interface Analysis
caseAAnCtl
in class AnalysisAdapter
public void inAEgCtl(AEgCtl node)
public void outAEgCtl(AEgCtl node)
public void caseAEgCtl(AEgCtl node)
caseAEgCtl
in interface Analysis
caseAEgCtl
in class AnalysisAdapter
public void inAEfCtl(AEfCtl node)
public void outAEfCtl(AEfCtl node)
public void caseAEfCtl(AEfCtl node)
caseAEfCtl
in interface Analysis
caseAEfCtl
in class AnalysisAdapter
public void inAAgCtl(AAgCtl node)
public void outAAgCtl(AAgCtl node)
public void caseAAgCtl(AAgCtl node)
caseAAgCtl
in interface Analysis
caseAAgCtl
in class AnalysisAdapter
public void inAAfCtl(AAfCtl node)
public void outAAfCtl(AAfCtl node)
public void caseAAfCtl(AAfCtl node)
caseAAfCtl
in interface Analysis
caseAAfCtl
in class AnalysisAdapter
public void inAUnparsedCtl(AUnparsedCtl node)
public void outAUnparsedCtl(AUnparsedCtl node)
public void caseAUnparsedCtl(AUnparsedCtl node)
caseAUnparsedCtl
in interface Analysis
caseAUnparsedCtl
in class AnalysisAdapter
public void inAEnabledCtl(AEnabledCtl node)
public void outAEnabledCtl(AEnabledCtl node)
public void caseAEnabledCtl(AEnabledCtl node)
caseAEnabledCtl
in interface Analysis
caseAEnabledCtl
in class AnalysisAdapter
public void inASinkCtl(ASinkCtl node)
public void outASinkCtl(ASinkCtl node)
public void caseASinkCtl(ASinkCtl node)
caseASinkCtl
in interface Analysis
caseASinkCtl
in class AnalysisAdapter
public void inADeadlockCtl(ADeadlockCtl node)
public void outADeadlockCtl(ADeadlockCtl node)
public void caseADeadlockCtl(ADeadlockCtl node)
caseADeadlockCtl
in interface Analysis
caseADeadlockCtl
in class AnalysisAdapter
public void inACurrentCtl(ACurrentCtl node)
public void outACurrentCtl(ACurrentCtl node)
public void caseACurrentCtl(ACurrentCtl node)
caseACurrentCtl
in interface Analysis
caseACurrentCtl
in class AnalysisAdapter
public void inATrueCtl(ATrueCtl node)
public void outATrueCtl(ATrueCtl node)
public void caseATrueCtl(ATrueCtl node)
caseATrueCtl
in interface Analysis
caseATrueCtl
in class AnalysisAdapter
public void inAFalseCtl(AFalseCtl node)
public void outAFalseCtl(AFalseCtl node)
public void caseAFalseCtl(AFalseCtl node)
caseAFalseCtl
in interface Analysis
caseAFalseCtl
in class AnalysisAdapter