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