de.rwth.i2.attestor.generated.analysis

Class DepthFirstAdapter

java.lang.Object

de.rwth.i2.attestor.generated.analysis.AnalysisAdapter

de.rwth.i2.attestor.generated.analysis.DepthFirstAdapter

All Implemented Interfaces:

Analysis, Switch

Direct Known Subclasses:

APCollector, NegationPusher, OperatorEliminator

public class DepthFirstAdapter
extends AnalysisAdapter

Constructor Summary

Constructors

Constructor and Description
DepthFirstAdapter()

Method Summary

Modifier and Type	Method and Description
void	caseAAndStateform(AAndStateform node)
void	caseAAtomicpropTerm(AAtomicpropTerm node)
void	caseABimapAtomicprop(ABimapAtomicprop node)
void	caseABtreeAtomicprop(ABtreeAtomicprop node)
void	caseADllAtomicprop(ADllAtomicprop node)
void	caseAEqualAtomicprop(AEqualAtomicprop node)
void	caseAFalseTerm(AFalseTerm node)
void	caseAFinallyLtlform(AFinallyLtlform node)
void	caseAGloballyLtlform(AGloballyLtlform node)
void	caseAIdenticneighboursAtomicprop(AIdenticneighboursAtomicprop node)
void	caseAImpliesLtlform(AImpliesLtlform node)
void	caseAIsreachAtomicprop(AIsreachAtomicprop node)
void	caseAIsreachselAtomicprop(AIsreachselAtomicprop node)
void	caseANegStateform(ANegStateform node)
void	caseANextLtlform(ANextLtlform node)
void	caseANotequalAtomicprop(ANotequalAtomicprop node)
void	caseANtshapeAtomicprop(ANtshapeAtomicprop node)
void	caseAOrStateform(AOrStateform node)
void	caseAReleaseLtlform(AReleaseLtlform node)
void	caseASllAtomicprop(ASllAtomicprop node)
void	caseAStateformLtlform(AStateformLtlform node)
void	caseATerminatedAtomicprop(ATerminatedAtomicprop node)
void	caseATermLtlform(ATermLtlform node)
void	caseATreeAtomicprop(ATreeAtomicprop node)
void	caseATrueTerm(ATrueTerm node)
void	caseAUntilLtlform(AUntilLtlform node)
void	caseAVisitedAtomicprop(AVisitedAtomicprop node)
void	caseAVisitedbyAtomicprop(AVisitedbyAtomicprop node)
void	caseStart(Start node)
void	defaultIn(Node node)
void	defaultOut(Node node)
void	inAAndStateform(AAndStateform node)
void	inAAtomicpropTerm(AAtomicpropTerm node)
void	inABimapAtomicprop(ABimapAtomicprop node)
void	inABtreeAtomicprop(ABtreeAtomicprop node)
void	inADllAtomicprop(ADllAtomicprop node)
void	inAEqualAtomicprop(AEqualAtomicprop node)
void	inAFalseTerm(AFalseTerm node)
void	inAFinallyLtlform(AFinallyLtlform node)
void	inAGloballyLtlform(AGloballyLtlform node)
void	inAIdenticneighboursAtomicprop(AIdenticneighboursAtomicprop node)
void	inAImpliesLtlform(AImpliesLtlform node)
void	inAIsreachAtomicprop(AIsreachAtomicprop node)
void	inAIsreachselAtomicprop(AIsreachselAtomicprop node)
void	inANegStateform(ANegStateform node)
void	inANextLtlform(ANextLtlform node)
void	inANotequalAtomicprop(ANotequalAtomicprop node)
void	inANtshapeAtomicprop(ANtshapeAtomicprop node)
void	inAOrStateform(AOrStateform node)
void	inAReleaseLtlform(AReleaseLtlform node)
void	inASllAtomicprop(ASllAtomicprop node)
void	inAStateformLtlform(AStateformLtlform node)
void	inATerminatedAtomicprop(ATerminatedAtomicprop node)
void	inATermLtlform(ATermLtlform node)
void	inATreeAtomicprop(ATreeAtomicprop node)
void	inATrueTerm(ATrueTerm node)
void	inAUntilLtlform(AUntilLtlform node)
void	inAVisitedAtomicprop(AVisitedAtomicprop node)
void	inAVisitedbyAtomicprop(AVisitedbyAtomicprop node)
void	inStart(Start node)
void	outAAndStateform(AAndStateform node)
void	outAAtomicpropTerm(AAtomicpropTerm node)
void	outABimapAtomicprop(ABimapAtomicprop node)
void	outABtreeAtomicprop(ABtreeAtomicprop node)
void	outADllAtomicprop(ADllAtomicprop node)
void	outAEqualAtomicprop(AEqualAtomicprop node)
void	outAFalseTerm(AFalseTerm node)
void	outAFinallyLtlform(AFinallyLtlform node)
void	outAGloballyLtlform(AGloballyLtlform node)
void	outAIdenticneighboursAtomicprop(AIdenticneighboursAtomicprop node)
void	outAImpliesLtlform(AImpliesLtlform node)
void	outAIsreachAtomicprop(AIsreachAtomicprop node)
void	outAIsreachselAtomicprop(AIsreachselAtomicprop node)
void	outANegStateform(ANegStateform node)
void	outANextLtlform(ANextLtlform node)
void	outANotequalAtomicprop(ANotequalAtomicprop node)
void	outANtshapeAtomicprop(ANtshapeAtomicprop node)
void	outAOrStateform(AOrStateform node)
void	outAReleaseLtlform(AReleaseLtlform node)
void	outASllAtomicprop(ASllAtomicprop node)
void	outAStateformLtlform(AStateformLtlform node)
void	outATerminatedAtomicprop(ATerminatedAtomicprop node)
void	outATermLtlform(ATermLtlform node)
void	outATreeAtomicprop(ATreeAtomicprop node)
void	outATrueTerm(ATrueTerm node)
void	outAUntilLtlform(AUntilLtlform node)
void	outAVisitedAtomicprop(AVisitedAtomicprop node)
void	outAVisitedbyAtomicprop(AVisitedbyAtomicprop node)
void	outStart(Start node)

