public interface Analysis extends Switch
java.lang.Object getIn(Node node)
void setIn(Node node, java.lang.Object o)
java.lang.Object getOut(Node node)
void setOut(Node node, java.lang.Object o)
void caseStart(Start node)
void caseAImpliesCtl(AImpliesCtl node)
void caseAAndCtl(AAndCtl node)
void caseAOrCtl(AOrCtl node)
void caseAEuCtl(AEuCtl node)
void caseANotCtl(ANotCtl node)
void caseAEnaCtl(AEnaCtl node)
void caseAActionCtl(AActionCtl node)
void caseAEnCtl(AEnCtl node)
void caseAAnCtl(AAnCtl node)
void caseAEgCtl(AEgCtl node)
void caseAEfCtl(AEfCtl node)
void caseAAgCtl(AAgCtl node)
void caseAAfCtl(AAfCtl node)
void caseAUnparsedCtl(AUnparsedCtl node)
void caseAEnabledCtl(AEnabledCtl node)
void caseASinkCtl(ASinkCtl node)
void caseADeadlockCtl(ADeadlockCtl node)
void caseACurrentCtl(ACurrentCtl node)
void caseATrueCtl(ATrueCtl node)
void caseAFalseCtl(AFalseCtl node)
void caseTTrue(TTrue node)
void caseTFalse(TFalse node)
void caseTSink(TSink node)
void caseTDeadlock(TDeadlock node)
void caseTCurrent(TCurrent node)
void caseTLPar(TLPar node)
void caseTRPar(TRPar node)
void caseTLSq(TLSq node)
void caseTEnabled(TEnabled node)
void caseTAtomicPropositionBegin(TAtomicPropositionBegin node)
void caseTAtomicPropositionEnd(TAtomicPropositionEnd node)
void caseTApChar(TApChar node)
void caseTActionEnd(TActionEnd node)
void caseTActionBegin(TActionBegin node)
void caseTTpChar(TTpChar node)
void caseTImplies(TImplies node)
void caseTAnd(TAnd node)
void caseTOr(TOr node)
void caseTNot(TNot node)
void caseTExists(TExists node)
void caseTForall(TForall node)
void caseTUntil(TUntil node)
void caseTGlobally(TGlobally node)
void caseTFinally(TFinally node)
void caseTNext(TNext node)
void caseTWhiteSpace(TWhiteSpace node)
void caseEOF(EOF node)