ReversedDepthFirstAdapter (probkodkod 1.0.4 API)

java.lang.Object
- de.stups.probkodkod.parser.analysis.AnalysisAdapter
- - de.stups.probkodkod.parser.analysis.ReversedDepthFirstAdapter

All Implemented Interfaces:: Analysis, Switch

public class ReversedDepthFirstAdapter
extends AnalysisAdapter

Constructor Summary

Constructors
Constructor and Description

ReversedDepthFirstAdapter()

Constructors
Constructor and Description
`ReversedDepthFirstAdapter()`

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`caseAAddIntexprBinop(AAddIntexprBinop node)`
`void`	`caseAAllQuantifier(AAllQuantifier node)`
`void`	`caseAAndInnerformula(AAndInnerformula node)`
`void`	`caseAArgument(AArgument node)`
`void`	`caseABinaryInnerexpression(ABinaryInnerexpression node)`
`void`	`caseABinaryInnerformula(ABinaryInnerformula node)`
`void`	`caseABinaryInnerintexpression(ABinaryInnerintexpression node)`
`void`	`caseABitpart(ABitpart node)`
`void`	`caseACardInnerintexpression(ACardInnerintexpression node)`
`void`	`caseACastInnerexpression(ACastInnerexpression node)`
`void`	`caseACastInnerintexpression(ACastInnerintexpression node)`
`void`	`caseAClosureExprUnop(AClosureExprUnop node)`
`void`	`caseACompInnerexpression(ACompInnerexpression node)`
`void`	`caseAConsDecls(AConsDecls node)`
`void`	`caseAConstInnerexpression(AConstInnerexpression node)`
`void`	`caseAConstInnerformula(AConstInnerformula node)`
`void`	`caseAConstInnerintexpression(AConstInnerintexpression node)`
`void`	`caseADefaultRange(ADefaultRange node)`
`void`	`caseADiffExprBinop(ADiffExprBinop node)`
`void`	`caseADivIntexprBinop(ADivIntexprBinop node)`
`void`	`caseAEmptyExprConst(AEmptyExprConst node)`
`void`	`caseAEqualsIntCompOp(AEqualsIntCompOp node)`
`void`	`caseAEqualsLogopRel(AEqualsLogopRel node)`
`void`	`caseAExactReltype(AExactReltype node)`
`void`	`caseAExistsQuantifier(AExistsQuantifier node)`
`void`	`caseAExpression(AExpression node)`
`void`	`caseAFalseLogConst(AFalseLogConst node)`
`void`	`caseAFormula(AFormula node)`
`void`	`caseAFuncInnerformula(AFuncInnerformula node)`
`void`	`caseAGreaterequalIntCompOp(AGreaterequalIntCompOp node)`
`void`	`caseAGreaterIntCompOp(AGreaterIntCompOp node)`
`void`	`caseAIdenExprConst(AIdenExprConst node)`
`void`	`caseAIffLogopBinary(AIffLogopBinary node)`
`void`	`caseAIfInnerexpression(AIfInnerexpression node)`
`void`	`caseAImpliesLogopBinary(AImpliesLogopBinary node)`
`void`	`caseAInLogopRel(AInLogopRel node)`
`void`	`caseAInterExprMultop(AInterExprMultop node)`
`void`	`caseAIntexpression(AIntexpression node)`
`void`	`caseAIntInnerformula(AIntInnerformula node)`
`void`	`caseAIntsetExprCast(AIntsetExprCast node)`
`void`	`caseAIntsType(AIntsType node)`
`void`	`caseAJoinExprBinop(AJoinExprBinop node)`
`void`	`caseALesserequalIntCompOp(ALesserequalIntCompOp node)`
`void`	`caseALesserIntCompOp(ALesserIntCompOp node)`
`void`	`caseAList(AList node)`
`void`	`caseAListAction(AListAction node)`
`void`	`caseALoneMultiplicity(ALoneMultiplicity node)`
`void`	`caseAModIntexprBinop(AModIntexprBinop node)`
`void`	`caseAMulIntexprBinop(AMulIntexprBinop node)`
`void`	`caseAMultiInnerexpression(AMultiInnerexpression node)`
`void`	`caseAMultInnerformula(AMultInnerformula node)`
`void`	`caseANegReqtype(ANegReqtype node)`
`void`	`caseANegZnumber(ANegZnumber node)`
`void`	`caseANilDecls(ANilDecls node)`
`void`	`caseANoMultiplicity(ANoMultiplicity node)`
`void`	`caseANoneAction(ANoneAction node)`
`void`	`caseANotInnerformula(ANotInnerformula node)`
`void`	`caseAOneMultiplicity(AOneMultiplicity node)`
`void`	`caseAOrLogopBinary(AOrLogopBinary node)`
`void`	`caseAOverwriteExprBinop(AOverwriteExprBinop node)`
`void`	`caseAPartialLogopFunction(APartialLogopFunction node)`
`void`	`caseAPosReqtype(APosReqtype node)`
`void`	`caseAPosZnumber(APosZnumber node)`
`void`	`caseAPow2ExprCast(APow2ExprCast node)`
`void`	`caseAPowpart(APowpart node)`
`void`	`caseAPrjInnerexpression(APrjInnerexpression node)`
`void`	`caseAProblem(AProblem node)`
`void`	`caseAProblemAction(AProblemAction node)`
`void`	`caseAProductExprMultop(AProductExprMultop node)`
`void`	`caseAQuantInnerformula(AQuantInnerformula node)`
`void`	`caseARelation(ARelation node)`
`void`	`caseARelInnerformula(ARelInnerformula node)`
`void`	`caseARelrefInnerexpression(ARelrefInnerexpression node)`
`void`	`caseARequest(ARequest node)`
`void`	`caseARequestAction(ARequestAction node)`
`void`	`caseAReset(AReset node)`
`void`	`caseAResetAction(AResetAction node)`
`void`	`caseASetMultiplicity(ASetMultiplicity node)`
`void`	`caseASomeMultiplicity(ASomeMultiplicity node)`
`void`	`caseAStandardType(AStandardType node)`
`void`	`caseAStop(AStop node)`
`void`	`caseAStopAction(AStopAction node)`
`void`	`caseASubIntexprBinop(ASubIntexprBinop node)`
`void`	`caseASubsetReltype(ASubsetReltype node)`
`void`	`caseATotalLogopFunction(ATotalLogopFunction node)`
`void`	`caseATransposeExprUnop(ATransposeExprUnop node)`
`void`	`caseATrueLogConst(ATrueLogConst node)`
`void`	`caseATuple(ATuple node)`
`void`	`caseATupleset(ATupleset node)`
`void`	`caseATyperefRange(ATyperefRange node)`
`void`	`caseAUnaryInnerexpression(AUnaryInnerexpression node)`
`void`	`caseAUnionExprMultop(AUnionExprMultop node)`
`void`	`caseAUnivExprConst(AUnivExprConst node)`
`void`	`caseAVarrefInnerexpression(AVarrefInnerexpression node)`
`void`	`caseStart(Start node)`
`void`	`defaultIn(Node node)`
`void`	`defaultOut(Node node)`
`void`	`inAAddIntexprBinop(AAddIntexprBinop node)`
`void`	`inAAllQuantifier(AAllQuantifier node)`
`void`	`inAAndInnerformula(AAndInnerformula node)`
`void`	`inAArgument(AArgument node)`
`void`	`inABinaryInnerexpression(ABinaryInnerexpression node)`
`void`	`inABinaryInnerformula(ABinaryInnerformula node)`
`void`	`inABinaryInnerintexpression(ABinaryInnerintexpression node)`
`void`	`inABitpart(ABitpart node)`
`void`	`inACardInnerintexpression(ACardInnerintexpression node)`
`void`	`inACastInnerexpression(ACastInnerexpression node)`
`void`	`inACastInnerintexpression(ACastInnerintexpression node)`
`void`	`inAClosureExprUnop(AClosureExprUnop node)`
`void`	`inACompInnerexpression(ACompInnerexpression node)`
`void`	`inAConsDecls(AConsDecls node)`
`void`	`inAConstInnerexpression(AConstInnerexpression node)`
`void`	`inAConstInnerformula(AConstInnerformula node)`
`void`	`inAConstInnerintexpression(AConstInnerintexpression node)`
`void`	`inADefaultRange(ADefaultRange node)`
`void`	`inADiffExprBinop(ADiffExprBinop node)`
`void`	`inADivIntexprBinop(ADivIntexprBinop node)`
`void`	`inAEmptyExprConst(AEmptyExprConst node)`
`void`	`inAEqualsIntCompOp(AEqualsIntCompOp node)`
`void`	`inAEqualsLogopRel(AEqualsLogopRel node)`
`void`	`inAExactReltype(AExactReltype node)`
`void`	`inAExistsQuantifier(AExistsQuantifier node)`
`void`	`inAExpression(AExpression node)`
`void`	`inAFalseLogConst(AFalseLogConst node)`
`void`	`inAFormula(AFormula node)`
`void`	`inAFuncInnerformula(AFuncInnerformula node)`
`void`	`inAGreaterequalIntCompOp(AGreaterequalIntCompOp node)`
`void`	`inAGreaterIntCompOp(AGreaterIntCompOp node)`
`void`	`inAIdenExprConst(AIdenExprConst node)`
`void`	`inAIffLogopBinary(AIffLogopBinary node)`
`void`	`inAIfInnerexpression(AIfInnerexpression node)`
`void`	`inAImpliesLogopBinary(AImpliesLogopBinary node)`
`void`	`inAInLogopRel(AInLogopRel node)`
`void`	`inAInterExprMultop(AInterExprMultop node)`
`void`	`inAIntexpression(AIntexpression node)`
`void`	`inAIntInnerformula(AIntInnerformula node)`
`void`	`inAIntsetExprCast(AIntsetExprCast node)`
`void`	`inAIntsType(AIntsType node)`
`void`	`inAJoinExprBinop(AJoinExprBinop node)`
`void`	`inALesserequalIntCompOp(ALesserequalIntCompOp node)`
`void`	`inALesserIntCompOp(ALesserIntCompOp node)`
`void`	`inAList(AList node)`
`void`	`inAListAction(AListAction node)`
`void`	`inALoneMultiplicity(ALoneMultiplicity node)`
`void`	`inAModIntexprBinop(AModIntexprBinop node)`
`void`	`inAMulIntexprBinop(AMulIntexprBinop node)`
`void`	`inAMultiInnerexpression(AMultiInnerexpression node)`
`void`	`inAMultInnerformula(AMultInnerformula node)`
`void`	`inANegReqtype(ANegReqtype node)`
`void`	`inANegZnumber(ANegZnumber node)`
`void`	`inANilDecls(ANilDecls node)`
`void`	`inANoMultiplicity(ANoMultiplicity node)`
`void`	`inANoneAction(ANoneAction node)`
`void`	`inANotInnerformula(ANotInnerformula node)`
`void`	`inAOneMultiplicity(AOneMultiplicity node)`
`void`	`inAOrLogopBinary(AOrLogopBinary node)`
`void`	`inAOverwriteExprBinop(AOverwriteExprBinop node)`
`void`	`inAPartialLogopFunction(APartialLogopFunction node)`
`void`	`inAPosReqtype(APosReqtype node)`
`void`	`inAPosZnumber(APosZnumber node)`
`void`	`inAPow2ExprCast(APow2ExprCast node)`
`void`	`inAPowpart(APowpart node)`
`void`	`inAPrjInnerexpression(APrjInnerexpression node)`
`void`	`inAProblem(AProblem node)`
`void`	`inAProblemAction(AProblemAction node)`
`void`	`inAProductExprMultop(AProductExprMultop node)`
`void`	`inAQuantInnerformula(AQuantInnerformula node)`
`void`	`inARelation(ARelation node)`
`void`	`inARelInnerformula(ARelInnerformula node)`
`void`	`inARelrefInnerexpression(ARelrefInnerexpression node)`
`void`	`inARequest(ARequest node)`
`void`	`inARequestAction(ARequestAction node)`
`void`	`inAReset(AReset node)`
`void`	`inAResetAction(AResetAction node)`
`void`	`inASetMultiplicity(ASetMultiplicity node)`
`void`	`inASomeMultiplicity(ASomeMultiplicity node)`
`void`	`inAStandardType(AStandardType node)`
`void`	`inAStop(AStop node)`
`void`	`inAStopAction(AStopAction node)`
`void`	`inASubIntexprBinop(ASubIntexprBinop node)`
`void`	`inASubsetReltype(ASubsetReltype node)`
`void`	`inATotalLogopFunction(ATotalLogopFunction node)`
`void`	`inATransposeExprUnop(ATransposeExprUnop node)`
`void`	`inATrueLogConst(ATrueLogConst node)`
`void`	`inATuple(ATuple node)`
`void`	`inATupleset(ATupleset node)`
`void`	`inATyperefRange(ATyperefRange node)`
`void`	`inAUnaryInnerexpression(AUnaryInnerexpression node)`
`void`	`inAUnionExprMultop(AUnionExprMultop node)`
`void`	`inAUnivExprConst(AUnivExprConst node)`
`void`	`inAVarrefInnerexpression(AVarrefInnerexpression node)`
`void`	`inStart(Start node)`
`void`	`outAAddIntexprBinop(AAddIntexprBinop node)`
`void`	`outAAllQuantifier(AAllQuantifier node)`
`void`	`outAAndInnerformula(AAndInnerformula node)`
`void`	`outAArgument(AArgument node)`
`void`	`outABinaryInnerexpression(ABinaryInnerexpression node)`
`void`	`outABinaryInnerformula(ABinaryInnerformula node)`
`void`	`outABinaryInnerintexpression(ABinaryInnerintexpression node)`
`void`	`outABitpart(ABitpart node)`
`void`	`outACardInnerintexpression(ACardInnerintexpression node)`
`void`	`outACastInnerexpression(ACastInnerexpression node)`
`void`	`outACastInnerintexpression(ACastInnerintexpression node)`
`void`	`outAClosureExprUnop(AClosureExprUnop node)`
`void`	`outACompInnerexpression(ACompInnerexpression node)`
`void`	`outAConsDecls(AConsDecls node)`
`void`	`outAConstInnerexpression(AConstInnerexpression node)`
`void`	`outAConstInnerformula(AConstInnerformula node)`
`void`	`outAConstInnerintexpression(AConstInnerintexpression node)`
`void`	`outADefaultRange(ADefaultRange node)`
`void`	`outADiffExprBinop(ADiffExprBinop node)`
`void`	`outADivIntexprBinop(ADivIntexprBinop node)`
`void`	`outAEmptyExprConst(AEmptyExprConst node)`
`void`	`outAEqualsIntCompOp(AEqualsIntCompOp node)`
`void`	`outAEqualsLogopRel(AEqualsLogopRel node)`
`void`	`outAExactReltype(AExactReltype node)`
`void`	`outAExistsQuantifier(AExistsQuantifier node)`
`void`	`outAExpression(AExpression node)`
`void`	`outAFalseLogConst(AFalseLogConst node)`
`void`	`outAFormula(AFormula node)`
`void`	`outAFuncInnerformula(AFuncInnerformula node)`
`void`	`outAGreaterequalIntCompOp(AGreaterequalIntCompOp node)`
`void`	`outAGreaterIntCompOp(AGreaterIntCompOp node)`
`void`	`outAIdenExprConst(AIdenExprConst node)`
`void`	`outAIffLogopBinary(AIffLogopBinary node)`
`void`	`outAIfInnerexpression(AIfInnerexpression node)`
`void`	`outAImpliesLogopBinary(AImpliesLogopBinary node)`
`void`	`outAInLogopRel(AInLogopRel node)`
`void`	`outAInterExprMultop(AInterExprMultop node)`
`void`	`outAIntexpression(AIntexpression node)`
`void`	`outAIntInnerformula(AIntInnerformula node)`
`void`	`outAIntsetExprCast(AIntsetExprCast node)`
`void`	`outAIntsType(AIntsType node)`
`void`	`outAJoinExprBinop(AJoinExprBinop node)`
`void`	`outALesserequalIntCompOp(ALesserequalIntCompOp node)`
`void`	`outALesserIntCompOp(ALesserIntCompOp node)`
`void`	`outAList(AList node)`
`void`	`outAListAction(AListAction node)`
`void`	`outALoneMultiplicity(ALoneMultiplicity node)`
`void`	`outAModIntexprBinop(AModIntexprBinop node)`
`void`	`outAMulIntexprBinop(AMulIntexprBinop node)`
`void`	`outAMultiInnerexpression(AMultiInnerexpression node)`
`void`	`outAMultInnerformula(AMultInnerformula node)`
`void`	`outANegReqtype(ANegReqtype node)`
`void`	`outANegZnumber(ANegZnumber node)`
`void`	`outANilDecls(ANilDecls node)`
`void`	`outANoMultiplicity(ANoMultiplicity node)`
`void`	`outANoneAction(ANoneAction node)`
`void`	`outANotInnerformula(ANotInnerformula node)`
`void`	`outAOneMultiplicity(AOneMultiplicity node)`
`void`	`outAOrLogopBinary(AOrLogopBinary node)`
`void`	`outAOverwriteExprBinop(AOverwriteExprBinop node)`
`void`	`outAPartialLogopFunction(APartialLogopFunction node)`
`void`	`outAPosReqtype(APosReqtype node)`
`void`	`outAPosZnumber(APosZnumber node)`
`void`	`outAPow2ExprCast(APow2ExprCast node)`
`void`	`outAPowpart(APowpart node)`
`void`	`outAPrjInnerexpression(APrjInnerexpression node)`
`void`	`outAProblem(AProblem node)`
`void`	`outAProblemAction(AProblemAction node)`
`void`	`outAProductExprMultop(AProductExprMultop node)`
`void`	`outAQuantInnerformula(AQuantInnerformula node)`
`void`	`outARelation(ARelation node)`
`void`	`outARelInnerformula(ARelInnerformula node)`
`void`	`outARelrefInnerexpression(ARelrefInnerexpression node)`
`void`	`outARequest(ARequest node)`
`void`	`outARequestAction(ARequestAction node)`
`void`	`outAReset(AReset node)`
`void`	`outAResetAction(AResetAction node)`
`void`	`outASetMultiplicity(ASetMultiplicity node)`
`void`	`outASomeMultiplicity(ASomeMultiplicity node)`
`void`	`outAStandardType(AStandardType node)`
`void`	`outAStop(AStop node)`
`void`	`outAStopAction(AStopAction node)`
`void`	`outASubIntexprBinop(ASubIntexprBinop node)`
`void`	`outASubsetReltype(ASubsetReltype node)`
`void`	`outATotalLogopFunction(ATotalLogopFunction node)`
`void`	`outATransposeExprUnop(ATransposeExprUnop node)`
`void`	`outATrueLogConst(ATrueLogConst node)`
`void`	`outATuple(ATuple node)`
`void`	`outATupleset(ATupleset node)`
`void`	`outATyperefRange(ATyperefRange node)`
`void`	`outAUnaryInnerexpression(AUnaryInnerexpression node)`
`void`	`outAUnionExprMultop(AUnionExprMultop node)`
`void`	`outAUnivExprConst(AUnivExprConst node)`
`void`	`outAVarrefInnerexpression(AVarrefInnerexpression node)`
`void`	`outStart(Start node)`