Methods inherited from class de.rwth.i2.attestor.generated.analysis.AnalysisAdapter

caseEOF, caseInvalidToken, caseTAnd, caseTApbimap, caseTApbtree, caseTApdll, caseTApequal, caseTApidenticneighbours, caseTApisreach, caseTApisreachsel, caseTApnotequal, caseTApntshape, caseTApsll, caseTApterminated, caseTAptree, caseTApvisited, caseTApvisitedby, caseTBlank, caseTFalse, caseTFinally, caseTGlobally, caseTImplies, caseTLcurlyparen, caseTLparen, caseTNeg, caseTNext, caseTOr, caseTRcurlyparen, caseTRelease, caseTRparen, caseTTrue, caseTUntil, defaultCase, getIn, getOut, setIn, setOut

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DepthFirstAdapter

public DepthFirstAdapter()

Method Detail

inStart

public void inStart(Start node)

outStart

public void outStart(Start node)

defaultIn

public void defaultIn(Node node)

defaultOut

public void defaultOut(Node node)

caseStart

public void caseStart(Start node)

Specified by:

caseStart in interface Analysis

Overrides:

caseStart in class AnalysisAdapter

inAStateformLtlform

public void inAStateformLtlform(AStateformLtlform node)

outAStateformLtlform

public void outAStateformLtlform(AStateformLtlform node)

caseAStateformLtlform

public void caseAStateformLtlform(AStateformLtlform node)

Specified by:

caseAStateformLtlform in interface Analysis

Overrides:

caseAStateformLtlform in class AnalysisAdapter

inANextLtlform

public void inANextLtlform(ANextLtlform node)

outANextLtlform

public void outANextLtlform(ANextLtlform node)

caseANextLtlform

public void caseANextLtlform(ANextLtlform node)

Specified by:

caseANextLtlform in interface Analysis

Overrides:

caseANextLtlform in class AnalysisAdapter

inAGloballyLtlform

public void inAGloballyLtlform(AGloballyLtlform node)

outAGloballyLtlform

public void outAGloballyLtlform(AGloballyLtlform node)

caseAGloballyLtlform

public void caseAGloballyLtlform(AGloballyLtlform node)

Specified by:

caseAGloballyLtlform in interface Analysis

Overrides:

caseAGloballyLtlform in class AnalysisAdapter

inAFinallyLtlform

public void inAFinallyLtlform(AFinallyLtlform node)

outAFinallyLtlform

public void outAFinallyLtlform(AFinallyLtlform node)

caseAFinallyLtlform

public void caseAFinallyLtlform(AFinallyLtlform node)

Specified by:

caseAFinallyLtlform in interface Analysis

Overrides:

caseAFinallyLtlform in class AnalysisAdapter

inATermLtlform

public void inATermLtlform(ATermLtlform node)

outATermLtlform

public void outATermLtlform(ATermLtlform node)

caseATermLtlform

public void caseATermLtlform(ATermLtlform node)

Specified by:

caseATermLtlform in interface Analysis

Overrides:

caseATermLtlform in class AnalysisAdapter

inAUntilLtlform

public void inAUntilLtlform(AUntilLtlform node)

outAUntilLtlform

public void outAUntilLtlform(AUntilLtlform node)

caseAUntilLtlform

public void caseAUntilLtlform(AUntilLtlform node)

