tip.node
Class BackwardStepRelation

java.lang.Object
  extended by tip.analysis.QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
      extended by tip.node.BackwardStepRelation
All Implemented Interfaces:
QuestionAnswer<RoutingSymbol,java.util.List<Node>>

 class BackwardStepRelation
extends QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>


Constructor Summary
BackwardStepRelation()
           
 
Method Summary
 java.util.List<Node> caseABinopExp(ABinopExp node, RoutingSymbol symbol)
          Returns the default answer for a ABinopExp node.
 java.util.List<Node> caseABlock(ABlock node, RoutingSymbol symbol)
          Returns the default answer for a ABlock node.
 java.util.List<Node> caseABlockStm(ABlockStm node, RoutingSymbol symbol)
          Returns the default answer for a ABlockStm node.
 java.util.List<Node> caseABody(ABody node, RoutingSymbol symbol)
          Returns the default answer for a ABody node.
 java.util.List<Node> caseADeclStm(ADeclStm node, RoutingSymbol symbol)
          Returns the default answer for a ADeclStm node.
 java.util.List<Node> caseADerefExp(ADerefExp node, RoutingSymbol symbol)
          Returns the default answer for a ADerefExp node.
 java.util.List<Node> caseADivideBinop(ADivideBinop node, RoutingSymbol symbol)
          Returns the default answer for a ADivideBinop node.
 java.util.List<Node> caseAEqBinop(AEqBinop node, RoutingSymbol symbol)
          Returns the default answer for a AEqBinop node.
 java.util.List<Node> caseAFuncDecl(AFuncDecl node, RoutingSymbol symbol)
          Returns the default answer for a AFuncDecl node.
 java.util.List<Node> caseAFunctionCallExp(AFunctionCallExp node, RoutingSymbol symbol)
          Returns the default answer for a AFunctionCallExp node.
 java.util.List<Node> caseAFunctionPtrCallExp(AFunctionPtrCallExp node, RoutingSymbol symbol)
          Returns the default answer for a AFunctionPtrCallExp node.
 java.util.List<Node> caseAGtBinop(AGtBinop node, RoutingSymbol symbol)
          Returns the default answer for a AGtBinop node.
 java.util.List<Node> caseAIfThenElseStm(AIfThenElseStm node, RoutingSymbol symbol)
          Returns the default answer for a AIfThenElseStm node.
 java.util.List<Node> caseAIfThenStm(AIfThenStm node, RoutingSymbol symbol)
          Returns the default answer for a AIfThenStm node.
 java.util.List<Node> caseAInputExp(AInputExp node, RoutingSymbol symbol)
          Returns the default answer for a AInputExp node.
 java.util.List<Node> caseAIntConstExp(AIntConstExp node, RoutingSymbol symbol)
          Returns the default answer for a AIntConstExp node.
 java.util.List<Node> caseALocalDecl(ALocalDecl node, RoutingSymbol symbol)
          Returns the default answer for a ALocalDecl node.
 java.util.List<Node> caseAMallocExp(AMallocExp node, RoutingSymbol symbol)
          Returns the default answer for a AMallocExp node.
 java.util.List<Node> caseAMinusBinop(AMinusBinop node, RoutingSymbol symbol)
          Returns the default answer for a AMinusBinop node.
 java.util.List<Node> caseANullExp(ANullExp node, RoutingSymbol symbol)
          Returns the default answer for a ANullExp node.
 java.util.List<Node> caseAOutputStm(AOutputStm node, RoutingSymbol symbol)
          Returns the default answer for a AOutputStm node.
 java.util.List<Node> caseAPlusBinop(APlusBinop node, RoutingSymbol symbol)
          Returns the default answer for a APlusBinop node.
 java.util.List<Node> caseAPointerExp(APointerExp node, RoutingSymbol symbol)
          Returns the default answer for a APointerExp node.
 java.util.List<Node> caseAProgram(AProgram node, RoutingSymbol symbol)
          Returns the default answer for a AProgram node.
 java.util.List<Node> caseAReturnStm(AReturnStm node, RoutingSymbol symbol)
          Returns the default answer for a AReturnStm node.
 java.util.List<Node> caseATimesBinop(ATimesBinop node, RoutingSymbol symbol)
          Returns the default answer for a ATimesBinop node.
 java.util.List<Node> caseAVarExp(AVarExp node, RoutingSymbol symbol)
          Returns the default answer for a AVarExp node.
 java.util.List<Node> caseAWhileStm(AWhileStm node, RoutingSymbol symbol)
          Returns the default answer for a AWhileStm node.
 java.util.List<Node> caseTAnd(TAnd node, RoutingSymbol symbol)
          Returns the default answer for a TAnd node.
 java.util.List<Node> caseTAssign(TAssign node, RoutingSymbol symbol)
          Returns the default answer for a TAssign node.
 java.util.List<Node> caseTComma(TComma node, RoutingSymbol symbol)
          Returns the default answer for a TComma node.
 java.util.List<Node> caseTCommentBlock(TCommentBlock node, RoutingSymbol symbol)
          Returns the default answer for a TCommentBlock node.
 java.util.List<Node> caseTCommentSingle(TCommentSingle node, RoutingSymbol symbol)
          Returns the default answer for a TCommentSingle node.
 java.util.List<Node> caseTDiv(TDiv node, RoutingSymbol symbol)
          Returns the default answer for a TDiv node.
 java.util.List<Node> caseTElse(TElse node, RoutingSymbol symbol)
          Returns the default answer for a TElse node.
 java.util.List<Node> caseTEq(TEq node, RoutingSymbol symbol)
          Returns the default answer for a TEq node.
 java.util.List<Node> caseTGt(TGt node, RoutingSymbol symbol)
          Returns the default answer for a TGt node.
 java.util.List<Node> caseTIdentifier(TIdentifier node, RoutingSymbol symbol)
          Returns the default answer for a TIdentifier node.
 java.util.List<Node> caseTIf(TIf node, RoutingSymbol symbol)
          Returns the default answer for a TIf node.
 java.util.List<Node> caseTInput(TInput node, RoutingSymbol symbol)
          Returns the default answer for a TInput node.
 java.util.List<Node> caseTIntegerConst(TIntegerConst node, RoutingSymbol symbol)
          Returns the default answer for a TIntegerConst node.
 java.util.List<Node> caseTLBrace(TLBrace node, RoutingSymbol symbol)
          Returns the default answer for a TLBrace node.
 java.util.List<Node> caseTLPar(TLPar node, RoutingSymbol symbol)
          Returns the default answer for a TLPar node.
 java.util.List<Node> caseTMalloc(TMalloc node, RoutingSymbol symbol)
          Returns the default answer for a TMalloc node.
 java.util.List<Node> caseTMinus(TMinus node, RoutingSymbol symbol)
          Returns the default answer for a TMinus node.
 java.util.List<Node> caseTNull(TNull node, RoutingSymbol symbol)
          Returns the default answer for a TNull node.
 java.util.List<Node> caseTOutput(TOutput node, RoutingSymbol symbol)
          Returns the default answer for a TOutput node.
 java.util.List<Node> caseTPlus(TPlus node, RoutingSymbol symbol)
          Returns the default answer for a TPlus node.
 java.util.List<Node> caseTRBrace(TRBrace node, RoutingSymbol symbol)
          Returns the default answer for a TRBrace node.
 java.util.List<Node> caseTReturn(TReturn node, RoutingSymbol symbol)
          Returns the default answer for a TReturn node.
 java.util.List<Node> caseTRPar(TRPar node, RoutingSymbol symbol)
          Returns the default answer for a TRPar node.
 java.util.List<Node> caseTSemicolon(TSemicolon node, RoutingSymbol symbol)
          Returns the default answer for a TSemicolon node.
 java.util.List<Node> caseTStar(TStar node, RoutingSymbol symbol)
          Returns the default answer for a TStar node.
 java.util.List<Node> caseTVar(TVar node, RoutingSymbol symbol)
          Returns the default answer for a TVar node.
 java.util.List<Node> caseTWhile(TWhile node, RoutingSymbol symbol)
          Returns the default answer for a TWhile node.
 java.util.List<Node> caseTWhiteSpace(TWhiteSpace node, RoutingSymbol symbol)
          Returns the default answer for a TWhiteSpace node.
 java.util.List<Node> caseAAssignPtrStm(AAssignPtrStm node, RoutingSymbol symbol)
          Returns the default answer for a AAssignPtrStm node.
 java.util.List<Node> caseAAssignVarStm(AAssignVarStm node, RoutingSymbol symbol)
          Returns the default answer for a AAssignVarStm node.
 java.util.List<Node> defaultNode(Node node, RoutingSymbol symbol)
          Returns the default answer for a Node.
 java.util.List<Node> defaultPBinop(PBinop node, RoutingSymbol symbol)
          Returns the default answer for a PBinop node.
 java.util.List<Node> defaultPBlock(PBlock node, RoutingSymbol symbol)
          Returns the default answer for a PBlock node.
 java.util.List<Node> defaultPBody(PBody node, RoutingSymbol symbol)
          Returns the default answer for a PBody node.
 java.util.List<Node> defaultPDecl(PDecl node, RoutingSymbol symbol)
          Returns the default answer for a PDecl node.
 java.util.List<Node> defaultPExp(PExp node, RoutingSymbol symbol)
          Returns the default answer for a PExp node.
 java.util.List<Node> defaultPProgram(PProgram node, RoutingSymbol symbol)
          Returns the default answer for a PProgram node.
 java.util.List<Node> defaultPStm(PStm node, RoutingSymbol symbol)
          Returns the default answer for a PStm node.
 java.util.List<Node> defaultToken(Token node, RoutingSymbol symbol)
          Returns the default answer for a Token.
 