Methods inherited from class de.stups.probkodkod.parser.analysis.AnalysisAdapter
caseEOF, caseTAnglel, caseTAngler, caseTBlanks, caseTBracketl, caseTBracketr, caseTFullstop, caseTIdentifier, caseTKeywordAddition, caseTKeywordAll, caseTKeywordAnd, caseTKeywordCardinality, caseTKeywordClosure, caseTKeywordComprehension, caseTKeywordDiff, caseTKeywordDivision, caseTKeywordEmpty, caseTKeywordEquals, caseTKeywordExact, caseTKeywordExists, caseTKeywordExpr2int, caseTKeywordExt, caseTKeywordFalse, caseTKeywordGreater, caseTKeywordGreaterEqual, caseTKeywordIden, caseTKeywordIf, caseTKeywordIff, caseTKeywordImplies, caseTKeywordIn, caseTKeywordInt2intset, caseTKeywordInt2pow2, caseTKeywordIntersection, caseTKeywordInts, caseTKeywordJoin, caseTKeywordLesser, caseTKeywordLesserEqual, caseTKeywordList, caseTKeywordLone, caseTKeywordModulo, caseTKeywordMultiplication, caseTKeywordNegative, caseTKeywordNo, caseTKeywordNot, caseTKeywordOne, caseTKeywordOr, caseTKeywordOverwrite, caseTKeywordPartialFunction, caseTKeywordPositive, caseTKeywordProblem, caseTKeywordProduct, caseTKeywordProjection, caseTKeywordRanges, caseTKeywordRelref, caseTKeywordRequest, caseTKeywordReset, caseTKeywordSet, caseTKeywordSingleton, caseTKeywordSome, caseTKeywordStop, caseTKeywordSubset, caseTKeywordSubtraction, caseTKeywordTotalFunction, caseTKeywordTranspose, caseTKeywordTrue, caseTKeywordUnion, caseTKeywordUniv, caseTKeywordVarref, caseTMinus, caseTNumber, caseTParenl, caseTParenr, 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
- ReversedDepthFirstAdapter
```
public ReversedDepthFirstAdapter()
```

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

