Class AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor

com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

com.ibm.wala.cast.java.ipa.callgraph.AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor

All Implemented Interfaces:

AstInstructionVisitor, AstJavaInstructionVisitor, SSAInstruction.IVisitor

Enclosing class:

AstJavaSSAPropagationCallGraphBuilder

protected static class AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor
extends AstSSAPropagationCallGraphBuilder.AstConstraintVisitor
implements AstJavaInstructionVisitor

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.FieldReadAction, AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.ReflectedFieldAction

Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor

SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer, SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer

Field Summary

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor

basicBlock, builder, du, ir, node, symbolTable, system

Constructor Summary

Constructors

Constructor	Description
AstJavaConstraintVisitor(AstSSAPropagationCallGraphBuilder builder, CGNode node)

Method Summary

Modifier and Type	Method	Description
void	visitEnclosingObjectReference(EnclosingObjectReference inst)
void	visitJavaInvoke(AstJavaInvokeInstruction instruction)
void	visitNew(SSANewInstruction instruction)

Methods inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

fieldReadAction, getBuilder, getPointerKeyForObjectCatalog, getPointerKeysForReflectedFieldRead, getPointerKeysForReflectedFieldWrite, newFieldFullOperation, newFieldOperationFieldConstant, newFieldOperationObjectAndFieldConstant, newFieldOperationOnlyFieldConstant, newFieldOperationOnlyObjectConstant, newFieldRead, newFieldRead, newFieldWrite, newFieldWrite, newFieldWrite, newFieldWrite, newFieldWrite, visitAssert, visitAstGlobalRead, visitAstGlobalWrite, visitAstLexicalRead, visitAstLexicalWrite, visitEachElementGet, visitEachElementHasNext, visitEcho, visitIsDefined, visitPropertyRead, visitPropertyWrite, visitPut

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor

contentsAreInvariant, contentsAreInvariant, doVisitArrayLoad, doVisitArrayStore, getAnalysisCache, getBasicBlock, getClassHierarchy, getFilteredPointerKeyForLocal, getInstanceKeyForAllocation, getInstanceKeyForClassObject, getInstanceKeyForConstant, getInstanceKeyForMultiNewArray, getInstanceKeyForPEI, getInvariantContents, getInvariantContents, getOptions, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField, getTargetForCall, hasNoInterestingUses, isRootType, processClassInitializer, processPutField, processPutStatic, setBasicBlock, visitArrayLoad, visitArrayStore, visitCheckCast, visitGet, visitGetCaughtException, visitGetInternal, visitInvoke, visitInvokeInternal, visitLoadMetadata, visitPhi, visitPi, visitPutInternal, visitReturn, visitThrow

Methods inherited from class com.ibm.wala.ssa.SSAInstruction.Visitor

visitArrayLength, visitBinaryOp, visitComparison, visitConditionalBranch, visitConversion, visitGoto, visitInstanceof, visitMonitor, visitSwitch, visitUnaryOp

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.ibm.wala.cast.ir.ssa.AstInstructionVisitor

visitAssert, visitAstGlobalRead, visitAstGlobalWrite, visitAstLexicalRead, visitAstLexicalWrite, visitEachElementGet, visitEachElementHasNext, visitEcho, visitIsDefined, visitPropertyRead, visitPropertyWrite, visitYield

Methods inherited from interface com.ibm.wala.ssa.SSAInstruction.IVisitor

visitArrayLength, visitArrayLoad, visitArrayStore, visitBinaryOp, visitCheckCast, visitComparison, visitConditionalBranch, visitConversion, visitGet, visitGetCaughtException, visitGoto, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitPhi, visitPi, visitPut, visitReturn, visitSwitch, visitThrow, visitUnaryOp

Constructor Details

AstJavaConstraintVisitor

public AstJavaConstraintVisitor(AstSSAPropagationCallGraphBuilder builder,
 CGNode node)

Method Details

visitEnclosingObjectReference

public void visitEnclosingObjectReference(EnclosingObjectReference inst)

Specified by:

visitEnclosingObjectReference in interface AstJavaInstructionVisitor

visitNew

public void visitNew(SSANewInstruction instruction)

Specified by:

visitNew in interface SSAInstruction.IVisitor

Overrides:

visitNew in class SSAPropagationCallGraphBuilder.ConstraintVisitor

visitJavaInvoke

public void visitJavaInvoke(AstJavaInvokeInstruction instruction)

Specified by:

visitJavaInvoke in interface AstJavaInstructionVisitor