public class ReversedDepthFirstAdapter extends AnalysisAdapter
| Constructor and Description |
|---|
ReversedDepthFirstAdapter() |
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, setOutpublic 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 AnalysiscaseStart in class AnalysisAdapterpublic void inAImpliesCtl(AImpliesCtl node)
public void outAImpliesCtl(AImpliesCtl node)
public void caseAImpliesCtl(AImpliesCtl node)
caseAImpliesCtl in interface AnalysiscaseAImpliesCtl in class AnalysisAdapterpublic void inAAndCtl(AAndCtl node)
public void outAAndCtl(AAndCtl node)
public void caseAAndCtl(AAndCtl node)
caseAAndCtl in interface AnalysiscaseAAndCtl in class AnalysisAdapterpublic void inAOrCtl(AOrCtl node)
public void outAOrCtl(AOrCtl node)
public void caseAOrCtl(AOrCtl node)
caseAOrCtl in interface AnalysiscaseAOrCtl in class AnalysisAdapterpublic void inAEuCtl(AEuCtl node)
public void outAEuCtl(AEuCtl node)
public void caseAEuCtl(AEuCtl node)
caseAEuCtl in interface AnalysiscaseAEuCtl in class AnalysisAdapterpublic void inANotCtl(ANotCtl node)
public void outANotCtl(ANotCtl node)
public void caseANotCtl(ANotCtl node)
caseANotCtl in interface AnalysiscaseANotCtl in class AnalysisAdapterpublic void inAEnaCtl(AEnaCtl node)
public void outAEnaCtl(AEnaCtl node)
public void caseAEnaCtl(AEnaCtl node)
caseAEnaCtl in interface AnalysiscaseAEnaCtl in class AnalysisAdapterpublic void inAActionCtl(AActionCtl node)
public void outAActionCtl(AActionCtl node)
public void caseAActionCtl(AActionCtl node)
caseAActionCtl in interface AnalysiscaseAActionCtl in class AnalysisAdapterpublic void inAEnCtl(AEnCtl node)
public void outAEnCtl(AEnCtl node)
public void caseAEnCtl(AEnCtl node)
caseAEnCtl in interface AnalysiscaseAEnCtl in class AnalysisAdapterpublic void inAAnCtl(AAnCtl node)
public void outAAnCtl(AAnCtl node)
public void caseAAnCtl(AAnCtl node)
caseAAnCtl in interface AnalysiscaseAAnCtl in class AnalysisAdapterpublic void inAEgCtl(AEgCtl node)
public void outAEgCtl(AEgCtl node)
public void caseAEgCtl(AEgCtl node)
caseAEgCtl in interface AnalysiscaseAEgCtl in class AnalysisAdapterpublic void inAEfCtl(AEfCtl node)
public void outAEfCtl(AEfCtl node)
public void caseAEfCtl(AEfCtl node)
caseAEfCtl in interface AnalysiscaseAEfCtl in class AnalysisAdapterpublic void inAAgCtl(AAgCtl node)
public void outAAgCtl(AAgCtl node)
public void caseAAgCtl(AAgCtl node)
caseAAgCtl in interface AnalysiscaseAAgCtl in class AnalysisAdapterpublic void inAAfCtl(AAfCtl node)
public void outAAfCtl(AAfCtl node)
public void caseAAfCtl(AAfCtl node)
caseAAfCtl in interface AnalysiscaseAAfCtl in class AnalysisAdapterpublic void inAUnparsedCtl(AUnparsedCtl node)
public void outAUnparsedCtl(AUnparsedCtl node)
public void caseAUnparsedCtl(AUnparsedCtl node)
caseAUnparsedCtl in interface AnalysiscaseAUnparsedCtl in class AnalysisAdapterpublic void inAEnabledCtl(AEnabledCtl node)
public void outAEnabledCtl(AEnabledCtl node)
public void caseAEnabledCtl(AEnabledCtl node)
caseAEnabledCtl in interface AnalysiscaseAEnabledCtl in class AnalysisAdapterpublic void inASinkCtl(ASinkCtl node)
public void outASinkCtl(ASinkCtl node)
public void caseASinkCtl(ASinkCtl node)
caseASinkCtl in interface AnalysiscaseASinkCtl in class AnalysisAdapterpublic void inADeadlockCtl(ADeadlockCtl node)
public void outADeadlockCtl(ADeadlockCtl node)
public void caseADeadlockCtl(ADeadlockCtl node)
caseADeadlockCtl in interface AnalysiscaseADeadlockCtl in class AnalysisAdapterpublic void inACurrentCtl(ACurrentCtl node)
public void outACurrentCtl(ACurrentCtl node)
public void caseACurrentCtl(ACurrentCtl node)
caseACurrentCtl in interface AnalysiscaseACurrentCtl in class AnalysisAdapterpublic void inATrueCtl(ATrueCtl node)
public void outATrueCtl(ATrueCtl node)
public void caseATrueCtl(ATrueCtl node)
caseATrueCtl in interface AnalysiscaseATrueCtl in class AnalysisAdapterpublic void inAFalseCtl(AFalseCtl node)
public void outAFalseCtl(AFalseCtl node)
public void caseAFalseCtl(AFalseCtl node)
caseAFalseCtl in interface AnalysiscaseAFalseCtl in class AnalysisAdapter