inAProblemAction

public void inAProblemAction(AProblemAction node)

outAProblemAction

public void outAProblemAction(AProblemAction node)

caseAProblemAction
```
public void caseAProblemAction(AProblemAction node)
```
Specified by:

caseAProblemAction in interface Analysis

Overrides:

caseAProblemAction in class AnalysisAdapter

inARequestAction

public void inARequestAction(ARequestAction node)

outARequestAction

public void outARequestAction(ARequestAction node)

caseARequestAction
```
public void caseARequestAction(ARequestAction node)
```
Specified by:

caseARequestAction in interface Analysis

Overrides:

caseARequestAction in class AnalysisAdapter

inAListAction

public void inAListAction(AListAction node)

outAListAction

public void outAListAction(AListAction node)

caseAListAction
```
public void caseAListAction(AListAction node)
```
Specified by:

caseAListAction in interface Analysis

Overrides:

caseAListAction in class AnalysisAdapter

inAStopAction

public void inAStopAction(AStopAction node)

outAStopAction

public void outAStopAction(AStopAction node)

caseAStopAction
```
public void caseAStopAction(AStopAction node)
```
Specified by:

caseAStopAction in interface Analysis

Overrides:

caseAStopAction in class AnalysisAdapter

inAResetAction

public void inAResetAction(AResetAction node)

