de.rwth.i2.attestor.generated.analysis

Class AnalysisAdapter

java.lang.Object

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

All Implemented Interfaces:

Analysis, Switch

Direct Known Subclasses:

DepthFirstAdapter, FormulaWalker, ReversedDepthFirstAdapter

public class AnalysisAdapter
extends Object
implements Analysis

Constructor Summary

Constructors

Constructor and Description
AnalysisAdapter()

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	caseEOF(EOF node)
void	caseInvalidToken(InvalidToken node)
void	caseStart(Start node)
void	caseTAnd(TAnd node)
void	caseTApbimap(TApbimap node)
void	caseTApbtree(TApbtree node)
void	caseTApdll(TApdll node)
void	caseTApequal(TApequal node)
void	caseTApidenticneighbours(TApidenticneighbours node)
void	caseTApisreach(TApisreach node)
void	caseTApisreachsel(TApisreachsel node)
void	caseTApnotequal(TApnotequal node)
void	caseTApntshape(TApntshape node)
void	caseTApsll(TApsll node)
void	caseTApterminated(TApterminated node)
void	caseTAptree(TAptree node)
void	caseTApvisited(TApvisited node)
void	caseTApvisitedby(TApvisitedby node)
void	caseTBlank(TBlank node)
void	caseTFalse(TFalse node)
void	caseTFinally(TFinally node)
void	caseTGlobally(TGlobally node)
void	caseTImplies(TImplies node)
void	caseTLcurlyparen(TLcurlyparen node)
void	caseTLparen(TLparen node)
void	caseTNeg(TNeg node)
void	caseTNext(TNext node)
void	caseTOr(TOr node)
void	caseTRcurlyparen(TRcurlyparen node)
void	caseTRelease(TRelease node)
void	caseTRparen(TRparen node)
void	caseTTrue(TTrue node)
void	caseTUntil(TUntil node)
void	defaultCase(Node node)
Object	getIn(Node node)
Object	getOut(Node node)
void	setIn(Node node, Object o)
void	setOut(Node node, Object o)

Methods inherited from class java.lang.Object

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

Constructor Detail

AnalysisAdapter

public AnalysisAdapter()

Method Detail

getIn

public Object getIn(Node node)

Specified by:

getIn in interface Analysis

setIn

public void setIn(Node node,
                  Object o)

Specified by:

setIn in interface Analysis

getOut

public Object getOut(Node node)

Specified by:

getOut in interface Analysis

setOut

public void setOut(Node node,
                   Object o)

Specified by:

setOut in interface Analysis

caseStart

public void caseStart(Start node)

Specified by:

caseStart in interface Analysis

caseAStateformLtlform

public void caseAStateformLtlform(AStateformLtlform node)

Specified by:

caseAStateformLtlform in interface Analysis

caseANextLtlform

public void caseANextLtlform(ANextLtlform node)

Specified by:

caseANextLtlform in interface Analysis

caseAGloballyLtlform

public void caseAGloballyLtlform(AGloballyLtlform node)

Specified by:

caseAGloballyLtlform in interface Analysis

caseAFinallyLtlform

public void caseAFinallyLtlform(AFinallyLtlform node)

Specified by:

caseAFinallyLtlform in interface Analysis

caseATermLtlform

public void caseATermLtlform(ATermLtlform node)

Specified by:

caseATermLtlform in interface Analysis

caseAUntilLtlform

public void caseAUntilLtlform(AUntilLtlform node)

Specified by:

caseAUntilLtlform in interface Analysis

caseAReleaseLtlform

public void caseAReleaseLtlform(AReleaseLtlform node)

Specified by:

caseAReleaseLtlform in interface Analysis

caseAImpliesLtlform

public void caseAImpliesLtlform(AImpliesLtlform node)

Specified by:

caseAImpliesLtlform in interface Analysis

caseANegStateform

public void caseANegStateform(ANegStateform node)

Specified by:

caseANegStateform in interface Analysis

caseAAndStateform

public void caseAAndStateform(AAndStateform node)

Specified by:

caseAAndStateform in interface Analysis

caseAOrStateform

public void caseAOrStateform(AOrStateform node)

Specified by:

caseAOrStateform in interface Analysis

caseATrueTerm

public void caseATrueTerm(ATrueTerm node)

Specified by:

caseATrueTerm in interface Analysis

caseAFalseTerm

public void caseAFalseTerm(AFalseTerm node)

Specified by:

caseAFalseTerm in interface Analysis

caseAAtomicpropTerm

public void caseAAtomicpropTerm(AAtomicpropTerm node)

Specified by:

caseAAtomicpropTerm in interface Analysis

caseATreeAtomicprop

public void caseATreeAtomicprop(ATreeAtomicprop node)

Specified by:

caseATreeAtomicprop in interface Analysis

caseABimapAtomicprop

public void caseABimapAtomicprop(ABimapAtomicprop node)

Specified by:

caseABimapAtomicprop in interface Analysis

caseABtreeAtomicprop

public void caseABtreeAtomicprop(ABtreeAtomicprop node)

Specified by:

caseABtreeAtomicprop in interface Analysis

caseASllAtomicprop

public void caseASllAtomicprop(ASllAtomicprop node)

Specified by:

caseASllAtomicprop in interface Analysis

caseADllAtomicprop

public void caseADllAtomicprop(ADllAtomicprop node)

Specified by:

caseADllAtomicprop in interface Analysis