Specified by:

caseAUntilLtlform in interface Analysis

Overrides:

caseAUntilLtlform in class AnalysisAdapter

inAReleaseLtlform

public void inAReleaseLtlform(AReleaseLtlform node)

outAReleaseLtlform

public void outAReleaseLtlform(AReleaseLtlform node)

caseAReleaseLtlform

public void caseAReleaseLtlform(AReleaseLtlform node)

Specified by:

caseAReleaseLtlform in interface Analysis

Overrides:

caseAReleaseLtlform in class AnalysisAdapter

inAImpliesLtlform

public void inAImpliesLtlform(AImpliesLtlform node)

outAImpliesLtlform

public void outAImpliesLtlform(AImpliesLtlform node)

caseAImpliesLtlform

public void caseAImpliesLtlform(AImpliesLtlform node)

Specified by:

caseAImpliesLtlform in interface Analysis

Overrides:

caseAImpliesLtlform in class AnalysisAdapter

inANegStateform

public void inANegStateform(ANegStateform node)

outANegStateform

public void outANegStateform(ANegStateform node)

caseANegStateform

public void caseANegStateform(ANegStateform node)

Specified by:

caseANegStateform in interface Analysis

Overrides:

caseANegStateform in class AnalysisAdapter

inAAndStateform

public void inAAndStateform(AAndStateform node)

outAAndStateform

public void outAAndStateform(AAndStateform node)

caseAAndStateform

public void caseAAndStateform(AAndStateform node)

Specified by:

caseAAndStateform in interface Analysis

Overrides:

caseAAndStateform in class AnalysisAdapter

inAOrStateform

public void inAOrStateform(AOrStateform node)

outAOrStateform

public void outAOrStateform(AOrStateform node)

caseAOrStateform

public void caseAOrStateform(AOrStateform node)

Specified by:

caseAOrStateform in interface Analysis

Overrides:

caseAOrStateform in class AnalysisAdapter

inATrueTerm

public void inATrueTerm(ATrueTerm node)

outATrueTerm

public void outATrueTerm(ATrueTerm node)

caseATrueTerm

public void caseATrueTerm(ATrueTerm node)

Specified by:

caseATrueTerm in interface Analysis

Overrides:

caseATrueTerm in class AnalysisAdapter

inAFalseTerm

public void inAFalseTerm(AFalseTerm node)

outAFalseTerm

public void outAFalseTerm(AFalseTerm node)

caseAFalseTerm

public void caseAFalseTerm(AFalseTerm node)

Specified by:

caseAFalseTerm in interface Analysis

Overrides:

caseAFalseTerm in class AnalysisAdapter

inAAtomicpropTerm

public void inAAtomicpropTerm(AAtomicpropTerm node)

outAAtomicpropTerm

public void outAAtomicpropTerm(AAtomicpropTerm node)

caseAAtomicpropTerm

public void caseAAtomicpropTerm(AAtomicpropTerm node)

Specified by:

caseAAtomicpropTerm in interface Analysis

Overrides:

caseAAtomicpropTerm in class AnalysisAdapter

inATreeAtomicprop

public void inATreeAtomicprop(ATreeAtomicprop node)

outATreeAtomicprop

public void outATreeAtomicprop(ATreeAtomicprop node)

caseATreeAtomicprop

public void caseATreeAtomicprop(ATreeAtomicprop node)

Specified by:

caseATreeAtomicprop in interface Analysis

Overrides:

caseATreeAtomicprop in class AnalysisAdapter

inABimapAtomicprop

public void inABimapAtomicprop(ABimapAtomicprop node)

outABimapAtomicprop

public void outABimapAtomicprop(ABimapAtomicprop node)

caseABimapAtomicprop

public void caseABimapAtomicprop(ABimapAtomicprop node)

Specified by:

caseABimapAtomicprop in interface Analysis

Overrides:

caseABimapAtomicprop in class AnalysisAdapter

inABtreeAtomicprop

public void inABtreeAtomicprop(ABtreeAtomicprop node)

outABtreeAtomicprop

public void outABtreeAtomicprop(ABtreeAtomicprop node)

caseABtreeAtomicprop

public void caseABtreeAtomicprop(ABtreeAtomicprop node)

Specified by:

caseABtreeAtomicprop in interface Analysis

Overrides:

caseABtreeAtomicprop in class AnalysisAdapter

inASllAtomicprop

public void inASllAtomicprop(ASllAtomicprop node)

outASllAtomicprop

public void outASllAtomicprop(ASllAtomicprop node)

caseASllAtomicprop

public void caseASllAtomicprop(ASllAtomicprop node)

Specified by:

caseASllAtomicprop in interface Analysis

Overrides:

caseASllAtomicprop in class AnalysisAdapter