outAResetAction

public void outAResetAction(AResetAction node)

caseAResetAction
```
public void caseAResetAction(AResetAction node)
```
Specified by:

caseAResetAction in interface Analysis

Overrides:

caseAResetAction in class AnalysisAdapter

inANoneAction

public void inANoneAction(ANoneAction node)

outANoneAction

public void outANoneAction(ANoneAction node)

caseANoneAction
```
public void caseANoneAction(ANoneAction node)
```
Specified by:

caseANoneAction in interface Analysis

Overrides:

caseANoneAction in class AnalysisAdapter

inAProblem

public void inAProblem(AProblem node)

outAProblem

public void outAProblem(AProblem node)

caseAProblem
```
public void caseAProblem(AProblem node)
```
Specified by:

caseAProblem in interface Analysis

Overrides:

caseAProblem in class AnalysisAdapter

inAPosZnumber

public void inAPosZnumber(APosZnumber node)

outAPosZnumber

public void outAPosZnumber(APosZnumber node)

caseAPosZnumber
```
public void caseAPosZnumber(APosZnumber node)
```
Specified by:

caseAPosZnumber in interface Analysis

Overrides:

caseAPosZnumber in class AnalysisAdapter

inANegZnumber

public void inANegZnumber(ANegZnumber node)

outANegZnumber

public void outANegZnumber(ANegZnumber node)

caseANegZnumber
```
public void caseANegZnumber(ANegZnumber node)
```
Specified by:

caseANegZnumber in interface Analysis

Overrides:

caseANegZnumber in class AnalysisAdapter

inAStandardType

public void inAStandardType(AStandardType node)

outAStandardType

public void outAStandardType(AStandardType node)

caseAStandardType
```
public void caseAStandardType(AStandardType node)
```
Specified by:

caseAStandardType in interface Analysis

Overrides:

caseAStandardType in class AnalysisAdapter

inAIntsType

public void inAIntsType(AIntsType node)

outAIntsType

public void outAIntsType(AIntsType node)

caseAIntsType
```
public void caseAIntsType(AIntsType node)
```
Specified by:

caseAIntsType in interface Analysis

Overrides:

caseAIntsType in class AnalysisAdapter

inAPowpart

public void inAPowpart(APowpart node)

outAPowpart

public void outAPowpart(APowpart node)

caseAPowpart
```
public void caseAPowpart(APowpart node)
```
Specified by:

caseAPowpart in interface Analysis

Overrides:

caseAPowpart in class AnalysisAdapter

inABitpart

public void inABitpart(ABitpart node)

outABitpart

public void outABitpart(ABitpart node)

caseABitpart
```
public void caseABitpart(ABitpart node)
```
Specified by:

caseABitpart in interface Analysis

Overrides:

caseABitpart in class AnalysisAdapter

inARelation

public void inARelation(ARelation node)

outARelation

public void outARelation(ARelation node)

caseARelation
```
public void caseARelation(ARelation node)
```
Specified by:

caseARelation in interface Analysis

Overrides:

caseARelation in class AnalysisAdapter

inAExactReltype

public void inAExactReltype(AExactReltype node)

outAExactReltype

public void outAExactReltype(AExactReltype node)

caseAExactReltype
```
public void caseAExactReltype(AExactReltype node)
```
Specified by:

caseAExactReltype in interface Analysis

Overrides:

caseAExactReltype in class AnalysisAdapter

inASubsetReltype

public void inASubsetReltype(ASubsetReltype node)

outASubsetReltype

public void outASubsetReltype(ASubsetReltype node)

caseASubsetReltype
```
public void caseASubsetReltype(ASubsetReltype node)
```
Specified by:

caseASubsetReltype in interface Analysis

Overrides:

caseASubsetReltype in class AnalysisAdapter

inATupleset

public void inATupleset(ATupleset node)

outATupleset

public void outATupleset(ATupleset node)

caseATupleset
```
public void caseATupleset(ATupleset node)
```
Specified by:

caseATupleset in interface Analysis

Overrides:

caseATupleset in class AnalysisAdapter

inATuple
```
public void inATuple(ATuple node)
```

outATuple
```
public void outATuple(ATuple node)
```

caseATuple
```
public void caseATuple(ATuple node)
```
Specified by:

caseATuple in interface Analysis

Overrides:

caseATuple in class AnalysisAdapter

inATyperefRange

public void inATyperefRange(ATyperefRange node)

outATyperefRange

public void outATyperefRange(ATyperefRange node)

caseATyperefRange
```
public void caseATyperefRange(ATyperefRange node)
```
Specified by:

caseATyperefRange in interface Analysis

Overrides:

caseATyperefRange in class AnalysisAdapter

inADefaultRange

public void inADefaultRange(ADefaultRange node)

outADefaultRange

public void outADefaultRange(ADefaultRange node)

caseADefaultRange
```
public void caseADefaultRange(ADefaultRange node)
```
Specified by:

caseADefaultRange in interface Analysis

Overrides:

caseADefaultRange in class AnalysisAdapter

inAFormula

public void inAFormula(AFormula node)

outAFormula

public void outAFormula(AFormula node)

caseAFormula
```
public void caseAFormula(AFormula node)
```
Specified by:

caseAFormula in interface Analysis

Overrides:

caseAFormula in class AnalysisAdapter

inAConstInnerformula

public void inAConstInnerformula(AConstInnerformula node)

outAConstInnerformula

public void outAConstInnerformula(AConstInnerformula node)

caseAConstInnerformula
```
public void caseAConstInnerformula(AConstInnerformula node)
```
Specified by:

caseAConstInnerformula in interface Analysis

Overrides:

caseAConstInnerformula in class AnalysisAdapter

inAMultInnerformula

public void inAMultInnerformula(AMultInnerformula node)

outAMultInnerformula

public void outAMultInnerformula(AMultInnerformula node)

caseAMultInnerformula
```
public void caseAMultInnerformula(AMultInnerformula node)
```
Specified by:

caseAMultInnerformula in interface Analysis

Overrides:

caseAMultInnerformula in class AnalysisAdapter

inARelInnerformula

public void inARelInnerformula(ARelInnerformula node)

outARelInnerformula

public void outARelInnerformula(ARelInnerformula node)

caseARelInnerformula
```
public void caseARelInnerformula(ARelInnerformula node)
```
Specified by:

caseARelInnerformula in interface Analysis

Overrides:

caseARelInnerformula in class AnalysisAdapter

inANotInnerformula

public void inANotInnerformula(ANotInnerformula node)

outANotInnerformula

public void outANotInnerformula(ANotInnerformula node)

caseANotInnerformula
```
public void caseANotInnerformula(ANotInnerformula node)
```
Specified by:

