AnalysisAdapter (probkodkod 1.0.4 API)

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

All Implemented Interfaces:

Analysis, Switch

Direct Known Subclasses:

DepthFirstAdapter, ReversedDepthFirstAdapter
```
public class AnalysisAdapter
extends java.lang.Object
implements Analysis
```

Constructor Summary

Constructors
Constructor and Description

AnalysisAdapter()

Constructors
Constructor and Description
`AnalysisAdapter()`

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`	`caseEOF(EOF node)`
`void`	`caseStart(Start node)`
`void`	`caseTAnglel(TAnglel node)`
`void`	`caseTAngler(TAngler node)`
`void`	`caseTBlanks(TBlanks node)`
`void`	`caseTBracketl(TBracketl node)`
`void`	`caseTBracketr(TBracketr node)`
`void`	`caseTFullstop(TFullstop node)`
`void`	`caseTIdentifier(TIdentifier node)`
`void`	`caseTKeywordAddition(TKeywordAddition node)`
`void`	`caseTKeywordAll(TKeywordAll node)`
`void`	`caseTKeywordAnd(TKeywordAnd node)`
`void`	`caseTKeywordCardinality(TKeywordCardinality node)`
`void`	`caseTKeywordClosure(TKeywordClosure node)`
`void`	`caseTKeywordComprehension(TKeywordComprehension node)`
`void`	`caseTKeywordDiff(TKeywordDiff node)`
`void`	`caseTKeywordDivision(TKeywordDivision node)`
`void`	`caseTKeywordEmpty(TKeywordEmpty node)`
`void`	`caseTKeywordEquals(TKeywordEquals node)`
`void`	`caseTKeywordExact(TKeywordExact node)`
`void`	`caseTKeywordExists(TKeywordExists node)`
`void`	`caseTKeywordExpr2int(TKeywordExpr2int node)`
`void`	`caseTKeywordExt(TKeywordExt node)`
`void`	`caseTKeywordFalse(TKeywordFalse node)`
`void`	`caseTKeywordGreater(TKeywordGreater node)`
`void`	`caseTKeywordGreaterEqual(TKeywordGreaterEqual node)`
`void`	`caseTKeywordIden(TKeywordIden node)`
`void`	`caseTKeywordIf(TKeywordIf node)`
`void`	`caseTKeywordIff(TKeywordIff node)`
`void`	`caseTKeywordImplies(TKeywordImplies node)`
`void`	`caseTKeywordIn(TKeywordIn node)`
`void`	`caseTKeywordInt2intset(TKeywordInt2intset node)`
`void`	`caseTKeywordInt2pow2(TKeywordInt2pow2 node)`
`void`	`caseTKeywordIntersection(TKeywordIntersection node)`
`void`	`caseTKeywordInts(TKeywordInts node)`
`void`	`caseTKeywordJoin(TKeywordJoin node)`
`void`	`caseTKeywordLesser(TKeywordLesser node)`
`void`	`caseTKeywordLesserEqual(TKeywordLesserEqual node)`
`void`	`caseTKeywordList(TKeywordList node)`
`void`	`caseTKeywordLone(TKeywordLone node)`
`void`	`caseTKeywordModulo(TKeywordModulo node)`
`void`	`caseTKeywordMultiplication(TKeywordMultiplication node)`
`void`	`caseTKeywordNegative(TKeywordNegative node)`
`void`	`caseTKeywordNo(TKeywordNo node)`
`void`	`caseTKeywordNot(TKeywordNot node)`
`void`	`caseTKeywordOne(TKeywordOne node)`
`void`	`caseTKeywordOr(TKeywordOr node)`
`void`	`caseTKeywordOverwrite(TKeywordOverwrite node)`
`void`	`caseTKeywordPartialFunction(TKeywordPartialFunction node)`
`void`	`caseTKeywordPositive(TKeywordPositive node)`
`void`	`caseTKeywordProblem(TKeywordProblem node)`
`void`	`caseTKeywordProduct(TKeywordProduct node)`
`void`	`caseTKeywordProjection(TKeywordProjection node)`
`void`	`caseTKeywordRanges(TKeywordRanges node)`
`void`	`caseTKeywordRelref(TKeywordRelref node)`
`void`	`caseTKeywordRequest(TKeywordRequest node)`
`void`	`caseTKeywordReset(TKeywordReset node)`
`void`	`caseTKeywordSet(TKeywordSet node)`
`void`	`caseTKeywordSingleton(TKeywordSingleton node)`
`void`	`caseTKeywordSome(TKeywordSome node)`
`void`	`caseTKeywordStop(TKeywordStop node)`
`void`	`caseTKeywordSubset(TKeywordSubset node)`
`void`	`caseTKeywordSubtraction(TKeywordSubtraction node)`
`void`	`caseTKeywordTotalFunction(TKeywordTotalFunction node)`
`void`	`caseTKeywordTranspose(TKeywordTranspose node)`
`void`	`caseTKeywordTrue(TKeywordTrue node)`
`void`	`caseTKeywordUnion(TKeywordUnion node)`
`void`	`caseTKeywordUniv(TKeywordUniv node)`
`void`	`caseTKeywordVarref(TKeywordVarref node)`
`void`	`caseTMinus(TMinus node)`
`void`	`caseTNumber(TNumber node)`
`void`	`caseTParenl(TParenl node)`
`void`	`caseTParenr(TParenr node)`
`void`	`defaultCase(Node node)`
`java.lang.Object`	`getIn(Node node)`
`java.lang.Object`	`getOut(Node node)`
`void`	`setIn(Node node, java.lang.Object o)`
`void`	`setOut(Node node, java.lang.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 java.lang.Object getIn(Node node)
```
    Specified by:
    
    getIn in interface Analysis
  - setIn
```
public void setIn(Node node,
         java.lang.Object o)
```
    Specified by:
    
    setIn in interface Analysis
  - getOut
```
public java.lang.Object getOut(Node node)
```
    Specified by:
    
    getOut in interface Analysis
  - setOut
```
public void setOut(Node node,
          java.lang.Object o)
```
    Specified by:
    
    setOut in interface Analysis
  - caseStart
```
public void caseStart(Start node)
```
    Specified by:
    
    caseStart in interface Analysis
  - caseAProblemAction
```
public void caseAProblemAction(AProblemAction node)
```
    Specified by:
    
    caseAProblemAction in interface Analysis
  - caseARequestAction
```
public void caseARequestAction(ARequestAction node)
```
    Specified by:
    
    caseARequestAction in interface Analysis
  - caseAListAction
```
public void caseAListAction(AListAction node)
```
    Specified by:
    
    caseAListAction in interface Analysis
  - caseAStopAction
```
public void caseAStopAction(AStopAction node)
```
    Specified by:
    
    caseAStopAction in interface Analysis
  - caseAResetAction
```
public void caseAResetAction(AResetAction node)
```
    Specified by:
    
    caseAResetAction in interface Analysis
  - caseANoneAction
```
public void caseANoneAction(ANoneAction node)
```
    Specified by:
    
    caseANoneAction in interface Analysis
  - caseAProblem
```
public void caseAProblem(AProblem node)
```
    Specified by:
    
    caseAProblem in interface Analysis
  - caseAPosZnumber
```
public void caseAPosZnumber(APosZnumber node)
```
    Specified by:
    
    caseAPosZnumber in interface Analysis
  - caseANegZnumber
```
public void caseANegZnumber(ANegZnumber node)
```
    Specified by:
    
    caseANegZnumber in interface Analysis
  - caseAStandardType
```
public void caseAStandardType(AStandardType node)
```
    Specified by:
    
    caseAStandardType in interface Analysis
  - caseAIntsType
```
public void caseAIntsType(AIntsType node)
```
    Specified by:
    
    caseAIntsType in interface Analysis
  - caseAPowpart
```
public void caseAPowpart(APowpart node)
```
    Specified by:
    
    caseAPowpart in interface Analysis
  - caseABitpart
```
public void caseABitpart(ABitpart node)
```
    Specified by:
    
    caseABitpart in interface Analysis
  - caseARelation
```
public void caseARelation(ARelation node)
```
    Specified by:
    
    caseARelation in interface Analysis
  - caseAExactReltype
```
public void caseAExactReltype(AExactReltype node)
```
    Specified by:
    
    caseAExactReltype in interface Analysis
  - caseASubsetReltype
```
public void caseASubsetReltype(ASubsetReltype node)
```
    Specified by:
    
    caseASubsetReltype in interface Analysis
  - caseATupleset
```
public void caseATupleset(ATupleset node)
```
    Specified by:
    
    caseATupleset in interface Analysis
  - caseATuple
```
public void caseATuple(ATuple node)
```
    Specified by:
    
    caseATuple in interface Analysis
  - caseATyperefRange
```
public void caseATyperefRange(ATyperefRange node)
```
    Specified by:
    
    caseATyperefRange in interface Analysis
  - caseADefaultRange
```
public void caseADefaultRange(ADefaultRange node)
```
    Specified by:
    
    caseADefaultRange in interface Analysis
  - caseAFormula
```
public void caseAFormula(AFormula node)
```
    Specified by:
    
    caseAFormula in interface Analysis
  - caseAConstInnerformula
```
public void caseAConstInnerformula(AConstInnerformula node)
```
    Specified by:
    
    caseAConstInnerformula in interface Analysis
  - caseAMultInnerformula
```
public void caseAMultInnerformula(AMultInnerformula node)
```
    Specified by:
    
    caseAMultInnerformula in interface Analysis
  - caseARelInnerformula
```
public void caseARelInnerformula(ARelInnerformula node)
```
    Specified by:
    
    caseARelInnerformula in interface Analysis
  - caseANotInnerformula
```
public void caseANotInnerformula(ANotInnerformula node)
```
    Specified by:
    
    caseANotInnerformula in interface Analysis
  - caseAAndInnerformula
```
public void caseAAndInnerformula(AAndInnerformula node)
```
    Specified by:
    
    caseAAndInnerformula in interface Analysis
  - caseABinaryInnerformula
```
public void caseABinaryInnerformula(ABinaryInnerformula node)
```
    Specified by:
    
    caseABinaryInnerformula in interface Analysis
  - caseAQuantInnerformula
```
public void caseAQuantInnerformula(AQuantInnerformula node)
```
    Specified by:
    
    caseAQuantInnerformula in interface Analysis
  - caseAIntInnerformula
```
public void caseAIntInnerformula(AIntInnerformula node)
```
    Specified by:
    
    caseAIntInnerformula in interface Analysis
  - caseAFuncInnerformula
```
public void caseAFuncInnerformula(AFuncInnerformula node)
```
    Specified by:
    
    caseAFuncInnerformula in interface Analysis
  - caseATrueLogConst
```
public void caseATrueLogConst(ATrueLogConst node)
```
    Specified by:
    
    caseATrueLogConst in interface Analysis
  - caseAFalseLogConst
```
public void caseAFalseLogConst(AFalseLogConst node)
```
    Specified by:
    
    caseAFalseLogConst in interface Analysis
  - caseAInLogopRel
```
public void caseAInLogopRel(AInLogopRel node)
```
    Specified by:
    
    caseAInLogopRel in interface Analysis
  - caseAEqualsLogopRel
```
public void caseAEqualsLogopRel(AEqualsLogopRel node)
```
    Specified by:
    
    caseAEqualsLogopRel in interface Analysis
  - caseATotalLogopFunction
```
public void caseATotalLogopFunction(ATotalLogopFunction node)
```
    Specified by:
    
    caseATotalLogopFunction in interface Analysis
  - caseAPartialLogopFunction
```
public void caseAPartialLogopFunction(APartialLogopFunction node)
```
    Specified by:
    
    caseAPartialLogopFunction in interface Analysis
  - caseAOrLogopBinary
```
public void caseAOrLogopBinary(AOrLogopBinary node)
```
    Specified by:
    
    caseAOrLogopBinary in interface Analysis
  - caseAImpliesLogopBinary
```
public void caseAImpliesLogopBinary(AImpliesLogopBinary node)
```
    Specified by:
    
    caseAImpliesLogopBinary in interface Analysis
  - caseAIffLogopBinary
```
public void caseAIffLogopBinary(AIffLogopBinary node)
```
    Specified by:
    
    caseAIffLogopBinary in interface Analysis
  - caseAAllQuantifier
```
public void caseAAllQuantifier(AAllQuantifier node)
```
    Specified by:
    
    caseAAllQuantifier in interface Analysis
  - caseAExistsQuantifier
```
public void caseAExistsQuantifier(AExistsQuantifier node)
```
    Specified by:
    
    caseAExistsQuantifier in interface Analysis
  - caseANilDecls
```
public void caseANilDecls(ANilDecls node)
```
    Specified by:
    
    caseANilDecls in interface Analysis
  - caseAConsDecls
```
public void caseAConsDecls(AConsDecls node)
```
    Specified by:
    
    caseAConsDecls in interface Analysis
  - caseAOneMultiplicity
```
public void caseAOneMultiplicity(AOneMultiplicity node)
```
    Specified by:
    
    caseAOneMultiplicity in interface Analysis
  - caseASomeMultiplicity
```
public void caseASomeMultiplicity(ASomeMultiplicity node)
```
    Specified by:
    
    caseASomeMultiplicity in interface Analysis
  - caseANoMultiplicity
```
public void caseANoMultiplicity(ANoMultiplicity node)
```
    Specified by:
    
    caseANoMultiplicity in interface Analysis
  - caseALoneMultiplicity
```
public void caseALoneMultiplicity(ALoneMultiplicity node)
```
    Specified by:
    
    caseALoneMultiplicity in interface Analysis
  - caseASetMultiplicity
```
public void caseASetMultiplicity(ASetMultiplicity node)
```
    Specified by:
    
    caseASetMultiplicity in interface Analysis
  - caseAEqualsIntCompOp
```
public void caseAEqualsIntCompOp(AEqualsIntCompOp node)
```
    Specified by:
    
    caseAEqualsIntCompOp in interface Analysis
  - caseAGreaterIntCompOp
```
public void caseAGreaterIntCompOp(AGreaterIntCompOp node)
```
    Specified by:
    
    caseAGreaterIntCompOp in interface Analysis
  - caseAGreaterequalIntCompOp
```
public void caseAGreaterequalIntCompOp(AGreaterequalIntCompOp node)
```
    Specified by:
    
    caseAGreaterequalIntCompOp in interface Analysis
  - caseALesserIntCompOp
```
public void caseALesserIntCompOp(ALesserIntCompOp node)
```
    Specified by:
    
    caseALesserIntCompOp in interface Analysis
  - caseALesserequalIntCompOp
```
public void caseALesserequalIntCompOp(ALesserequalIntCompOp node)
```
    Specified by:
    
    caseALesserequalIntCompOp in interface Analysis
  - caseAExpression
```
public void caseAExpression(AExpression node)
```
    Specified by:
    
    caseAExpression in interface Analysis
  - caseAConstInnerexpression
```
public void caseAConstInnerexpression(AConstInnerexpression node)
```
    Specified by:
    
    caseAConstInnerexpression in interface Analysis
  - caseAUnaryInnerexpression
```
public void caseAUnaryInnerexpression(AUnaryInnerexpression node)
```
    Specified by:
    
    caseAUnaryInnerexpression in interface Analysis
  - caseAMultiInnerexpression
```
public void caseAMultiInnerexpression(AMultiInnerexpression node)
```
    Specified by:
    
    caseAMultiInnerexpression in interface Analysis
  - caseABinaryInnerexpression
```
public void caseABinaryInnerexpression(ABinaryInnerexpression node)
```
    Specified by:
    
    caseABinaryInnerexpression in interface Analysis
  - caseARelrefInnerexpression
```
public void caseARelrefInnerexpression(ARelrefInnerexpression node)
```
    Specified by:
    
    caseARelrefInnerexpression in interface Analysis
  - caseAVarrefInnerexpression
```
public void caseAVarrefInnerexpression(AVarrefInnerexpression node)
```
    Specified by:
    
    caseAVarrefInnerexpression in interface Analysis
  - caseACompInnerexpression
```
public void caseACompInnerexpression(ACompInnerexpression node)
```
    Specified by:
    
    caseACompInnerexpression in interface Analysis
  - caseAPrjInnerexpression
```
public void caseAPrjInnerexpression(APrjInnerexpression node)
```
    Specified by:
    
    caseAPrjInnerexpression in interface Analysis
  - caseACastInnerexpression
```
public void caseACastInnerexpression(ACastInnerexpression node)
```
    Specified by:
    
    caseACastInnerexpression in interface Analysis
  - caseAIfInnerexpression
```
public void caseAIfInnerexpression(AIfInnerexpression node)
```
    Specified by:
    
    caseAIfInnerexpression in interface Analysis
  - caseAPow2ExprCast
```
public void caseAPow2ExprCast(APow2ExprCast node)
```
    Specified by:
    
    caseAPow2ExprCast in interface Analysis
  - caseAIntsetExprCast
```
public void caseAIntsetExprCast(AIntsetExprCast node)
```
    Specified by:
    
    caseAIntsetExprCast in interface Analysis
  - caseAEmptyExprConst
```
public void caseAEmptyExprConst(AEmptyExprConst node)
```
    Specified by:
    
    caseAEmptyExprConst in interface Analysis
  - caseAIdenExprConst
```
public void caseAIdenExprConst(AIdenExprConst node)
```
    Specified by:
    
    caseAIdenExprConst in interface Analysis
  - caseAUnivExprConst
```
public void caseAUnivExprConst(AUnivExprConst node)
```
    Specified by:
    
    caseAUnivExprConst in interface Analysis
  - caseAUnionExprMultop
```
public void caseAUnionExprMultop(AUnionExprMultop node)
```
    Specified by:
    
    caseAUnionExprMultop in interface Analysis
  - caseAInterExprMultop
```
public void caseAInterExprMultop(AInterExprMultop node)
```
    Specified by:
    
    caseAInterExprMultop in interface Analysis
  - caseAProductExprMultop
```
public void caseAProductExprMultop(AProductExprMultop node)
```
    Specified by:
    
    caseAProductExprMultop in interface Analysis
  - caseADiffExprBinop
```
public void caseADiffExprBinop(ADiffExprBinop node)
```
    Specified by:
    
    caseADiffExprBinop in interface Analysis
  - caseAJoinExprBinop
```
public void caseAJoinExprBinop(AJoinExprBinop node)
```
    Specified by:
    
    caseAJoinExprBinop in interface Analysis
  - caseAOverwriteExprBinop
```
public void caseAOverwriteExprBinop(AOverwriteExprBinop node)
```
    Specified by:
    
    caseAOverwriteExprBinop in interface Analysis
  - caseATransposeExprUnop
```
public void caseATransposeExprUnop(ATransposeExprUnop node)
```
    Specified by:
    
    caseATransposeExprUnop in interface Analysis
  - caseAClosureExprUnop
```
public void caseAClosureExprUnop(AClosureExprUnop node)
```
    Specified by:
    
    caseAClosureExprUnop in interface Analysis
  - caseAIntexpression
```
public void caseAIntexpression(AIntexpression node)
```
    Specified by:
    
    caseAIntexpression in interface Analysis
  - caseAConstInnerintexpression
```
public void caseAConstInnerintexpression(AConstInnerintexpression node)
```
    Specified by:
    
    caseAConstInnerintexpression in interface Analysis
  - caseACardInnerintexpression
```
public void caseACardInnerintexpression(ACardInnerintexpression node)
```
    Specified by:
    
    caseACardInnerintexpression in interface Analysis
  - caseABinaryInnerintexpression
```
public void caseABinaryInnerintexpression(ABinaryInnerintexpression node)
```
    Specified by:
    
    caseABinaryInnerintexpression in interface Analysis
  - caseACastInnerintexpression
```
public void caseACastInnerintexpression(ACastInnerintexpression node)
```
    Specified by:
    
    caseACastInnerintexpression in interface Analysis
  - caseAAddIntexprBinop
```
public void caseAAddIntexprBinop(AAddIntexprBinop node)
```
    Specified by:
    
    caseAAddIntexprBinop in interface Analysis
  - caseASubIntexprBinop
```
public void caseASubIntexprBinop(ASubIntexprBinop node)
```
    Specified by:
    
    caseASubIntexprBinop in interface Analysis
  - caseAMulIntexprBinop
```
public void caseAMulIntexprBinop(AMulIntexprBinop node)
```
    Specified by:
    
    caseAMulIntexprBinop in interface Analysis
  - caseADivIntexprBinop
```
public void caseADivIntexprBinop(ADivIntexprBinop node)
```
    Specified by:
    
    caseADivIntexprBinop in interface Analysis
  - caseAModIntexprBinop
```
public void caseAModIntexprBinop(AModIntexprBinop node)
```
    Specified by:
    
    caseAModIntexprBinop in interface Analysis
  - caseARequest
```
public void caseARequest(ARequest node)
```
    Specified by:
    
    caseARequest in interface Analysis
  - caseAArgument
```
public void caseAArgument(AArgument node)
```
    Specified by:
    
    caseAArgument in interface Analysis
  - caseAPosReqtype
```
public void caseAPosReqtype(APosReqtype node)
```
    Specified by:
    
    caseAPosReqtype in interface Analysis
  - caseANegReqtype
```
public void caseANegReqtype(ANegReqtype node)
```
    Specified by:
    
    caseANegReqtype in interface Analysis
  - caseAList
```
public void caseAList(AList node)
```
    Specified by:
    
    caseAList in interface Analysis
  - caseAStop
```
public void caseAStop(AStop node)
```
    Specified by:
    
    caseAStop in interface Analysis
  - caseAReset
```
public void caseAReset(AReset node)
```
    Specified by:
    
    caseAReset in interface Analysis
  - caseTBlanks
```
public void caseTBlanks(TBlanks node)
```
    Specified by:
    
    caseTBlanks in interface Analysis
  - caseTNumber
```
public void caseTNumber(TNumber node)
```
    Specified by:
    
    caseTNumber in interface Analysis
  - caseTParenl
```
public void caseTParenl(TParenl node)
```
    Specified by:
    
    caseTParenl in interface Analysis
  - caseTParenr
```
public void caseTParenr(TParenr node)
```
    Specified by:
    
    caseTParenr in interface Analysis
  - caseTAnglel
```
public void caseTAnglel(TAnglel node)
```
    Specified by:
    
    caseTAnglel in interface Analysis
  - caseTAngler
```
public void caseTAngler(TAngler node)
```
    Specified by:
    
    caseTAngler in interface Analysis
  - caseTBracketl
```
public void caseTBracketl(TBracketl node)
```
    Specified by:
    
    caseTBracketl in interface Analysis
  - caseTBracketr
```
public void caseTBracketr(TBracketr node)
```
    Specified by:
    
    caseTBracketr in interface Analysis
  - caseTKeywordProblem
```
public void caseTKeywordProblem(TKeywordProblem node)
```
    Specified by:
    
    caseTKeywordProblem in interface Analysis
  - caseTKeywordExact
```
public void caseTKeywordExact(TKeywordExact node)
```
    Specified by:
    
    caseTKeywordExact in interface Analysis
  - caseTKeywordSubset
```
public void caseTKeywordSubset(TKeywordSubset node)
```
    Specified by:
    
    caseTKeywordSubset in interface Analysis
  - caseTKeywordInts
```
public void caseTKeywordInts(TKeywordInts node)
```
    Specified by:
    
    caseTKeywordInts in interface Analysis
  - caseTKeywordSingleton
```
public void caseTKeywordSingleton(TKeywordSingleton node)
```
    Specified by:
    
    caseTKeywordSingleton in interface Analysis
  - caseTKeywordTrue
```
public void caseTKeywordTrue(TKeywordTrue node)
```
    Specified by:
    
    caseTKeywordTrue in interface Analysis
  - caseTKeywordFalse
```
public void caseTKeywordFalse(TKeywordFalse node)
```
    Specified by:
    
    caseTKeywordFalse in interface Analysis
  - caseTKeywordIn
```
public void caseTKeywordIn(TKeywordIn node)
```
    Specified by:
    
    caseTKeywordIn in interface Analysis
  - caseTKeywordEquals
```
public void caseTKeywordEquals(TKeywordEquals node)
```
    Specified by:
    
    caseTKeywordEquals in interface Analysis
  - caseTKeywordSome
```
public void caseTKeywordSome(TKeywordSome node)
```
    Specified by:
    
    caseTKeywordSome in interface Analysis
  - caseTKeywordOne
```
public void caseTKeywordOne(TKeywordOne node)
```
    Specified by:
    
    caseTKeywordOne in interface Analysis
  - caseTKeywordNo
```
public void caseTKeywordNo(TKeywordNo node)
```
    Specified by:
    
    caseTKeywordNo in interface Analysis
  - caseTKeywordLone
```
public void caseTKeywordLone(TKeywordLone node)
```
    Specified by:
    
    caseTKeywordLone in interface Analysis
  - caseTKeywordSet
```
public void caseTKeywordSet(TKeywordSet node)
```
    Specified by:
    
    caseTKeywordSet in interface Analysis
  - caseTKeywordNot
```
public void caseTKeywordNot(TKeywordNot node)
```
    Specified by:
    
    caseTKeywordNot in interface Analysis
  - caseTKeywordAnd
```
public void caseTKeywordAnd(TKeywordAnd node)
```
    Specified by:
    
    caseTKeywordAnd in interface Analysis
  - caseTKeywordOr
```
public void caseTKeywordOr(TKeywordOr node)
```
    Specified by:
    
    caseTKeywordOr in interface Analysis
  - caseTKeywordImplies
```
public void caseTKeywordImplies(TKeywordImplies node)
```
    Specified by:
    
    caseTKeywordImplies in interface Analysis
  - caseTKeywordIff
```
public void caseTKeywordIff(TKeywordIff node)
```
    Specified by:
    
    caseTKeywordIff in interface Analysis
  - caseTKeywordIf
```
public void caseTKeywordIf(TKeywordIf node)
```
    Specified by:
    
    caseTKeywordIf in interface Analysis
  - caseTKeywordAll
```
public void caseTKeywordAll(TKeywordAll node)
```
    Specified by:
    
    caseTKeywordAll in interface Analysis
  - caseTKeywordExists
```
public void caseTKeywordExists(TKeywordExists node)
```
    Specified by:
    
    caseTKeywordExists in interface Analysis
  - caseTKeywordUnion
```
public void caseTKeywordUnion(TKeywordUnion node)
```
    Specified by:
    
    caseTKeywordUnion in interface Analysis
  - caseTKeywordIntersection
```
public void caseTKeywordIntersection(TKeywordIntersection node)
```
    Specified by:
    
    caseTKeywordIntersection in interface Analysis
  - caseTKeywordDiff
```
public void caseTKeywordDiff(TKeywordDiff node)
```
    Specified by:
    
    caseTKeywordDiff in interface Analysis
  - caseTKeywordJoin
```
public void caseTKeywordJoin(TKeywordJoin node)
```
    Specified by:
    
    caseTKeywordJoin in interface Analysis
  - caseTKeywordProduct
```
public void caseTKeywordProduct(TKeywordProduct node)
```
    Specified by:
    
    caseTKeywordProduct in interface Analysis
  - caseTKeywordOverwrite
```
public void caseTKeywordOverwrite(TKeywordOverwrite node)
```
    Specified by:
    
    caseTKeywordOverwrite in interface Analysis
  - caseTKeywordTranspose
```
public void caseTKeywordTranspose(TKeywordTranspose node)
```
    Specified by:
    
    caseTKeywordTranspose in interface Analysis
  - caseTKeywordClosure
```
public void caseTKeywordClosure(TKeywordClosure node)
```
    Specified by:
    
    caseTKeywordClosure in interface Analysis
  - caseTKeywordComprehension
```
public void caseTKeywordComprehension(TKeywordComprehension node)
```
    Specified by:
    
    caseTKeywordComprehension in interface Analysis
  - caseTKeywordEmpty
```
public void caseTKeywordEmpty(TKeywordEmpty node)
```
    Specified by:
    
    caseTKeywordEmpty in interface Analysis
  - caseTKeywordIden
```
public void caseTKeywordIden(TKeywordIden node)
```
    Specified by:
    
    caseTKeywordIden in interface Analysis
  - caseTKeywordUniv
```
public void caseTKeywordUniv(TKeywordUniv node)
```
    Specified by:
    
    caseTKeywordUniv in interface Analysis
  - caseTKeywordRanges
```
public void caseTKeywordRanges(TKeywordRanges node)
```
    Specified by:
    
    caseTKeywordRanges in interface Analysis
  - caseTKeywordExt
```
public void caseTKeywordExt(TKeywordExt node)
```
    Specified by:
    
    caseTKeywordExt in interface Analysis
  - caseTKeywordRelref
```
public void caseTKeywordRelref(TKeywordRelref node)
```
    Specified by:
    
    caseTKeywordRelref in interface Analysis
  - caseTKeywordVarref
```
public void caseTKeywordVarref(TKeywordVarref node)
```
    Specified by:
    
    caseTKeywordVarref in interface Analysis
  - caseTKeywordRequest
```
public void caseTKeywordRequest(TKeywordRequest node)
```
    Specified by:
    
    caseTKeywordRequest in interface Analysis
  - caseTKeywordStop
```
public void caseTKeywordStop(TKeywordStop node)
```
    Specified by:
    
    caseTKeywordStop in interface Analysis
  - caseTKeywordReset
```
public void caseTKeywordReset(TKeywordReset node)
```
    Specified by:
    
    caseTKeywordReset in interface Analysis
  - caseTKeywordList
```
public void caseTKeywordList(TKeywordList node)
```
    Specified by:
    
    caseTKeywordList in interface Analysis
  - caseTKeywordPositive
```
public void caseTKeywordPositive(TKeywordPositive node)
```
    Specified by:
    
    caseTKeywordPositive in interface Analysis
  - caseTKeywordNegative
```
public void caseTKeywordNegative(TKeywordNegative node)
```
    Specified by:
    
    caseTKeywordNegative in interface Analysis
  - caseTKeywordCardinality
```
public void caseTKeywordCardinality(TKeywordCardinality node)
```
    Specified by:
    
    caseTKeywordCardinality in interface Analysis
  - caseTKeywordAddition
```
public void caseTKeywordAddition(TKeywordAddition node)
```
    Specified by:
    
    caseTKeywordAddition in interface Analysis
  - caseTKeywordSubtraction
```
public void caseTKeywordSubtraction(TKeywordSubtraction node)
```
    Specified by:
    
    caseTKeywordSubtraction in interface Analysis
  - caseTKeywordMultiplication
```
public void caseTKeywordMultiplication(TKeywordMultiplication node)
```
    Specified by:
    
    caseTKeywordMultiplication in interface Analysis
  - caseTKeywordDivision
```
public void caseTKeywordDivision(TKeywordDivision node)
```
    Specified by:
    
    caseTKeywordDivision in interface Analysis
  - caseTKeywordModulo
```
public void caseTKeywordModulo(TKeywordModulo node)
```
    Specified by:
    
    caseTKeywordModulo in interface Analysis
  - caseTKeywordGreater
```
public void caseTKeywordGreater(TKeywordGreater node)
```
    Specified by:
    
    caseTKeywordGreater in interface Analysis
  - caseTKeywordGreaterEqual
```
public void caseTKeywordGreaterEqual(TKeywordGreaterEqual node)
```
    Specified by:
    
    caseTKeywordGreaterEqual in interface Analysis
  - caseTKeywordLesser
```
public void caseTKeywordLesser(TKeywordLesser node)
```
    Specified by:
    
    caseTKeywordLesser in interface Analysis
  - caseTKeywordLesserEqual
```
public void caseTKeywordLesserEqual(TKeywordLesserEqual node)
```
    Specified by:
    
    caseTKeywordLesserEqual in interface Analysis
  - caseTKeywordProjection
```
public void caseTKeywordProjection(TKeywordProjection node)
```
    Specified by:
    
    caseTKeywordProjection in interface Analysis
  - caseTKeywordPartialFunction
```
public void caseTKeywordPartialFunction(TKeywordPartialFunction node)
```
    Specified by:
    
    caseTKeywordPartialFunction in interface Analysis
  - caseTKeywordTotalFunction
```
public void caseTKeywordTotalFunction(TKeywordTotalFunction node)
```
    Specified by:
    
    caseTKeywordTotalFunction in interface Analysis
  - caseTKeywordInt2pow2
```
public void caseTKeywordInt2pow2(TKeywordInt2pow2 node)
```
    Specified by:
    
    caseTKeywordInt2pow2 in interface Analysis
  - caseTKeywordInt2intset
```
public void caseTKeywordInt2intset(TKeywordInt2intset node)
```
    Specified by:
    
    caseTKeywordInt2intset in interface Analysis
  - caseTKeywordExpr2int
```
public void caseTKeywordExpr2int(TKeywordExpr2int node)
```
    Specified by:
    
    caseTKeywordExpr2int in interface Analysis
  - caseTMinus
```
public void caseTMinus(TMinus node)
```
    Specified by:
    
    caseTMinus in interface Analysis
  - caseTIdentifier
```
public void caseTIdentifier(TIdentifier node)
```
    Specified by:
    
    caseTIdentifier in interface Analysis
  - caseTFullstop
```
public void caseTFullstop(TFullstop node)
```
    Specified by:
    
    caseTFullstop in interface Analysis
  - caseEOF
```
public void caseEOF(EOF node)
```
    Specified by:
    
    caseEOF in interface Analysis
  - defaultCase
```
public void defaultCase(Node node)
```

Class AnalysisAdapter

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

AnalysisAdapter

Method Detail

getIn

setIn

getOut

setOut

caseStart

caseAProblemAction

caseARequestAction

caseAListAction

caseAStopAction

caseAResetAction

caseANoneAction

caseAProblem

caseAPosZnumber

caseANegZnumber

caseAStandardType

caseAIntsType

caseAPowpart

caseABitpart

caseARelation

caseAExactReltype

caseASubsetReltype

caseATupleset

caseATuple

caseATyperefRange

caseADefaultRange

caseAFormula

caseAConstInnerformula

caseAMultInnerformula

caseARelInnerformula

caseANotInnerformula

caseAAndInnerformula

caseABinaryInnerformula

caseAQuantInnerformula

caseAIntInnerformula

caseAFuncInnerformula

caseATrueLogConst

caseAFalseLogConst

caseAInLogopRel

caseAEqualsLogopRel

caseATotalLogopFunction

caseAPartialLogopFunction

caseAOrLogopBinary

caseAImpliesLogopBinary

caseAIffLogopBinary

caseAAllQuantifier

caseAExistsQuantifier

caseANilDecls

caseAConsDecls

caseAOneMultiplicity

caseASomeMultiplicity

caseANoMultiplicity

caseALoneMultiplicity

caseASetMultiplicity

caseAEqualsIntCompOp

caseAGreaterIntCompOp

caseAGreaterequalIntCompOp

caseALesserIntCompOp

caseALesserequalIntCompOp

caseAExpression

caseAConstInnerexpression

caseAUnaryInnerexpression

caseAMultiInnerexpression

caseABinaryInnerexpression

caseARelrefInnerexpression

caseAVarrefInnerexpression

caseACompInnerexpression

caseAPrjInnerexpression

caseACastInnerexpression

caseAIfInnerexpression

caseAPow2ExprCast

caseAIntsetExprCast

caseAEmptyExprConst

caseAIdenExprConst