tip.cfg.cfa
Class Interprocedural.LocalsCollector

java.lang.Object
  extended by tip.analysis.AnalysisAdapter
      extended by tip.analysis.DepthFirstAdapter
          extended by tip.cfg.cfa.Interprocedural.LocalsCollector
All Implemented Interfaces:
Analysis
Enclosing class:
Interprocedural

private class Interprocedural.LocalsCollector
extends DepthFirstAdapter


Field Summary
private  java.util.Map<java.lang.String,ALocalDecl> formalDeclSet
           
private  java.util.Map<java.lang.String,ALocalDecl> localDeclSet
           
 
Constructor Summary
Interprocedural.LocalsCollector(java.util.Map<java.lang.String,ALocalDecl> localDeclSet, java.util.Map<java.lang.String,ALocalDecl> formalDeclSet)
           
 
Method Summary
 void defaultInPBlock(PBlock block)
          Default case for in-calls from PBlock nodes.
 void inAFuncDecl(AFuncDecl node)
          Called by DepthFirstAdapter.caseAFuncDecl(AFuncDecl) before traversing the children of AFuncDecl.
 
Methods inherited from class tip.analysis.DepthFirstAdapter
caseABinopExp, caseABlock, caseABlockStm, caseABody, caseADeclStm, caseADerefExp, caseADivideBinop, caseAEqBinop, caseAFuncDecl, caseAFunctionCallExp, caseAFunctionPtrCallExp, caseAGtBinop, caseAIfThenElseStm, caseAIfThenStm, caseAInputExp, caseAIntConstExp, caseALocalDecl, caseAMallocExp, caseAMinusBinop, caseANullExp, caseAOutputStm, caseAPlusBinop, caseAPointerExp, caseAProgram, caseAReturnStm, caseATimesBinop, caseAVarExp, caseAWhileStm, caseStart, caseAAssignPtrStm, caseAAssignVarStm, defaultIn, defaultInPBinop, defaultInPBody, defaultInPDecl, defaultInPExp, defaultInPProgram, defaultInPStm, defaultOut, defaultOutPBinop, defaultOutPBlock, defaultOutPBody, defaultOutPDecl, defaultOutPExp, defaultOutPProgram, defaultOutPStm, defaultPBinop, defaultPBlock, defaultPBody, defaultPDecl, defaultPExp, defaultPProgram, defaultPStm, inABinopExp, inABlock, inABlockStm, inABody, inADeclStm, inADerefExp, inADivideBinop, inAEqBinop, inAFunctionCallExp, inAFunctionPtrCallExp, inAGtBinop, inAIfThenElseStm, inAIfThenStm, inAInputExp, inAIntConstExp, inALocalDecl, inAMallocExp, inAMinusBinop, inANullExp, inAOutputStm, inAPlusBinop, inAPointerExp, inAProgram, inAReturnStm, inATimesBinop, inAVarExp, inAWhileStm, inStart, inAAssignPtrStm, inAAssignVarStm, outABinopExp, outABlock, outABlockStm, outABody, outADeclStm, outADerefExp, outADivideBinop, outAEqBinop, outAFuncDecl, outAFunctionCallExp, outAFunctionPtrCallExp, outAGtBinop, outAIfThenElseStm, outAIfThenStm, outAInputExp, outAIntConstExp, outALocalDecl, outAMallocExp, outAMinusBinop, outANullExp, outAOutputStm, outAPlusBinop, outAPointerExp, outAProgram, outAReturnStm, outATimesBinop, outAVarExp, outAWhileStm, outStart, outAAssignPtrStm, outAAssignVarStm
 
Methods inherited from class tip.analysis.AnalysisAdapter
caseEOF, caseTAnd, caseTAssign, caseTComma, caseTCommentBlock, caseTCommentSingle, caseTDiv, caseTElse, caseTEq, caseTGt, caseTIdentifier, caseTIf, caseTInput, caseTIntegerConst, caseTLBrace, caseTLPar, caseTMalloc, caseTMinus, caseTNull, caseTOutput, caseTPlus, caseTRBrace, caseTReturn, caseTRPar, caseTSemicolon, caseTStar, caseTVar, caseTWhile, caseTWhiteSpace, defaultNode, defaultToken, getIn, getOut, setIn, setOut
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

localDeclSet

private java.util.Map<java.lang.String,ALocalDecl> localDeclSet

formalDeclSet

private java.util.Map<java.lang.String,ALocalDecl> formalDeclSet
Constructor Detail

Interprocedural.LocalsCollector

public Interprocedural.LocalsCollector(java.util.Map<java.lang.String,ALocalDecl> localDeclSet,
                                       java.util.Map<java.lang.String,ALocalDecl> formalDeclSet)
Method Detail

defaultInPBlock

public void defaultInPBlock(PBlock block)
Description copied from class: DepthFirstAdapter
Default case for in-calls from PBlock nodes.

Overrides:
defaultInPBlock in class DepthFirstAdapter
Parameters:
block - the visited PBlock node

inAFuncDecl

public void inAFuncDecl(AFuncDecl node)
Description copied from class: DepthFirstAdapter
Called by DepthFirstAdapter.caseAFuncDecl(AFuncDecl) before traversing the children of AFuncDecl.

Overrides:
inAFuncDecl in class DepthFirstAdapter
Parameters:
node - the visited AFuncDecl node