caseANotInnerformula in interface Analysis

Overrides:

caseANotInnerformula in class AnalysisAdapter

inAAndInnerformula

public void inAAndInnerformula(AAndInnerformula node)

outAAndInnerformula

public void outAAndInnerformula(AAndInnerformula node)

caseAAndInnerformula
```
public void caseAAndInnerformula(AAndInnerformula node)
```
Specified by:

caseAAndInnerformula in interface Analysis

Overrides:

caseAAndInnerformula in class AnalysisAdapter

inABinaryInnerformula

public void inABinaryInnerformula(ABinaryInnerformula node)

outABinaryInnerformula

public void outABinaryInnerformula(ABinaryInnerformula node)

caseABinaryInnerformula
```
public void caseABinaryInnerformula(ABinaryInnerformula node)
```
Specified by:

caseABinaryInnerformula in interface Analysis

Overrides:

caseABinaryInnerformula in class AnalysisAdapter

inAQuantInnerformula

public void inAQuantInnerformula(AQuantInnerformula node)

outAQuantInnerformula

public void outAQuantInnerformula(AQuantInnerformula node)

caseAQuantInnerformula
```
public void caseAQuantInnerformula(AQuantInnerformula node)
```
Specified by:

caseAQuantInnerformula in interface Analysis

Overrides:

caseAQuantInnerformula in class AnalysisAdapter

inAIntInnerformula

public void inAIntInnerformula(AIntInnerformula node)

outAIntInnerformula

public void outAIntInnerformula(AIntInnerformula node)

caseAIntInnerformula
```
public void caseAIntInnerformula(AIntInnerformula node)
```
Specified by:

caseAIntInnerformula in interface Analysis

Overrides:

caseAIntInnerformula in class AnalysisAdapter

inAFuncInnerformula

public void inAFuncInnerformula(AFuncInnerformula node)

outAFuncInnerformula

public void outAFuncInnerformula(AFuncInnerformula node)

caseAFuncInnerformula
```
public void caseAFuncInnerformula(AFuncInnerformula node)
```
Specified by:

caseAFuncInnerformula in interface Analysis

Overrides:

caseAFuncInnerformula in class AnalysisAdapter

inATrueLogConst

public void inATrueLogConst(ATrueLogConst node)

outATrueLogConst

public void outATrueLogConst(ATrueLogConst node)

caseATrueLogConst
```
public void caseATrueLogConst(ATrueLogConst node)
```
Specified by:

caseATrueLogConst in interface Analysis

Overrides:

caseATrueLogConst in class AnalysisAdapter

inAFalseLogConst

public void inAFalseLogConst(AFalseLogConst node)

outAFalseLogConst

public void outAFalseLogConst(AFalseLogConst node)

caseAFalseLogConst
```
public void caseAFalseLogConst(AFalseLogConst node)
```
Specified by:

caseAFalseLogConst in interface Analysis

Overrides:

caseAFalseLogConst in class AnalysisAdapter

inAInLogopRel

public void inAInLogopRel(AInLogopRel node)

outAInLogopRel

public void outAInLogopRel(AInLogopRel node)

caseAInLogopRel
```
public void caseAInLogopRel(AInLogopRel node)
```
Specified by:

caseAInLogopRel in interface Analysis

Overrides:

caseAInLogopRel in class AnalysisAdapter

inAEqualsLogopRel

public void inAEqualsLogopRel(AEqualsLogopRel node)

outAEqualsLogopRel

public void outAEqualsLogopRel(AEqualsLogopRel node)

caseAEqualsLogopRel
```
public void caseAEqualsLogopRel(AEqualsLogopRel node)
```
Specified by:

caseAEqualsLogopRel in interface Analysis

Overrides:

caseAEqualsLogopRel in class AnalysisAdapter

inATotalLogopFunction

public void inATotalLogopFunction(ATotalLogopFunction node)

outATotalLogopFunction

public void outATotalLogopFunction(ATotalLogopFunction node)

caseATotalLogopFunction
```
public void caseATotalLogopFunction(ATotalLogopFunction node)
```
Specified by:

caseATotalLogopFunction in interface Analysis

Overrides:

caseATotalLogopFunction in class AnalysisAdapter

inAPartialLogopFunction

public void inAPartialLogopFunction(APartialLogopFunction node)

outAPartialLogopFunction

public void outAPartialLogopFunction(APartialLogopFunction node)

caseAPartialLogopFunction
```
public void caseAPartialLogopFunction(APartialLogopFunction node)
```
Specified by:

caseAPartialLogopFunction in interface Analysis

Overrides:

caseAPartialLogopFunction in class AnalysisAdapter

inAOrLogopBinary

public void inAOrLogopBinary(AOrLogopBinary node)

outAOrLogopBinary

public void outAOrLogopBinary(AOrLogopBinary node)

caseAOrLogopBinary
```
public void caseAOrLogopBinary(AOrLogopBinary node)
```
Specified by:

caseAOrLogopBinary in interface Analysis

Overrides:

caseAOrLogopBinary in class AnalysisAdapter

inAImpliesLogopBinary

public void inAImpliesLogopBinary(AImpliesLogopBinary node)

outAImpliesLogopBinary

public void outAImpliesLogopBinary(AImpliesLogopBinary node)

caseAImpliesLogopBinary
```
public void caseAImpliesLogopBinary(AImpliesLogopBinary node)
```
Specified by:

caseAImpliesLogopBinary in interface Analysis

Overrides:

caseAImpliesLogopBinary in class AnalysisAdapter

inAIffLogopBinary

public void inAIffLogopBinary(AIffLogopBinary node)

outAIffLogopBinary

public void outAIffLogopBinary(AIffLogopBinary node)

caseAIffLogopBinary
```
public void caseAIffLogopBinary(AIffLogopBinary node)
```
Specified by:

caseAIffLogopBinary in interface Analysis

Overrides:

caseAIffLogopBinary in class AnalysisAdapter

inAAllQuantifier

public void inAAllQuantifier(AAllQuantifier node)

outAAllQuantifier

public void outAAllQuantifier(AAllQuantifier node)

caseAAllQuantifier
```
public void caseAAllQuantifier(AAllQuantifier node)
```
Specified by:

caseAAllQuantifier in interface Analysis

Overrides:

caseAAllQuantifier in class AnalysisAdapter

inAExistsQuantifier

public void inAExistsQuantifier(AExistsQuantifier node)

outAExistsQuantifier

public void outAExistsQuantifier(AExistsQuantifier node)

caseAExistsQuantifier
```
public void caseAExistsQuantifier(AExistsQuantifier node)
```
Specified by:

caseAExistsQuantifier in interface Analysis

Overrides:

caseAExistsQuantifier in class AnalysisAdapter

inANilDecls

public void inANilDecls(ANilDecls node)

outANilDecls

public void outANilDecls(ANilDecls node)

caseANilDecls
```
public void caseANilDecls(ANilDecls node)
```
Specified by:

caseANilDecls in interface Analysis

Overrides:

caseANilDecls in class AnalysisAdapter

inAConsDecls

public void inAConsDecls(AConsDecls node)

outAConsDecls

public void outAConsDecls(AConsDecls node)

caseAConsDecls
```
public void caseAConsDecls(AConsDecls node)
```
Specified by:

caseAConsDecls in interface Analysis

Overrides:

caseAConsDecls in class AnalysisAdapter

inAOneMultiplicity

public void inAOneMultiplicity(AOneMultiplicity node)