inADllAtomicprop

public void inADllAtomicprop(ADllAtomicprop node)

outADllAtomicprop

public void outADllAtomicprop(ADllAtomicprop node)

caseADllAtomicprop

public void caseADllAtomicprop(ADllAtomicprop node)

Specified by:

caseADllAtomicprop in interface Analysis

Overrides:

caseADllAtomicprop in class AnalysisAdapter

inAVisitedAtomicprop

public void inAVisitedAtomicprop(AVisitedAtomicprop node)

outAVisitedAtomicprop

public void outAVisitedAtomicprop(AVisitedAtomicprop node)

caseAVisitedAtomicprop

public void caseAVisitedAtomicprop(AVisitedAtomicprop node)

Specified by:

caseAVisitedAtomicprop in interface Analysis

Overrides:

caseAVisitedAtomicprop in class AnalysisAdapter

inAVisitedbyAtomicprop

public void inAVisitedbyAtomicprop(AVisitedbyAtomicprop node)

outAVisitedbyAtomicprop

public void outAVisitedbyAtomicprop(AVisitedbyAtomicprop node)

caseAVisitedbyAtomicprop

public void caseAVisitedbyAtomicprop(AVisitedbyAtomicprop node)

Specified by:

caseAVisitedbyAtomicprop in interface Analysis

Overrides:

caseAVisitedbyAtomicprop in class AnalysisAdapter

inAIdenticneighboursAtomicprop

public void inAIdenticneighboursAtomicprop(AIdenticneighboursAtomicprop node)

outAIdenticneighboursAtomicprop

public void outAIdenticneighboursAtomicprop(AIdenticneighboursAtomicprop node)

caseAIdenticneighboursAtomicprop

public void caseAIdenticneighboursAtomicprop(AIdenticneighboursAtomicprop node)

Specified by:

caseAIdenticneighboursAtomicprop in interface Analysis

Overrides:

caseAIdenticneighboursAtomicprop in class AnalysisAdapter

inAIsreachAtomicprop

public void inAIsreachAtomicprop(AIsreachAtomicprop node)

outAIsreachAtomicprop

public void outAIsreachAtomicprop(AIsreachAtomicprop node)

caseAIsreachAtomicprop

public void caseAIsreachAtomicprop(AIsreachAtomicprop node)

Specified by:

caseAIsreachAtomicprop in interface Analysis

Overrides:

caseAIsreachAtomicprop in class AnalysisAdapter

inAIsreachselAtomicprop

public void inAIsreachselAtomicprop(AIsreachselAtomicprop node)

outAIsreachselAtomicprop

public void outAIsreachselAtomicprop(AIsreachselAtomicprop node)

caseAIsreachselAtomicprop

public void caseAIsreachselAtomicprop(AIsreachselAtomicprop node)

Specified by:

caseAIsreachselAtomicprop in interface Analysis

Overrides:

caseAIsreachselAtomicprop in class AnalysisAdapter

inATerminatedAtomicprop

public void inATerminatedAtomicprop(ATerminatedAtomicprop node)

outATerminatedAtomicprop

public void outATerminatedAtomicprop(ATerminatedAtomicprop node)

caseATerminatedAtomicprop

public void caseATerminatedAtomicprop(ATerminatedAtomicprop node)

Specified by:

caseATerminatedAtomicprop in interface Analysis

Overrides:

caseATerminatedAtomicprop in class AnalysisAdapter

inAEqualAtomicprop

public void inAEqualAtomicprop(AEqualAtomicprop node)

outAEqualAtomicprop

public void outAEqualAtomicprop(AEqualAtomicprop node)

caseAEqualAtomicprop

public void caseAEqualAtomicprop(AEqualAtomicprop node)

Specified by:

caseAEqualAtomicprop in interface Analysis

Overrides:

caseAEqualAtomicprop in class AnalysisAdapter

inANotequalAtomicprop

public void inANotequalAtomicprop(ANotequalAtomicprop node)

outANotequalAtomicprop

public void outANotequalAtomicprop(ANotequalAtomicprop node)

caseANotequalAtomicprop

public void caseANotequalAtomicprop(ANotequalAtomicprop node)

Specified by:

caseANotequalAtomicprop in interface Analysis

Overrides:

caseANotequalAtomicprop in class AnalysisAdapter

inANtshapeAtomicprop

public void inANtshapeAtomicprop(ANtshapeAtomicprop node)

outANtshapeAtomicprop

public void outANtshapeAtomicprop(ANtshapeAtomicprop node)

caseANtshapeAtomicprop

public void caseANtshapeAtomicprop(ANtshapeAtomicprop node)

Specified by:

caseANtshapeAtomicprop in interface Analysis

Overrides:

caseANtshapeAtomicprop in class AnalysisAdapter