caseAVisitedAtomicprop

public void caseAVisitedAtomicprop(AVisitedAtomicprop node)

Specified by:

caseAVisitedAtomicprop in interface Analysis

caseAVisitedbyAtomicprop

public void caseAVisitedbyAtomicprop(AVisitedbyAtomicprop node)

Specified by:

caseAVisitedbyAtomicprop in interface Analysis

caseAIdenticneighboursAtomicprop

public void caseAIdenticneighboursAtomicprop(AIdenticneighboursAtomicprop node)

Specified by:

caseAIdenticneighboursAtomicprop in interface Analysis

caseAIsreachAtomicprop

public void caseAIsreachAtomicprop(AIsreachAtomicprop node)

Specified by:

caseAIsreachAtomicprop in interface Analysis

caseAIsreachselAtomicprop

public void caseAIsreachselAtomicprop(AIsreachselAtomicprop node)

Specified by:

caseAIsreachselAtomicprop in interface Analysis

caseATerminatedAtomicprop

public void caseATerminatedAtomicprop(ATerminatedAtomicprop node)

Specified by:

caseATerminatedAtomicprop in interface Analysis

caseAEqualAtomicprop

public void caseAEqualAtomicprop(AEqualAtomicprop node)

Specified by:

caseAEqualAtomicprop in interface Analysis

caseANotequalAtomicprop

public void caseANotequalAtomicprop(ANotequalAtomicprop node)

Specified by:

caseANotequalAtomicprop in interface Analysis

caseANtshapeAtomicprop

public void caseANtshapeAtomicprop(ANtshapeAtomicprop node)

Specified by:

caseANtshapeAtomicprop in interface Analysis

caseTTrue

public void caseTTrue(TTrue node)

Specified by:

caseTTrue in interface Analysis

caseTFalse

public void caseTFalse(TFalse node)

Specified by:

caseTFalse in interface Analysis

caseTAnd

public void caseTAnd(TAnd node)

Specified by:

caseTAnd in interface Analysis

caseTOr

public void caseTOr(TOr node)

Specified by:

caseTOr in interface Analysis

caseTNeg

public void caseTNeg(TNeg node)

Specified by:

caseTNeg in interface Analysis

caseTNext

public void caseTNext(TNext node)

Specified by:

caseTNext in interface Analysis

caseTUntil

public void caseTUntil(TUntil node)

Specified by:

caseTUntil in interface Analysis

caseTRelease

public void caseTRelease(TRelease node)

Specified by:

caseTRelease in interface Analysis

caseTGlobally

public void caseTGlobally(TGlobally node)

Specified by:

caseTGlobally in interface Analysis

caseTFinally

public void caseTFinally(TFinally node)

Specified by:

caseTFinally in interface Analysis

caseTImplies

public void caseTImplies(TImplies node)

Specified by:

caseTImplies in interface Analysis

caseTBlank

public void caseTBlank(TBlank node)

Specified by:

caseTBlank in interface Analysis

caseTLparen

public void caseTLparen(TLparen node)

Specified by:

caseTLparen in interface Analysis

caseTRparen

public void caseTRparen(TRparen node)

Specified by:

caseTRparen in interface Analysis

caseTLcurlyparen

public void caseTLcurlyparen(TLcurlyparen node)

Specified by:

caseTLcurlyparen in interface Analysis

caseTRcurlyparen

public void caseTRcurlyparen(TRcurlyparen node)

Specified by:

caseTRcurlyparen in interface Analysis

caseTAptree

public void caseTAptree(TAptree node)

Specified by:

caseTAptree in interface Analysis

caseTApbtree

public void caseTApbtree(TApbtree node)

Specified by:

caseTApbtree in interface Analysis

caseTApbimap

public void caseTApbimap(TApbimap node)

Specified by:

caseTApbimap in interface Analysis

caseTApsll

public void caseTApsll(TApsll node)

Specified by:

caseTApsll in interface Analysis

caseTApdll

public void caseTApdll(TApdll node)

Specified by:

caseTApdll in interface Analysis

caseTApvisited

public void caseTApvisited(TApvisited node)

Specified by:

caseTApvisited in interface Analysis

caseTApvisitedby

public void caseTApvisitedby(TApvisitedby node)

Specified by:

caseTApvisitedby in interface Analysis

caseTApidenticneighbours

public void caseTApidenticneighbours(TApidenticneighbours node)

Specified by:

caseTApidenticneighbours in interface Analysis

caseTApisreach

public void caseTApisreach(TApisreach node)

Specified by:

caseTApisreach in interface Analysis

caseTApisreachsel

public void caseTApisreachsel(TApisreachsel node)

Specified by:

caseTApisreachsel in interface Analysis

caseTApterminated

public void caseTApterminated(TApterminated node)

Specified by:

caseTApterminated in interface Analysis

caseTApequal

public void caseTApequal(TApequal node)

Specified by:

caseTApequal in interface Analysis

caseTApnotequal

public void caseTApnotequal(TApnotequal node)

Specified by:

caseTApnotequal in interface Analysis

caseTApntshape

public void caseTApntshape(TApntshape node)

Specified by:

caseTApntshape in interface Analysis

caseEOF

public void caseEOF(EOF node)

Specified by:

caseEOF in interface Analysis

caseInvalidToken

public void caseInvalidToken(InvalidToken node)

Specified by:

caseInvalidToken in interface Analysis

defaultCase

public void defaultCase(Node node)