outAOneMultiplicity

public void outAOneMultiplicity(AOneMultiplicity node)

caseAOneMultiplicity
```
public void caseAOneMultiplicity(AOneMultiplicity node)
```
Specified by:

caseAOneMultiplicity in interface Analysis

Overrides:

caseAOneMultiplicity in class AnalysisAdapter

inASomeMultiplicity

public void inASomeMultiplicity(ASomeMultiplicity node)

outASomeMultiplicity

public void outASomeMultiplicity(ASomeMultiplicity node)

caseASomeMultiplicity
```
public void caseASomeMultiplicity(ASomeMultiplicity node)
```
Specified by:

caseASomeMultiplicity in interface Analysis

Overrides:

caseASomeMultiplicity in class AnalysisAdapter

inANoMultiplicity

public void inANoMultiplicity(ANoMultiplicity node)

outANoMultiplicity

public void outANoMultiplicity(ANoMultiplicity node)

caseANoMultiplicity
```
public void caseANoMultiplicity(ANoMultiplicity node)
```
Specified by:

caseANoMultiplicity in interface Analysis

Overrides:

caseANoMultiplicity in class AnalysisAdapter

inALoneMultiplicity

public void inALoneMultiplicity(ALoneMultiplicity node)

outALoneMultiplicity

public void outALoneMultiplicity(ALoneMultiplicity node)

caseALoneMultiplicity
```
public void caseALoneMultiplicity(ALoneMultiplicity node)
```
Specified by:

caseALoneMultiplicity in interface Analysis

Overrides:

caseALoneMultiplicity in class AnalysisAdapter

inASetMultiplicity

public void inASetMultiplicity(ASetMultiplicity node)

outASetMultiplicity

public void outASetMultiplicity(ASetMultiplicity node)

caseASetMultiplicity
```
public void caseASetMultiplicity(ASetMultiplicity node)
```
Specified by:

caseASetMultiplicity in interface Analysis

Overrides:

caseASetMultiplicity in class AnalysisAdapter

inAEqualsIntCompOp

public void inAEqualsIntCompOp(AEqualsIntCompOp node)

outAEqualsIntCompOp

public void outAEqualsIntCompOp(AEqualsIntCompOp node)

caseAEqualsIntCompOp
```
public void caseAEqualsIntCompOp(AEqualsIntCompOp node)
```
Specified by:

caseAEqualsIntCompOp in interface Analysis

Overrides:

caseAEqualsIntCompOp in class AnalysisAdapter

inAGreaterIntCompOp

public void inAGreaterIntCompOp(AGreaterIntCompOp node)

outAGreaterIntCompOp

public void outAGreaterIntCompOp(AGreaterIntCompOp node)

caseAGreaterIntCompOp
```
public void caseAGreaterIntCompOp(AGreaterIntCompOp node)
```
Specified by:

caseAGreaterIntCompOp in interface Analysis

Overrides:

caseAGreaterIntCompOp in class AnalysisAdapter

inAGreaterequalIntCompOp

public void inAGreaterequalIntCompOp(AGreaterequalIntCompOp node)

outAGreaterequalIntCompOp

public void outAGreaterequalIntCompOp(AGreaterequalIntCompOp node)

caseAGreaterequalIntCompOp
```
public void caseAGreaterequalIntCompOp(AGreaterequalIntCompOp node)
```
Specified by:

caseAGreaterequalIntCompOp in interface Analysis

Overrides:

caseAGreaterequalIntCompOp in class AnalysisAdapter

inALesserIntCompOp

public void inALesserIntCompOp(ALesserIntCompOp node)

outALesserIntCompOp

public void outALesserIntCompOp(ALesserIntCompOp node)

caseALesserIntCompOp
```
public void caseALesserIntCompOp(ALesserIntCompOp node)
```
Specified by:

caseALesserIntCompOp in interface Analysis

Overrides:

caseALesserIntCompOp in class AnalysisAdapter

inALesserequalIntCompOp

public void inALesserequalIntCompOp(ALesserequalIntCompOp node)

outALesserequalIntCompOp

public void outALesserequalIntCompOp(ALesserequalIntCompOp node)

caseALesserequalIntCompOp
```
public void caseALesserequalIntCompOp(ALesserequalIntCompOp node)
```
Specified by:

caseALesserequalIntCompOp in interface Analysis

Overrides:

caseALesserequalIntCompOp in class AnalysisAdapter

inAExpression

public void inAExpression(AExpression node)

outAExpression

public void outAExpression(AExpression node)

caseAExpression
```
public void caseAExpression(AExpression node)
```
Specified by:

caseAExpression in interface Analysis

Overrides:

caseAExpression in class AnalysisAdapter

inAConstInnerexpression

public void inAConstInnerexpression(AConstInnerexpression node)

outAConstInnerexpression

public void outAConstInnerexpression(AConstInnerexpression node)

caseAConstInnerexpression
```
public void caseAConstInnerexpression(AConstInnerexpression node)
```
Specified by:

caseAConstInnerexpression in interface Analysis

Overrides:

caseAConstInnerexpression in class AnalysisAdapter

inAUnaryInnerexpression

public void inAUnaryInnerexpression(AUnaryInnerexpression node)

outAUnaryInnerexpression

public void outAUnaryInnerexpression(AUnaryInnerexpression node)

caseAUnaryInnerexpression
```
public void caseAUnaryInnerexpression(AUnaryInnerexpression node)
```
Specified by:

caseAUnaryInnerexpression in interface Analysis

Overrides:

caseAUnaryInnerexpression in class AnalysisAdapter

inAMultiInnerexpression

public void inAMultiInnerexpression(AMultiInnerexpression node)

outAMultiInnerexpression

public void outAMultiInnerexpression(AMultiInnerexpression node)

caseAMultiInnerexpression
```
public void caseAMultiInnerexpression(AMultiInnerexpression node)
```
Specified by:

caseAMultiInnerexpression in interface Analysis

Overrides:

caseAMultiInnerexpression in class AnalysisAdapter

inABinaryInnerexpression

public void inABinaryInnerexpression(ABinaryInnerexpression node)

outABinaryInnerexpression

public void outABinaryInnerexpression(ABinaryInnerexpression node)

caseABinaryInnerexpression
```
public void caseABinaryInnerexpression(ABinaryInnerexpression node)
```
Specified by:

caseABinaryInnerexpression in interface Analysis

Overrides:

caseABinaryInnerexpression in class AnalysisAdapter

inARelrefInnerexpression

public void inARelrefInnerexpression(ARelrefInnerexpression node)

outARelrefInnerexpression

public void outARelrefInnerexpression(ARelrefInnerexpression node)

caseARelrefInnerexpression
```
public void caseARelrefInnerexpression(ARelrefInnerexpression node)
```
Specified by:

caseARelrefInnerexpression in interface Analysis

Overrides:

caseARelrefInnerexpression in class AnalysisAdapter

inAVarrefInnerexpression

public void inAVarrefInnerexpression(AVarrefInnerexpression node)

outAVarrefInnerexpression

public void outAVarrefInnerexpression(AVarrefInnerexpression node)

caseAVarrefInnerexpression
```
public void caseAVarrefInnerexpression(AVarrefInnerexpression node)
```
Specified by:

caseAVarrefInnerexpression in interface Analysis

Overrides:

caseAVarrefInnerexpression in class AnalysisAdapter

inACompInnerexpression

public void inACompInnerexpression(ACompInnerexpression node)