Methods inherited from class tip.analysis.QuestionAnswerAdapter
caseEOF, caseStart
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BackwardStepRelation

BackwardStepRelation()
Method Detail

defaultNode

public java.util.List<Node> defaultNode(Node node,
                                        RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a Node.

Overrides:
defaultNode in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling Node
symbol - the question
Returns:
the default answer for a Node

defaultToken

public java.util.List<Node> defaultToken(Token node,
                                         RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a Token. The call is deferred to QuestionAnswerAdapter.defaultNode(Node,Object).

Overrides:
defaultToken in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling Token
symbol - the question
Returns:
the default answer for a Token

caseTWhiteSpace

public java.util.List<Node> caseTWhiteSpace(TWhiteSpace node,
                                            RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TWhiteSpace node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTWhiteSpace in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTWhiteSpace in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TWhiteSpace node
symbol - the question
Returns:
the default answer for a TWhiteSpace node

caseTCommentSingle

public java.util.List<Node> caseTCommentSingle(TCommentSingle node,
                                               RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TCommentSingle node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTCommentSingle in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTCommentSingle in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TCommentSingle node
symbol - the question
Returns:
the default answer for a TCommentSingle node

caseTCommentBlock

public java.util.List<Node> caseTCommentBlock(TCommentBlock node,
                                              RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TCommentBlock node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTCommentBlock in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTCommentBlock in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TCommentBlock node
symbol - the question
Returns:
the default answer for a TCommentBlock node

caseTVar

public java.util.List<Node> caseTVar(TVar node,
                                     RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TVar node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTVar in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTVar in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TVar node
symbol - the question
Returns:
the default answer for a TVar node

caseTInput

public java.util.List<Node> caseTInput(TInput node,
                                       RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TInput node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTInput in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTInput in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TInput node
symbol - the question
Returns:
the default answer for a TInput node

caseTOutput

public java.util.List<Node> caseTOutput(TOutput node,
                                        RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TOutput node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTOutput in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTOutput in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TOutput node
symbol - the question
Returns:
the default answer for a TOutput node

caseTIf

public java.util.List<Node> caseTIf(TIf node,
                                    RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TIf node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTIf in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTIf in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TIf node
symbol - the question
Returns:
the default answer for a TIf node

caseTElse

public java.util.List<Node> caseTElse(TElse node,
                                      RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TElse node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTElse in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTElse in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TElse node
symbol - the question
Returns:
the default answer for a TElse node

caseTWhile

public java.util.List<Node> caseTWhile(TWhile node,
                                       RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TWhile node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTWhile in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTWhile in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TWhile node
symbol - the question
Returns:
the default answer for a TWhile node

caseTReturn

public java.util.List<Node> caseTReturn(TReturn node,
                                        RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TReturn node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTReturn in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTReturn in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TReturn node
symbol - the question
Returns:
the default answer for a TReturn node

caseTMalloc

public java.util.List<Node> caseTMalloc(TMalloc node,
                                        RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TMalloc node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTMalloc in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTMalloc in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TMalloc node
symbol - the question
Returns:
the default answer for a TMalloc node

caseTNull

public java.util.List<Node> caseTNull(TNull node,
                                      RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TNull node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTNull in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTNull in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TNull node
symbol - the question
Returns:
the default answer for a TNull node

caseTLPar

public java.util.List<Node> caseTLPar(TLPar node,
                                      RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TLPar node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTLPar in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTLPar in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TLPar node
symbol - the question
Returns:
the default answer for a TLPar node

caseTRPar

public java.util.List<Node> caseTRPar(TRPar node,
                                      RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TRPar node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTRPar in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTRPar in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TRPar node
symbol - the question
Returns:
the default answer for a TRPar node

caseTLBrace

public java.util.List<Node> caseTLBrace(TLBrace node,
                                        RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TLBrace node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTLBrace in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTLBrace in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TLBrace node
symbol - the question
Returns:
the default answer for a TLBrace node

caseTRBrace

public java.util.List<Node> caseTRBrace(TRBrace node,
                                        RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TRBrace node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTRBrace in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTRBrace in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TRBrace node
symbol - the question
Returns:
the default answer for a TRBrace node

caseTSemicolon

public java.util.List<Node> caseTSemicolon(TSemicolon node,
                                           RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TSemicolon node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTSemicolon in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTSemicolon in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TSemicolon node
symbol - the question
Returns:
the default answer for a TSemicolon node

caseTComma

public java.util.List<Node> caseTComma(TComma node,
                                       RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TComma node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTComma in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTComma in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TComma node
symbol - the question
Returns:
the default answer for a TComma node

caseTAssign

public java.util.List<Node> caseTAssign(TAssign node,
                                        RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TAssign node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTAssign in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTAssign in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TAssign node
symbol - the question
Returns:
the default answer for a TAssign node

caseTPlus

public java.util.List<Node> caseTPlus(TPlus node,
                                      RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TPlus node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTPlus in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTPlus in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TPlus node
symbol - the question
Returns:
the default answer for a TPlus node

caseTMinus

public java.util.List<Node> caseTMinus(TMinus node,
                                       RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TMinus node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTMinus in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTMinus in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TMinus node
symbol - the question
Returns:
the default answer for a TMinus node

caseTStar

public java.util.List<Node> caseTStar(TStar node,
                                      RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TStar node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTStar in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTStar in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TStar node
symbol - the question
Returns:
the default answer for a TStar node

caseTDiv

public java.util.List<Node> caseTDiv(TDiv node,
                                     RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TDiv node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTDiv in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTDiv in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TDiv node
symbol - the question
Returns:
the default answer for a TDiv node

caseTAnd

public java.util.List<Node> caseTAnd(TAnd node,
                                     RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TAnd node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTAnd in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTAnd in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TAnd node
symbol - the question
Returns:
the default answer for a TAnd node

caseTGt

public java.util.List<Node> caseTGt(TGt node,
                                    RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TGt node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTGt in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTGt in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TGt node
symbol - the question
Returns:
the default answer for a TGt node

caseTEq

public java.util.List<Node> caseTEq(TEq node,
                                    RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TEq node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTEq in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTEq in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TEq node
symbol - the question
Returns:
the default answer for a TEq node

caseTIntegerConst

public java.util.List<Node> caseTIntegerConst(TIntegerConst node,
                                              RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TIntegerConst node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTIntegerConst in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTIntegerConst in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TIntegerConst node
symbol - the question
Returns:
the default answer for a TIntegerConst node

caseTIdentifier

public java.util.List<Node> caseTIdentifier(TIdentifier node,
                                            RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a TIdentifier node. The call is deferred to QuestionAnswerAdapter.defaultToken(Token,Object).

Specified by:
caseTIdentifier in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseTIdentifier in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling TIdentifier node
symbol - the question
Returns:
the default answer for a TIdentifier node

defaultPProgram

public java.util.List<Node> defaultPProgram(PProgram node,
                                            RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a PProgram node. The call is deferred to QuestionAnswerAdapter.defaultNode(Node,Object).

Overrides:
defaultPProgram in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling PProgram node
symbol - the question
Returns:
the default answer for a PProgram node

defaultPDecl

public java.util.List<Node> defaultPDecl(PDecl node,
                                         RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a PDecl node. The call is deferred to QuestionAnswerAdapter.defaultNode(Node,Object).

Overrides:
defaultPDecl in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling PDecl node
symbol - the question
Returns:
the default answer for a PDecl node

defaultPBody

public java.util.List<Node> defaultPBody(PBody node,
                                         RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a PBody node. The call is deferred to QuestionAnswerAdapter.defaultNode(Node,Object).

Overrides:
defaultPBody in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling PBody node
symbol - the question
Returns:
the default answer for a PBody node

defaultPBlock

public java.util.List<Node> defaultPBlock(PBlock node,
                                          RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a PBlock node. The call is deferred to QuestionAnswerAdapter.defaultNode(Node,Object).

Overrides:
defaultPBlock in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling PBlock node
symbol - the question
Returns:
the default answer for a PBlock node

defaultPBinop

public java.util.List<Node> defaultPBinop(PBinop node,
                                          RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a PBinop node. The call is deferred to QuestionAnswerAdapter.defaultNode(Node,Object).

Overrides:
defaultPBinop in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling PBinop node
symbol - the question
Returns:
the default answer for a PBinop node

defaultPExp

public java.util.List<Node> defaultPExp(PExp node,
                                        RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a PExp node. The call is deferred to QuestionAnswerAdapter.defaultNode(Node,Object).

Overrides:
defaultPExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling PExp node
symbol - the question
Returns:
the default answer for a PExp node

defaultPStm

public java.util.List<Node> defaultPStm(PStm node,
                                        RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a PStm node. The call is deferred to QuestionAnswerAdapter.defaultNode(Node,Object).

Overrides:
defaultPStm in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling PStm node
symbol - the question
Returns:
the default answer for a PStm node

caseAOutputStm

public java.util.List<Node> caseAOutputStm(AOutputStm node,
                                           RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AOutputStm node. The call is deferred to QuestionAnswerAdapter.defaultPStm(PStm,Object).

Specified by:
caseAOutputStm in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAOutputStm in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AOutputStm node
symbol - the question
Returns:
the default answer for a AOutputStm node

caseANullExp

public java.util.List<Node> caseANullExp(ANullExp node,
                                         RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ANullExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseANullExp in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseANullExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling ANullExp node
symbol - the question
Returns:
the default answer for a ANullExp node

caseAAssignVarStm

public java.util.List<Node> caseAAssignVarStm(AAssignVarStm node,
                                              RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AAssignVarStm node. The call is deferred to QuestionAnswerAdapter.defaultPStm(PStm,Object).

Specified by:
caseAAssignVarStm in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAAssignVarStm in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AAssignVarStm node
symbol - the question
Returns:
the default answer for a AAssignVarStm node

caseAWhileStm

public java.util.List<Node> caseAWhileStm(AWhileStm node,
                                          RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AWhileStm node. The call is deferred to QuestionAnswerAdapter.defaultPStm(PStm,Object).

Specified by:
caseAWhileStm in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAWhileStm in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AWhileStm node
symbol - the question
Returns:
the default answer for a AWhileStm node

caseAAssignPtrStm

public java.util.List<Node> caseAAssignPtrStm(AAssignPtrStm node,
                                              RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AAssignPtrStm node. The call is deferred to QuestionAnswerAdapter.defaultPStm(PStm,Object).

Specified by:
caseAAssignPtrStm in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAAssignPtrStm in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AAssignPtrStm node
symbol - the question
Returns:
the default answer for a AAssignPtrStm node

caseAPlusBinop

public java.util.List<Node> caseAPlusBinop(APlusBinop node,
                                           RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a APlusBinop node. The call is deferred to QuestionAnswerAdapter.defaultPBinop(PBinop,Object).

Specified by:
caseAPlusBinop in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAPlusBinop in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling APlusBinop node
symbol - the question
Returns:
the default answer for a APlusBinop node

caseATimesBinop

public java.util.List<Node> caseATimesBinop(ATimesBinop node,
                                            RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ATimesBinop node. The call is deferred to QuestionAnswerAdapter.defaultPBinop(PBinop,Object).

Specified by:
caseATimesBinop in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseATimesBinop in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling ATimesBinop node
symbol - the question
Returns:
the default answer for a ATimesBinop node

caseABinopExp

public java.util.List<Node> caseABinopExp(ABinopExp node,
                                          RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ABinopExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseABinopExp in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseABinopExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling ABinopExp node
symbol - the question
Returns:
the default answer for a ABinopExp node

caseAPointerExp

public java.util.List<Node> caseAPointerExp(APointerExp node,
                                            RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a APointerExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseAPointerExp in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAPointerExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling APointerExp node
symbol - the question
Returns:
the default answer for a APointerExp node

caseAGtBinop

public java.util.List<Node> caseAGtBinop(AGtBinop node,
                                         RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AGtBinop node. The call is deferred to QuestionAnswerAdapter.defaultPBinop(PBinop,Object).

Specified by:
caseAGtBinop in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAGtBinop in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AGtBinop node
symbol - the question
Returns:
the default answer for a AGtBinop node

caseAInputExp

public java.util.List<Node> caseAInputExp(AInputExp node,
                                          RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AInputExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseAInputExp in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAInputExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AInputExp node
symbol - the question
Returns:
the default answer for a AInputExp node

caseALocalDecl

public java.util.List<Node> caseALocalDecl(ALocalDecl node,
                                           RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ALocalDecl node. The call is deferred to QuestionAnswerAdapter.defaultPDecl(PDecl,Object).

Specified by:
caseALocalDecl in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseALocalDecl in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling ALocalDecl node
symbol - the question
Returns:
the default answer for a ALocalDecl node

caseAFuncDecl

public java.util.List<Node> caseAFuncDecl(AFuncDecl node,
                                          RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AFuncDecl node. The call is deferred to QuestionAnswerAdapter.defaultPDecl(PDecl,Object).

Specified by:
caseAFuncDecl in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAFuncDecl in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AFuncDecl node
symbol - the question
Returns:
the default answer for a AFuncDecl node

caseABlock

public java.util.List<Node> caseABlock(ABlock node,
                                       RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ABlock node. The call is deferred to QuestionAnswerAdapter.defaultPBlock(PBlock,Object).

Specified by:
caseABlock in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseABlock in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling ABlock node
symbol - the question
Returns:
the default answer for a ABlock node

caseAIfThenStm

public java.util.List<Node> caseAIfThenStm(AIfThenStm node,
                                           RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AIfThenStm node. The call is deferred to QuestionAnswerAdapter.defaultPStm(PStm,Object).

Specified by:
caseAIfThenStm in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAIfThenStm in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AIfThenStm node
symbol - the question
Returns:
the default answer for a AIfThenStm node

caseABody

public java.util.List<Node> caseABody(ABody node,
                                      RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ABody node. The call is deferred to QuestionAnswerAdapter.defaultPBody(PBody,Object).

Specified by:
caseABody in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseABody in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling ABody node
symbol - the question
Returns:
the default answer for a ABody node

caseAReturnStm

public java.util.List<Node> caseAReturnStm(AReturnStm node,
                                           RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AReturnStm node. The call is deferred to QuestionAnswerAdapter.defaultPStm(PStm,Object).

Specified by:
caseAReturnStm in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAReturnStm in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AReturnStm node
symbol - the question
Returns:
the default answer for a AReturnStm node

caseAFunctionCallExp

public java.util.List<Node> caseAFunctionCallExp(AFunctionCallExp node,
                                                 RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AFunctionCallExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseAFunctionCallExp in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAFunctionCallExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AFunctionCallExp node
symbol - the question
Returns:
the default answer for a AFunctionCallExp node

caseADeclStm

public java.util.List<Node> caseADeclStm(ADeclStm node,
                                         RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ADeclStm node. The call is deferred to QuestionAnswerAdapter.defaultPStm(PStm,Object).

Specified by:
caseADeclStm in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseADeclStm in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling ADeclStm node
symbol - the question
Returns:
the default answer for a ADeclStm node

caseAIfThenElseStm

public java.util.List<Node> caseAIfThenElseStm(AIfThenElseStm node,
                                               RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AIfThenElseStm node. The call is deferred to QuestionAnswerAdapter.defaultPStm(PStm,Object).

Specified by:
caseAIfThenElseStm in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAIfThenElseStm in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AIfThenElseStm node
symbol - the question
Returns:
the default answer for a AIfThenElseStm node

caseADerefExp

public java.util.List<Node> caseADerefExp(ADerefExp node,
                                          RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ADerefExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseADerefExp in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseADerefExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling ADerefExp node
symbol - the question
Returns:
the default answer for a ADerefExp node

caseAVarExp

public java.util.List<Node> caseAVarExp(AVarExp node,
                                        RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AVarExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseAVarExp in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAVarExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AVarExp node
symbol - the question
Returns:
the default answer for a AVarExp node

caseAIntConstExp

public java.util.List<Node> caseAIntConstExp(AIntConstExp node,
                                             RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AIntConstExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseAIntConstExp in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAIntConstExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AIntConstExp node
symbol - the question
Returns:
the default answer for a AIntConstExp node

caseAEqBinop

public java.util.List<Node> caseAEqBinop(AEqBinop node,
                                         RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AEqBinop node. The call is deferred to QuestionAnswerAdapter.defaultPBinop(PBinop,Object).

Specified by:
caseAEqBinop in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAEqBinop in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AEqBinop node
symbol - the question
Returns:
the default answer for a AEqBinop node

caseAFunctionPtrCallExp

public java.util.List<Node> caseAFunctionPtrCallExp(AFunctionPtrCallExp node,
                                                    RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AFunctionPtrCallExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseAFunctionPtrCallExp in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAFunctionPtrCallExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AFunctionPtrCallExp node
symbol - the question
Returns:
the default answer for a AFunctionPtrCallExp node

caseADivideBinop

public java.util.List<Node> caseADivideBinop(ADivideBinop node,
                                             RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ADivideBinop node. The call is deferred to QuestionAnswerAdapter.defaultPBinop(PBinop,Object).

Specified by:
caseADivideBinop in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseADivideBinop in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling ADivideBinop node
symbol - the question
Returns:
the default answer for a ADivideBinop node

caseAMinusBinop

public java.util.List<Node> caseAMinusBinop(AMinusBinop node,
                                            RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AMinusBinop node. The call is deferred to QuestionAnswerAdapter.defaultPBinop(PBinop,Object).

Specified by:
caseAMinusBinop in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAMinusBinop in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AMinusBinop node
symbol - the question
Returns:
the default answer for a AMinusBinop node

caseAProgram

public java.util.List<Node> caseAProgram(AProgram node,
                                         RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AProgram node. The call is deferred to QuestionAnswerAdapter.defaultPProgram(PProgram,Object).

Specified by:
caseAProgram in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAProgram in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AProgram node
symbol - the question
Returns:
the default answer for a AProgram node

caseABlockStm

public java.util.List<Node> caseABlockStm(ABlockStm node,
                                          RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ABlockStm node. The call is deferred to QuestionAnswerAdapter.defaultPStm(PStm,Object).

Specified by:
caseABlockStm in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseABlockStm in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling ABlockStm node
symbol - the question
Returns:
the default answer for a ABlockStm node

caseAMallocExp

public java.util.List<Node> caseAMallocExp(AMallocExp node,
                                           RoutingSymbol symbol)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AMallocExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseAMallocExp in interface QuestionAnswer<RoutingSymbol,java.util.List<Node>>
Overrides:
caseAMallocExp in class QuestionAnswerAdapter<RoutingSymbol,java.util.List<Node>>
Parameters:
node - the calling AMallocExp node
symbol - the question
Returns:
the default answer for a AMallocExp node