de.rwth.i2.attestor

Class OperatorEliminator

java.lang.Object

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

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

de.rwth.i2.attestor.OperatorEliminator

All Implemented Interfaces:

Analysis, Switch

public class OperatorEliminator
extends DepthFirstAdapter

This class implements the AST walker, that transforms finally, globally and implication into their equivalents in PNF. Created by christina on 14.09.17.

Constructor Summary

Constructors

Constructor and Description
OperatorEliminator()

Method Summary

Modifier and Type	Method and Description
void	caseAFinallyLtlform(AFinallyLtlform node)
void	caseAGloballyLtlform(AGloballyLtlform node)
void	caseAImpliesLtlform(AImpliesLtlform node)

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

caseAAndStateform, caseAAtomicpropTerm, caseABimapAtomicprop, caseABtreeAtomicprop, caseADllAtomicprop, caseAEqualAtomicprop, caseAFalseTerm, caseAIdenticneighboursAtomicprop, caseAIsreachAtomicprop, caseAIsreachselAtomicprop, caseANegStateform, caseANextLtlform, caseANotequalAtomicprop, caseANtshapeAtomicprop, caseAOrStateform, caseAReleaseLtlform, caseASllAtomicprop, caseAStateformLtlform, caseATerminatedAtomicprop, caseATermLtlform, caseATreeAtomicprop, caseATrueTerm, caseAUntilLtlform, caseAVisitedAtomicprop, caseAVisitedbyAtomicprop, caseStart, defaultIn, defaultOut, inAAndStateform, inAAtomicpropTerm, inABimapAtomicprop, inABtreeAtomicprop, inADllAtomicprop, inAEqualAtomicprop, inAFalseTerm, inAFinallyLtlform, inAGloballyLtlform, inAIdenticneighboursAtomicprop, inAImpliesLtlform, inAIsreachAtomicprop, inAIsreachselAtomicprop, inANegStateform, inANextLtlform, inANotequalAtomicprop, inANtshapeAtomicprop, inAOrStateform, inAReleaseLtlform, inASllAtomicprop, inAStateformLtlform, inATerminatedAtomicprop, inATermLtlform, inATreeAtomicprop, inATrueTerm, inAUntilLtlform, inAVisitedAtomicprop, inAVisitedbyAtomicprop, inStart, outAAndStateform, outAAtomicpropTerm, outABimapAtomicprop, outABtreeAtomicprop, outADllAtomicprop, outAEqualAtomicprop, outAFalseTerm, outAFinallyLtlform, outAGloballyLtlform, outAIdenticneighboursAtomicprop, outAImpliesLtlform, outAIsreachAtomicprop, outAIsreachselAtomicprop, outANegStateform, outANextLtlform, outANotequalAtomicprop, outANtshapeAtomicprop, outAOrStateform, outAReleaseLtlform, outASllAtomicprop, outAStateformLtlform, outATerminatedAtomicprop, outATermLtlform, outATreeAtomicprop, outATrueTerm, outAUntilLtlform, outAVisitedAtomicprop, outAVisitedbyAtomicprop, outStart

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

OperatorEliminator

public OperatorEliminator()

Method Detail

caseAFinallyLtlform

public void caseAFinallyLtlform(AFinallyLtlform node)

Specified by:

caseAFinallyLtlform in interface Analysis

Overrides:

caseAFinallyLtlform in class DepthFirstAdapter

caseAGloballyLtlform

public void caseAGloballyLtlform(AGloballyLtlform node)

Specified by:

caseAGloballyLtlform in interface Analysis

Overrides:

caseAGloballyLtlform in class DepthFirstAdapter

caseAImpliesLtlform

public void caseAImpliesLtlform(AImpliesLtlform node)

Specified by:

caseAImpliesLtlform in interface Analysis

Overrides:

caseAImpliesLtlform in class DepthFirstAdapter