outACompInnerexpression

public void outACompInnerexpression(ACompInnerexpression node)

caseACompInnerexpression
```
public void caseACompInnerexpression(ACompInnerexpression node)
```
Specified by:

caseACompInnerexpression in interface Analysis

Overrides:

caseACompInnerexpression in class AnalysisAdapter

inAPrjInnerexpression

public void inAPrjInnerexpression(APrjInnerexpression node)

outAPrjInnerexpression

public void outAPrjInnerexpression(APrjInnerexpression node)

caseAPrjInnerexpression
```
public void caseAPrjInnerexpression(APrjInnerexpression node)
```
Specified by:

caseAPrjInnerexpression in interface Analysis

Overrides:

caseAPrjInnerexpression in class AnalysisAdapter

inACastInnerexpression

public void inACastInnerexpression(ACastInnerexpression node)

outACastInnerexpression

public void outACastInnerexpression(ACastInnerexpression node)

caseACastInnerexpression
```
public void caseACastInnerexpression(ACastInnerexpression node)
```
Specified by:

caseACastInnerexpression in interface Analysis

Overrides:

caseACastInnerexpression in class AnalysisAdapter

inAIfInnerexpression

public void inAIfInnerexpression(AIfInnerexpression node)

outAIfInnerexpression

public void outAIfInnerexpression(AIfInnerexpression node)

caseAIfInnerexpression
```
public void caseAIfInnerexpression(AIfInnerexpression node)
```
Specified by:

caseAIfInnerexpression in interface Analysis

Overrides:

caseAIfInnerexpression in class AnalysisAdapter

inAPow2ExprCast

public void inAPow2ExprCast(APow2ExprCast node)

outAPow2ExprCast

public void outAPow2ExprCast(APow2ExprCast node)

caseAPow2ExprCast
```
public void caseAPow2ExprCast(APow2ExprCast node)
```
Specified by:

caseAPow2ExprCast in interface Analysis

Overrides:

caseAPow2ExprCast in class AnalysisAdapter

inAIntsetExprCast

public void inAIntsetExprCast(AIntsetExprCast node)

outAIntsetExprCast

public void outAIntsetExprCast(AIntsetExprCast node)

caseAIntsetExprCast
```
public void caseAIntsetExprCast(AIntsetExprCast node)
```
Specified by:

caseAIntsetExprCast in interface Analysis

Overrides:

caseAIntsetExprCast in class AnalysisAdapter

inAEmptyExprConst

public void inAEmptyExprConst(AEmptyExprConst node)

outAEmptyExprConst

public void outAEmptyExprConst(AEmptyExprConst node)

caseAEmptyExprConst
```
public void caseAEmptyExprConst(AEmptyExprConst node)
```
Specified by:

caseAEmptyExprConst in interface Analysis

Overrides:

caseAEmptyExprConst in class AnalysisAdapter

inAIdenExprConst

public void inAIdenExprConst(AIdenExprConst node)

outAIdenExprConst

public void outAIdenExprConst(AIdenExprConst node)

caseAIdenExprConst
```
public void caseAIdenExprConst(AIdenExprConst node)
```
Specified by:

caseAIdenExprConst in interface Analysis

Overrides:

caseAIdenExprConst in class AnalysisAdapter

inAUnivExprConst

public void inAUnivExprConst(AUnivExprConst node)

outAUnivExprConst

public void outAUnivExprConst(AUnivExprConst node)

caseAUnivExprConst
```
public void caseAUnivExprConst(AUnivExprConst node)
```
Specified by:

caseAUnivExprConst in interface Analysis

Overrides:

caseAUnivExprConst in class AnalysisAdapter

inAUnionExprMultop

public void inAUnionExprMultop(AUnionExprMultop node)

outAUnionExprMultop

public void outAUnionExprMultop(AUnionExprMultop node)

caseAUnionExprMultop
```
public void caseAUnionExprMultop(AUnionExprMultop node)
```
Specified by:

caseAUnionExprMultop in interface Analysis

Overrides:

caseAUnionExprMultop in class AnalysisAdapter

inAInterExprMultop

public void inAInterExprMultop(AInterExprMultop node)

outAInterExprMultop

public void outAInterExprMultop(AInterExprMultop node)

caseAInterExprMultop
```
public void caseAInterExprMultop(AInterExprMultop node)
```
Specified by:

caseAInterExprMultop in interface Analysis

Overrides:

caseAInterExprMultop in class AnalysisAdapter

inAProductExprMultop

public void inAProductExprMultop(AProductExprMultop node)

outAProductExprMultop

public void outAProductExprMultop(AProductExprMultop node)

caseAProductExprMultop
```
public void caseAProductExprMultop(AProductExprMultop node)
```
Specified by:

caseAProductExprMultop in interface Analysis

Overrides:

caseAProductExprMultop in class AnalysisAdapter

inADiffExprBinop

public void inADiffExprBinop(ADiffExprBinop node)

outADiffExprBinop

public void outADiffExprBinop(ADiffExprBinop node)

caseADiffExprBinop
```
public void caseADiffExprBinop(ADiffExprBinop node)
```
Specified by:

caseADiffExprBinop in interface Analysis

Overrides:

caseADiffExprBinop in class AnalysisAdapter

inAJoinExprBinop

public void inAJoinExprBinop(AJoinExprBinop node)

outAJoinExprBinop

public void outAJoinExprBinop(AJoinExprBinop node)

caseAJoinExprBinop
```
public void caseAJoinExprBinop(AJoinExprBinop node)
```
Specified by:

caseAJoinExprBinop in interface Analysis

Overrides:

caseAJoinExprBinop in class AnalysisAdapter

inAOverwriteExprBinop

public void inAOverwriteExprBinop(AOverwriteExprBinop node)

outAOverwriteExprBinop

public void outAOverwriteExprBinop(AOverwriteExprBinop node)

caseAOverwriteExprBinop
```
public void caseAOverwriteExprBinop(AOverwriteExprBinop node)
```
Specified by:

caseAOverwriteExprBinop in interface Analysis

Overrides:

caseAOverwriteExprBinop in class AnalysisAdapter

inATransposeExprUnop

public void inATransposeExprUnop(ATransposeExprUnop node)

outATransposeExprUnop

public void outATransposeExprUnop(ATransposeExprUnop node)

caseATransposeExprUnop
```
public void caseATransposeExprUnop(ATransposeExprUnop node)
```
Specified by:

caseATransposeExprUnop in interface Analysis

Overrides:

caseATransposeExprUnop in class AnalysisAdapter

inAClosureExprUnop

public void inAClosureExprUnop(AClosureExprUnop node)

outAClosureExprUnop

public void outAClosureExprUnop(AClosureExprUnop node)

caseAClosureExprUnop
```
public void caseAClosureExprUnop(AClosureExprUnop node)
```
Specified by:

caseAClosureExprUnop in interface Analysis

Overrides:

caseAClosureExprUnop in class AnalysisAdapter

inAIntexpression

public void inAIntexpression(AIntexpression node)

outAIntexpression

public void outAIntexpression(AIntexpression node)

caseAIntexpression
```
public void caseAIntexpression(AIntexpression node)
```
Specified by:

caseAIntexpression in interface Analysis

Overrides:

caseAIntexpression in class AnalysisAdapter

inAConstInnerintexpression

public void inAConstInnerintexpression(AConstInnerintexpression node)

outAConstInnerintexpression

