Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

joosc.type
Class TypeImplementationWalker

java.lang.Object
  extended byjoosc.analysis.AnalysisAdapter
      extended byjoosc.analysis.DepthFirstAdapter
          extended byjoosc.type.AbstractTypeWalker
              extended byjoosc.type.TypeImplementationWalker
All Implemented Interfaces:
Analysis, Switch, Symbol.Constants
public class TypeImplementationWalker
extends AbstractTypeWalker

Nested Class Summary
 
Nested classes inherited from class joosc.symbol.Symbol.Constants
Symbol.Constants.SymbolKind
 
Field Summary
 
Fields inherited from class joosc.type.AbstractTypeWalker
astToGenericMap, filename, hierarchy, symAnnotations
 
Fields inherited from interface joosc.symbol.Symbol.Constants
classSymK, fieldSymK, formalSymK, localSymK, methodSymK
 
Constructor Summary
TypeImplementationWalker(java.lang.String filename, AnalysisDataManager proxy)
           
 
Method Summary
 void inAAbstractMethod(AAbstractMethod node)
           
 void inAClass(AClass node)
          AST Node Visitors *
 void inAConstructor(AConstructor node)
           
 void inAExternClass(AExternClass node)
           
 void inAExternConstructor(AExternConstructor node)
           
 void inAMainMethod(AMainMethod node)
           
 void inAModExternMethod(AModExternMethod node)
           
 void inAModMethod(AModMethod node)
           
 void inANonmodExternMethod(ANonmodExternMethod node)
           
 void inANonmodMethod(ANonmodMethod node)
           
 void outAAndExp(AAndExp node)
           
 void outAAssignExp(AAssignExp node)
           
 void outAAssignment(AAssignment node)
           
 void outAAssignStmExp(AAssignStmExp node)
           
 void outACallExp(ACallExp node)
           
 void outACallStmExp(ACallStmExp node)
           
 void outACastExp(ACastExp node)
           
 void outACasttocharExp(ACasttocharExp node)
           
 void outACharconstExp(ACharconstExp node)
           
 void outAClass(AClass node)
           
 void outAClassinstancecreation(AClassinstancecreation node)
           
 void outADivExp(ADivExp node)
           
 void outAEqExp(AEqExp node)
           
 void outAExternClass(AExternClass node)
           
 void outAFalseExp(AFalseExp node)
           
 void outAGeqExp(AGeqExp node)
           
 void outAGtExp(AGtExp node)
           
 void outAIdExp(AIdExp node)
           
 void outAIfelseStm(AIfelseStm node)
           
 void outAIfStm(AIfStm node)
           
 void outAInstanceofExp(AInstanceofExp node)
           
 void outAIntconstExp(AIntconstExp node)
           
 void outALeqExp(ALeqExp node)
           
 void outALtExp(ALtExp node)
           
 void outAMethodinvocation(AMethodinvocation node)
           
 void outAMinusExp(AMinusExp node)
           
 void outAModExp(AModExp node)
           
 void outAMultExp(AMultExp node)
           
 void outANeqExp(ANeqExp node)
           
 void outANewExp(ANewExp node)
           
 void outANewStmExp(ANewStmExp node)
           
 void outANotExp(ANotExp node)
           
 void outANullExp(ANullExp node)
           
 void outAObjectReceiver(AObjectReceiver node)
           
 void outAOrExp(AOrExp node)
           
 void outAParenExp(AParenExp node)
           
 void outAPlusExp(APlusExp node)
           
 void outAReturnStm(AReturnStm node)
           
 void outAStringconstExp(AStringconstExp node)
           
 void outASuperconsStm(ASuperconsStm node)
           
 void outASuperReceiver(ASuperReceiver node)
           
 void outAThisExp(AThisExp node)
           
 void outATrueExp(ATrueExp node)
           
 void outAUminusExp(AUminusExp node)
           
 void outAWhileStm(AWhileStm node)
           
 void setReturntype(PReturntype rt)
           
