joosc.symbol
Class SymImplementationWalker

java.lang.Object
  extended byjoosc.analysis.AnalysisAdapter
      extended byjoosc.analysis.DepthFirstAdapter
          extended byjoosc.symbol.SymImplementationWalker
All Implemented Interfaces:
Analysis, Switch, Symbol.Constants

public class SymImplementationWalker
extends DepthFirstAdapter
implements Symbol.Constants


Nested Class Summary
 
Nested classes inherited from class joosc.symbol.Symbol.Constants
Symbol.Constants.SymbolKind
 
Field Summary
 
Fields inherited from interface joosc.symbol.Symbol.Constants
classSymK, fieldSymK, formalSymK, localSymK, methodSymK
 
Constructor Summary
SymImplementationWalker(java.lang.String fn, AnalysisDataManager proxy)
           
 
Method Summary
 Node checkClassUse(TIdentifier classId)
           
 void checkType(PType node)
           
 Symbol checkVariableUse(TIdentifier varId)
           
 void inAAbstractMethod(AAbstractMethod node)
           
 void inAAssignment(AAssignment node)
           
 void inABlockStm(ABlockStm node)
           
 void inACastExp(ACastExp node)
           
 void inAClass(AClass node)
          AST Node Visitors *
 void inAClassinstancecreation(AClassinstancecreation node)
           
 void inAConstructor(AConstructor node)
           
 void inAExternClass(AExternClass node)
           
 void inAExternConstructor(AExternConstructor node)
           
 void inAFormal(AFormal node)
           
 void inAIdExp(AIdExp node)
           
 void inAInstanceofExp(AInstanceofExp node)
           
 void inAMainMethod(AMainMethod node)
           
 void inAModExternMethod(AModExternMethod node)
           
 void inAModMethod(AModMethod node)
           
 void inANonmodExternMethod(ANonmodExternMethod node)
           
 void inANonmodMethod(ANonmodMethod node)
           
 void inAnyConstructor(Node node)
           
 void inAnyMethod(Node node)
           
 void inAOnefield(AOnefield node)
           
 void inAOnelocal(AOnelocal node)
           
 void outAAbstractMethod(AAbstractMethod node)
           
 void outABlockStm(ABlockStm node)
           
 void outAClass(AClass node)
           
 void outAConstructor(AConstructor node)
           
 void outAExternClass(AExternClass node)
           
 void outAExternConstructor(AExternConstructor node)
           
 void outAMainMethod(AMainMethod node)
           
 void outAModExternMethod(AModExternMethod node)
           
 void outAModMethod(AModMethod node)
           
 void outANonmodExternMethod(ANonmodExternMethod node)
           
 void outANonmodMethod(ANonmodMethod node)
           
 void outAnyConstructor(Node node)
           
 void outAnyMethod(Node node)
           
static void walk(java.util.List theProgram, AnalysisDataManager proxy)
           
 
Methods inherited from class joosc.analysis.DepthFirstAdapter
caseAAbstractClassmods, caseAAbstractExternMethodmods, caseAAbstractMethod, caseAAndExp, caseAArgumentList, caseAAssignExp, caseAAssignment, caseAAssignStmExp, caseABlockSimplestm, caseABlockStm, caseABooleanType, caseACallExp, caseACallStmExp, caseACastExp, caseACasttocharExp, caseACharconstExp, caseACharType, caseAClass, caseAClassinstancecreation, caseAConstructor, caseADeclFirstStm, caseADeclStm, caseADefaultClassfile, caseADivExp, caseADynamicStm, caseAEqExp, caseAExpSimplestm, caseAExpStm, caseAExtension, caseAExternClass, caseAExternClassfile, caseAExternConstructor, caseAFalseExp, caseAField, caseAFinalClassmods, caseAFinalExternMethodmods, caseAFinalMethodmods, caseAFirstField, caseAFirstMainargv, caseAFormal, caseAFormalList, caseAForStm, caseAForStmNoShortIf, caseAGeqExp, caseAGtExp, caseAIdentifierList, caseAIdExp, caseAIfelseStm, caseAIfelseStmNoShortIf, caseAIfStm, caseAIncStmExp, caseAInstanceofExp, caseAIntconstExp, caseAIntType, caseALeqExp, caseALtExp, caseAMainMethod, caseAMethodinvocation, caseAMinusExp, caseAModExp, caseAModExternMethod, caseAModMethod, caseAMultExp, caseANeqExp, caseANewExp, caseANewStmExp, caseANonmodExternMethod, caseANonmodMethod, caseANonvoidReturntype, caseANotExp, caseANullExp, caseAObjectReceiver, caseAOnefield, caseAOnelocal, caseAOrExp, caseAParenExp, caseAPlusExp, caseAPolynullType, caseAReferenceType, caseAReturnSimplestm, caseAReturnStm, caseASecondMainargv, caseASimpleStm, caseASimpleStmNoShortIf, caseASkipSimplestm, caseASkipStm, caseAStringconstExp, caseASuperconsStm, caseASuperReceiver, caseASynchronizedExternMethodmods, caseASynchronizedMethodmods, caseAThisExp, caseATmpcastExp, caseATrueExp, caseAUminusExp, caseAVoidReturntype, caseAVoidType, caseAWhileStm, caseAWhileStmNoShortIf, caseStart, defaultIn, defaultOut, inAAbstractClassmods, inAAbstractExternMethodmods, inAAndExp, inAArgumentList, inAAssignExp, inAAssignStmExp, inABlockSimplestm, inABooleanType, inACallExp, inACallStmExp, inACasttocharExp, inACharconstExp, inACharType, inADeclFirstStm, inADeclStm, inADefaultClassfile, inADivExp, inADynamicStm, inAEqExp, inAExpSimplestm, inAExpStm, inAExtension, inAExternClassfile, inAFalseExp, inAField, inAFinalClassmods, inAFinalExternMethodmods, inAFinalMethodmods, inAFirstField, inAFirstMainargv, inAFormalList, inAForStm, inAForStmNoShortIf, inAGeqExp, inAGtExp, inAIdentifierList, inAIfelseStm, inAIfelseStmNoShortIf, inAIfStm, inAIncStmExp, inAIntconstExp, inAIntType, inALeqExp, inALtExp, inAMethodinvocation, inAMinusExp, inAModExp, inAMultExp, inANeqExp, inANewExp, inANewStmExp, inANonvoidReturntype, inANotExp, inANullExp, inAObjectReceiver, inAOrExp, inAParenExp, inAPlusExp, inAPolynullType, inAReferenceType, inAReturnSimplestm, inAReturnStm, inASecondMainargv, inASimpleStm, inASimpleStmNoShortIf, inASkipSimplestm, inASkipStm, inAStringconstExp, inASuperconsStm, inASuperReceiver, inASynchronizedExternMethodmods, inASynchronizedMethodmods, inAThisExp, inATmpcastExp, inATrueExp, inAUminusExp, inAVoidReturntype, inAVoidType, inAWhileStm, inAWhileStmNoShortIf, inStart, outAAbstractClassmods, outAAbstractExternMethodmods, outAAndExp, outAArgumentList, outAAssignExp, outAAssignment, outAAssignStmExp, outABlockSimplestm, outABooleanType, outACallExp, outACallStmExp, outACastExp, outACasttocharExp, outACharconstExp, outACharType, outAClassinstancecreation, outADeclFirstStm, outADeclStm, outADefaultClassfile, outADivExp, outADynamicStm, outAEqExp, outAExpSimplestm, outAExpStm, outAExtension, outAExternClassfile, outAFalseExp, outAField, outAFinalClassmods, outAFinalExternMethodmods, outAFinalMethodmods, outAFirstField, outAFirstMainargv, outAFormal, outAFormalList, outAForStm, outAForStmNoShortIf, outAGeqExp, outAGtExp, outAIdentifierList, outAIdExp, outAIfelseStm, outAIfelseStmNoShortIf, outAIfStm, outAIncStmExp, outAInstanceofExp, outAIntconstExp, outAIntType, outALeqExp, outALtExp, outAMethodinvocation, outAMinusExp, outAModExp, outAMultExp, outANeqExp, outANewExp, outANewStmExp, outANonvoidReturntype, outANotExp, outANullExp, outAObjectReceiver, outAOnefield, outAOnelocal, outAOrExp, outAParenExp, outAPlusExp, outAPolynullType, outAReferenceType, outAReturnSimplestm, outAReturnStm, outASecondMainargv, outASimpleStm, outASimpleStmNoShortIf, outASkipSimplestm, outASkipStm, outAStringconstExp, outASuperconsStm, outASuperReceiver, outASynchronizedExternMethodmods, outASynchronizedMethodmods, outAThisExp, outATmpcastExp, outATrueExp, outAUminusExp, outAVoidReturntype, outAVoidType, outAWhileStm, outAWhileStmNoShortIf, outStart
 
Methods inherited from class joosc.analysis.AnalysisAdapter
caseEOF, caseTAbstract, caseTAnd, caseTAssign, caseTBlanks, caseTBoolean, caseTBreak, caseTByte, caseTCase, caseTCatch, caseTChar, caseTCharconst, caseTClass, caseTComma, caseTConst, caseTContinue, caseTDefault, caseTDiv, caseTDo, caseTDot, caseTDouble, caseTElse, caseTEolComment, caseTEq, caseTExtComment, caseTExtends, caseTExtern, caseTFalse, caseTFinal, caseTFinally, caseTFloat, caseTFor, caseTGeq, caseTGoto, caseTGt, caseTIdentifier, caseTIf, caseTImplements, caseTImport, caseTImportpath, caseTIn, caseTInc, caseTInstanceof, caseTInt, caseTIntconst, caseTInterface, caseTLBrace, caseTLBracket, caseTLeq, caseTLong, caseTLPar, caseTLt, caseTMain, caseTMinus, caseTMod, caseTMult, caseTNative, caseTNeq, caseTNew, caseTNot, caseTNull, caseTOr, caseTPackage, caseTPlus, caseTPrivate, caseTProtected, caseTPublic, caseTRBrace, caseTRBracket, caseTReturn, caseTRPar, caseTSemicolon, caseTShort, caseTStatic, caseTStringconst, caseTSuper, caseTSwitch, caseTSynchronized, caseTThis, caseTThrow, caseTThrows, caseTTransient, caseTTrue, caseTTry, caseTVoid, caseTVolatile, caseTWhile, defaultCase, getIn, getOut, setIn, setOut
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SymImplementationWalker

public SymImplementationWalker(java.lang.String fn,
                               AnalysisDataManager proxy)
Method Detail

walk

public static void walk(java.util.List theProgram,
                        AnalysisDataManager proxy)

inAClass

public void inAClass(AClass node)
AST Node Visitors *

Overrides:
inAClass in class DepthFirstAdapter

outAClass

public void outAClass(AClass node)
Overrides:
outAClass in class DepthFirstAdapter

inAExternClass

public void inAExternClass(AExternClass node)
Overrides:
inAExternClass in class DepthFirstAdapter

outAExternClass

public void outAExternClass(AExternClass node)
Overrides:
outAExternClass in class DepthFirstAdapter

inAOnefield

public void inAOnefield(AOnefield node)
Overrides:
inAOnefield in class DepthFirstAdapter

inAConstructor

public void inAConstructor(AConstructor node)
Overrides:
inAConstructor in class DepthFirstAdapter

inAExternConstructor

public void inAExternConstructor(AExternConstructor node)
Overrides:
inAExternConstructor in class DepthFirstAdapter

inAnyConstructor

public void inAnyConstructor(Node node)

outAConstructor

public void outAConstructor(AConstructor node)
Overrides:
outAConstructor in class DepthFirstAdapter

outAExternConstructor

public void outAExternConstructor(AExternConstructor node)
Overrides:
outAExternConstructor in class DepthFirstAdapter

outAnyConstructor

public void outAnyConstructor(Node node)

inAModMethod

public void inAModMethod(AModMethod node)
Overrides:
inAModMethod in class DepthFirstAdapter

inANonmodMethod

public void inANonmodMethod(ANonmodMethod node)
Overrides:
inANonmodMethod in class DepthFirstAdapter

inAAbstractMethod

public void inAAbstractMethod(AAbstractMethod node)
Overrides:
inAAbstractMethod in class DepthFirstAdapter

inAMainMethod

public void inAMainMethod(AMainMethod node)
Overrides:
inAMainMethod in class DepthFirstAdapter

inAModExternMethod

public void inAModExternMethod(AModExternMethod node)
Overrides:
inAModExternMethod in class DepthFirstAdapter

inANonmodExternMethod

public void inANonmodExternMethod(ANonmodExternMethod node)
Overrides:
inANonmodExternMethod in class DepthFirstAdapter

inAnyMethod

public void inAnyMethod(Node node)

outAModMethod

public void outAModMethod(AModMethod node)
Overrides:
outAModMethod in class DepthFirstAdapter

outANonmodMethod

public void outANonmodMethod(ANonmodMethod node)
Overrides:
outANonmodMethod in class DepthFirstAdapter

outAAbstractMethod

public void outAAbstractMethod(AAbstractMethod node)
Overrides:
outAAbstractMethod in class DepthFirstAdapter

outAMainMethod

public void outAMainMethod(AMainMethod node)
Overrides:
outAMainMethod in class DepthFirstAdapter

outAModExternMethod

public void outAModExternMethod(AModExternMethod node)
Overrides:
outAModExternMethod in class DepthFirstAdapter

outANonmodExternMethod

public void outANonmodExternMethod(ANonmodExternMethod node)
Overrides:
outANonmodExternMethod in class DepthFirstAdapter

outAnyMethod

public void outAnyMethod(Node node)

inABlockStm

public void inABlockStm(ABlockStm node)
Overrides:
inABlockStm in class DepthFirstAdapter

outABlockStm

public void outABlockStm(ABlockStm node)
Overrides:
outABlockStm in class DepthFirstAdapter

inAFormal

public void inAFormal(AFormal node)
Overrides:
inAFormal in class DepthFirstAdapter

inAOnelocal

public void inAOnelocal(AOnelocal node)
Overrides:
inAOnelocal in class DepthFirstAdapter

inAIdExp

public void inAIdExp(AIdExp node)
Overrides:
inAIdExp in class DepthFirstAdapter

inAAssignment

public void inAAssignment(AAssignment node)
Overrides:
inAAssignment in class DepthFirstAdapter

checkVariableUse

public Symbol checkVariableUse(TIdentifier varId)

inAInstanceofExp

public void inAInstanceofExp(AInstanceofExp node)
Overrides:
inAInstanceofExp in class DepthFirstAdapter

inACastExp

public void inACastExp(ACastExp node)
Overrides:
inACastExp in class DepthFirstAdapter

inAClassinstancecreation

public void inAClassinstancecreation(AClassinstancecreation node)
Overrides:
inAClassinstancecreation in class DepthFirstAdapter

checkClassUse

public Node checkClassUse(TIdentifier classId)

checkType

public void checkType(PType node)