public void outAConstInnerintexpression(AConstInnerintexpression node)

caseAConstInnerintexpression
```
public void caseAConstInnerintexpression(AConstInnerintexpression node)
```
Specified by:

caseAConstInnerintexpression in interface Analysis

Overrides:

caseAConstInnerintexpression in class AnalysisAdapter

inACardInnerintexpression

public void inACardInnerintexpression(ACardInnerintexpression node)

outACardInnerintexpression

public void outACardInnerintexpression(ACardInnerintexpression node)

caseACardInnerintexpression
```
public void caseACardInnerintexpression(ACardInnerintexpression node)
```
Specified by:

caseACardInnerintexpression in interface Analysis

Overrides:

caseACardInnerintexpression in class AnalysisAdapter

inABinaryInnerintexpression

public void inABinaryInnerintexpression(ABinaryInnerintexpression node)

outABinaryInnerintexpression

public void outABinaryInnerintexpression(ABinaryInnerintexpression node)

caseABinaryInnerintexpression
```
public void caseABinaryInnerintexpression(ABinaryInnerintexpression node)
```
Specified by:

caseABinaryInnerintexpression in interface Analysis

Overrides:

caseABinaryInnerintexpression in class AnalysisAdapter

inACastInnerintexpression

public void inACastInnerintexpression(ACastInnerintexpression node)

outACastInnerintexpression

public void outACastInnerintexpression(ACastInnerintexpression node)

caseACastInnerintexpression
```
public void caseACastInnerintexpression(ACastInnerintexpression node)
```
Specified by:

caseACastInnerintexpression in interface Analysis

Overrides:

caseACastInnerintexpression in class AnalysisAdapter

inAAddIntexprBinop

public void inAAddIntexprBinop(AAddIntexprBinop node)

outAAddIntexprBinop

public void outAAddIntexprBinop(AAddIntexprBinop node)

caseAAddIntexprBinop
```
public void caseAAddIntexprBinop(AAddIntexprBinop node)
```
Specified by:

caseAAddIntexprBinop in interface Analysis

Overrides:

caseAAddIntexprBinop in class AnalysisAdapter

inASubIntexprBinop

public void inASubIntexprBinop(ASubIntexprBinop node)

outASubIntexprBinop

public void outASubIntexprBinop(ASubIntexprBinop node)

caseASubIntexprBinop
```
public void caseASubIntexprBinop(ASubIntexprBinop node)
```
Specified by:

caseASubIntexprBinop in interface Analysis

Overrides:

caseASubIntexprBinop in class AnalysisAdapter

inAMulIntexprBinop

public void inAMulIntexprBinop(AMulIntexprBinop node)

outAMulIntexprBinop

public void outAMulIntexprBinop(AMulIntexprBinop node)

caseAMulIntexprBinop
```
public void caseAMulIntexprBinop(AMulIntexprBinop node)
```
Specified by:

caseAMulIntexprBinop in interface Analysis

Overrides:

caseAMulIntexprBinop in class AnalysisAdapter

inADivIntexprBinop

public void inADivIntexprBinop(ADivIntexprBinop node)

outADivIntexprBinop

public void outADivIntexprBinop(ADivIntexprBinop node)

caseADivIntexprBinop
```
public void caseADivIntexprBinop(ADivIntexprBinop node)
```
Specified by:

caseADivIntexprBinop in interface Analysis

Overrides:

caseADivIntexprBinop in class AnalysisAdapter

inAModIntexprBinop

public void inAModIntexprBinop(AModIntexprBinop node)

outAModIntexprBinop

public void outAModIntexprBinop(AModIntexprBinop node)

caseAModIntexprBinop
```
public void caseAModIntexprBinop(AModIntexprBinop node)
```
Specified by:

caseAModIntexprBinop in interface Analysis

Overrides:

caseAModIntexprBinop in class AnalysisAdapter

inARequest

public void inARequest(ARequest node)

outARequest

public void outARequest(ARequest node)

caseARequest
```
public void caseARequest(ARequest node)
```
Specified by:

caseARequest in interface Analysis

Overrides:

caseARequest in class AnalysisAdapter

inAArgument

public void inAArgument(AArgument node)

outAArgument

public void outAArgument(AArgument node)

caseAArgument
```
public void caseAArgument(AArgument node)
```
Specified by:

caseAArgument in interface Analysis

Overrides:

caseAArgument in class AnalysisAdapter

inAPosReqtype

public void inAPosReqtype(APosReqtype node)

outAPosReqtype

public void outAPosReqtype(APosReqtype node)

caseAPosReqtype
```
public void caseAPosReqtype(APosReqtype node)
```
Specified by:

caseAPosReqtype in interface Analysis

Overrides:

caseAPosReqtype in class AnalysisAdapter

inANegReqtype

public void inANegReqtype(ANegReqtype node)

outANegReqtype

public void outANegReqtype(ANegReqtype node)

caseANegReqtype
```
public void caseANegReqtype(ANegReqtype node)
```
Specified by:

caseANegReqtype in interface Analysis

Overrides:

caseANegReqtype in class AnalysisAdapter

inAList
```
public void inAList(AList node)
```

outAList
```
public void outAList(AList node)
```

caseAList
```
public void caseAList(AList node)
```
Specified by:

caseAList in interface Analysis

Overrides:

caseAList in class AnalysisAdapter

inAStop
```
public void inAStop(AStop node)
```

outAStop
```
public void outAStop(AStop node)
```

caseAStop
```
public void caseAStop(AStop node)
```
Specified by:

caseAStop in interface Analysis

Overrides:

caseAStop in class AnalysisAdapter

inAReset
```
public void inAReset(AReset node)
```

outAReset
```
public void outAReset(AReset node)
```

caseAReset
```
public void caseAReset(AReset node)
```
Specified by:

caseAReset in interface Analysis

Overrides:

caseAReset in class AnalysisAdapter

Class ReversedDepthFirstAdapter

Constructor Summary

Method Summary

Methods inherited from class de.stups.probkodkod.parser.analysis.AnalysisAdapter

Methods inherited from class java.lang.Object

Constructor Detail

ReversedDepthFirstAdapter

Method Detail

inStart

outStart

defaultIn

defaultOut

caseStart

inAProblemAction

outAProblemAction

caseAProblemAction

inARequestAction

outARequestAction

caseARequestAction

inAListAction

outAListAction

caseAListAction

inAStopAction

outAStopAction

caseAStopAction

inAResetAction

outAResetAction

caseAResetAction

inANoneAction

outANoneAction

caseANoneAction

inAProblem

outAProblem

caseAProblem

inAPosZnumber

outAPosZnumber

caseAPosZnumber

inANegZnumber

outANegZnumber

caseANegZnumber

inAStandardType

outAStandardType

caseAStandardType

inAIntsType

outAIntsType

caseAIntsType

inAPowpart

outAPowpart

caseAPowpart

inABitpart

outABitpart

caseABitpart

inARelation

outARelation

caseARelation

inAExactReltype

outAExactReltype

caseAExactReltype

inASubsetReltype

outASubsetReltype

caseASubsetReltype

inATupleset

outATupleset

caseATupleset

inATuple

outATuple

caseATuple

inATyperefRange

outATyperefRange

caseATyperefRange

inADefaultRange

outADefaultRange

caseADefaultRange

inAFormula

outAFormula

caseAFormula

inAConstInnerformula

outAConstInnerformula

caseAConstInnerformula

inAMultInnerformula