static void walk(java.util.List theProgram, AnalysisDataManager proxy)
           
 
Methods inherited from class joosc.type.AbstractTypeWalker
equalFormals, equalTypes
 
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, inAAssignment, inAAssignStmExp, inABlockSimplestm, inABlockStm, inABooleanType, inACallExp, inACallStmExp, inACastExp, inACasttocharExp, inACharconstExp, inACharType, inAClassinstancecreation, inADeclFirstStm, inADeclStm, inADefaultClassfile, inADivExp, inADynamicStm, inAEqExp, inAExpSimplestm, inAExpStm, inAExtension, inAExternClassfile, inAFalseExp, inAField, inAFinalClassmods, inAFinalExternMethodmods, inAFinalMethodmods, inAFirstField, inAFirstMainargv, inAFormal, inAFormalList, inAForStm, inAForStmNoShortIf, inAGeqExp, inAGtExp, inAIdentifierList, inAIdExp, inAIfelseStm, inAIfelseStmNoShortIf, inAIfStm, inAIncStmExp, inAInstanceofExp, inAIntconstExp, inAIntType, inALeqExp, inALtExp, inAMethodinvocation, inAMinusExp, inAModExp, inAMultExp, inANeqExp, inANewExp, inANewStmExp, inANonvoidReturntype, inANotExp, inANullExp, inAObjectReceiver, inAOnefield, inAOnelocal, 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, outAAbstractMethod, outAArgumentList, outABlockSimplestm, outABlockStm, outABooleanType, outACharType, outAConstructor, outADeclFirstStm, outADeclStm, outADefaultClassfile, outADynamicStm, outAExpSimplestm, outAExpStm, outAExtension, outAExternClassfile, outAExternConstructor, outAField, outAFinalClassmods, outAFinalExternMethodmods, outAFinalMethodmods, outAFirstField, outAFirstMainargv, outAFormal, outAFormalList, outAForStm, outAForStmNoShortIf, outAIdentifierList, outAIfelseStmNoShortIf, outAIncStmExp, outAIntType, outAMainMethod, outAModExternMethod, outAModMethod, outANonmodExternMethod, outANonmodMethod, outANonvoidReturntype, outAOnefield, outAOnelocal, outAPolynullType, outAReferenceType, outAReturnSimplestm, outASecondMainargv, outASimpleStm, outASimpleStmNoShortIf, outASkipSimplestm, outASkipStm, outASynchronizedExternMethodmods, outASynchronizedMethodmods, outATmpcastExp, outAVoidReturntype, outAVoidType, 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

TypeImplementationWalker

public TypeImplementationWalker(java.lang.String filename,
                                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

inAConstructor

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

inAExternConstructor

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

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

setReturntype

public void setReturntype(PReturntype rt)

outAReturnStm

public void outAReturnStm(AReturnStm node)
Overrides:
outAReturnStm in class DepthFirstAdapter

outASuperconsStm

public void outASuperconsStm(ASuperconsStm node)
Overrides:
outASuperconsStm in class DepthFirstAdapter

outAIfStm

public void outAIfStm(AIfStm node)
Overrides:
outAIfStm in class DepthFirstAdapter

outAIfelseStm

public void outAIfelseStm(AIfelseStm node)
Overrides:
outAIfelseStm in class DepthFirstAdapter

outAWhileStm

public void outAWhileStm(AWhileStm node)
Overrides:
outAWhileStm in class DepthFirstAdapter

outAAssignStmExp

public void outAAssignStmExp(AAssignStmExp node)
Overrides:
outAAssignStmExp in class DepthFirstAdapter

outACallStmExp

public void outACallStmExp(ACallStmExp node)
Overrides:
outACallStmExp in class DepthFirstAdapter

outANewStmExp

public void outANewStmExp(ANewStmExp node)
Overrides:
outANewStmExp in class DepthFirstAdapter

outAAssignment

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

outAAssignExp

public void outAAssignExp(AAssignExp node)
Overrides:
outAAssignExp in class DepthFirstAdapter

outAOrExp

public void outAOrExp(AOrExp node)
Overrides:
outAOrExp in class DepthFirstAdapter

outAAndExp

public void outAAndExp(AAndExp node)
Overrides:
outAAndExp in class DepthFirstAdapter

outAEqExp

public void outAEqExp(AEqExp node)
Overrides:
outAEqExp in class DepthFirstAdapter

outANeqExp

public void outANeqExp(ANeqExp node)
Overrides:
outANeqExp in class DepthFirstAdapter

outALtExp

public void outALtExp(ALtExp node)
Overrides:
outALtExp in class DepthFirstAdapter

outAGtExp

public void outAGtExp(AGtExp node)
Overrides:
outAGtExp in class DepthFirstAdapter

outALeqExp

public void outALeqExp(ALeqExp node)
Overrides:
outALeqExp in class DepthFirstAdapter

outAGeqExp

public void outAGeqExp(AGeqExp node)
Overrides:
outAGeqExp in class DepthFirstAdapter

outAInstanceofExp

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

outAPlusExp

public void outAPlusExp(APlusExp node)
Overrides:
outAPlusExp in class DepthFirstAdapter

outAMinusExp

public void outAMinusExp(AMinusExp node)
Overrides:
outAMinusExp in class DepthFirstAdapter

outAMultExp

public void outAMultExp(AMultExp node)
Overrides:
outAMultExp in class DepthFirstAdapter

outADivExp

public void outADivExp(ADivExp node)
Overrides:
outADivExp in class DepthFirstAdapter

outAModExp

public void outAModExp(AModExp node)
Overrides:
outAModExp in class DepthFirstAdapter

outAUminusExp

public void outAUminusExp(AUminusExp node)
Overrides:
outAUminusExp in class DepthFirstAdapter

outANotExp

public void outANotExp(ANotExp node)
Overrides:
outANotExp in class DepthFirstAdapter

outACastExp

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

outACasttocharExp

public void outACasttocharExp(ACasttocharExp node)
Overrides:
outACasttocharExp in class DepthFirstAdapter

outAIdExp

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

outAThisExp

public void outAThisExp(AThisExp node)
Overrides:
outAThisExp in class DepthFirstAdapter

outAParenExp

public void outAParenExp(AParenExp node)
Overrides:
outAParenExp in class DepthFirstAdapter

outANewExp

public void outANewExp(ANewExp node)
Overrides:
outANewExp in class DepthFirstAdapter

outACallExp

public void outACallExp(ACallExp node)
Overrides:
outACallExp in class DepthFirstAdapter

outAIntconstExp

public void outAIntconstExp(AIntconstExp node)
Overrides:
outAIntconstExp in class DepthFirstAdapter

outATrueExp

public void outATrueExp(ATrueExp node)
Overrides:
outATrueExp in class DepthFirstAdapter

outAFalseExp

public void outAFalseExp(AFalseExp node)
Overrides:
outAFalseExp in class DepthFirstAdapter

outACharconstExp

public void outACharconstExp(ACharconstExp node)
Overrides:
outACharconstExp in class DepthFirstAdapter

outAStringconstExp

public void outAStringconstExp(AStringconstExp node)
Overrides:
outAStringconstExp in class DepthFirstAdapter

outANullExp

public void outANullExp(ANullExp node)
Overrides:
outANullExp in class DepthFirstAdapter

outAClassinstancecreation

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

outAMethodinvocation

public void outAMethodinvocation(AMethodinvocation node)
Overrides:
outAMethodinvocation in class DepthFirstAdapter

outAObjectReceiver

public void outAObjectReceiver(AObjectReceiver node)
Overrides:
outAObjectReceiver in class DepthFirstAdapter

outASuperReceiver

public void outASuperReceiver(ASuperReceiver node)
Overrides:
outASuperReceiver in class DepthFirstAdapter
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD