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

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

All Implemented Interfaces:

AstInstructionVisitor, SSAInstruction.IVisitor

Direct Known Subclasses:

AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor, JSSSAPropagationCallGraphBuilder.JSConstraintVisitor

Enclosing class:

AstSSAPropagationCallGraphBuilder

protected static class AstSSAPropagationCallGraphBuilder.AstConstraintVisitor
extends SSAPropagationCallGraphBuilder.ConstraintVisitor
implements AstInstructionVisitor

Field Summary

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

builder, du, ir, node, symbolTable, system

Constructor Summary

AstSSAPropagationCallGraphBuilder.AstConstraintVisitor(AstSSAPropagationCallGraphBuilder builder, ExplicitCallGraph.ExplicitNode node)

Method Summary

protected AstSSAPropagationCallGraphBuilder	getBuilder()
PointerKey	getPointerKeyForObjectCatalog(InstanceKey I)
java.util.Iterator<PointerKey>	getPointerKeysForReflectedFieldRead(InstanceKey I, InstanceKey F)
java.util.Iterator<PointerKey>	getPointerKeysForReflectedFieldWrite(InstanceKey I, InstanceKey F)
protected void	newFieldRead(CGNode opNode, int objVn, int fieldsVn, int lhsVn)
protected void	newFieldRead(CGNode opNode, int objVn, int fieldsVn, PointerKey lhs)
protected void	newFieldWrite(CGNode opNode, int objVn, int fieldsVn, InstanceKey[] rhsFixedValues)
protected void	newFieldWrite(CGNode opNode, int objVn, int fieldsVn, int rhsVn)
protected void	newFieldWrite(CGNode opNode, int objVn, int fieldsVn, PointerKey rhs)
void	visitAssert(AstAssertInstruction instruction)
void	visitAstGlobalRead(AstGlobalRead instruction)
void	visitAstGlobalWrite(AstGlobalWrite instruction)
void	visitAstLexicalRead(AstLexicalRead instruction)
void	visitAstLexicalWrite(AstLexicalWrite instruction)
void	visitEachElementGet(EachElementGetInstruction inst)
void	visitEachElementHasNext(EachElementHasNextInstruction inst)
void	visitEcho(AstEchoInstruction inst)
void	visitIsDefined(AstIsDefinedInstruction inst)
void	visitNonExceptingThrow(NonExceptingThrowInstruction inst)
void	visitPut(SSAPutInstruction inst)

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

computeInvariantParameters, contentsAreInvariant, doVisitArrayLoad, doVisitArrayStore, getAnalysisCache, getBasicBlock, getClassHierarchy, getFilteredPointerKeyForLocal, getInstanceKeyForAllocation, getInstanceKeyForClassObject, getInstanceKeyForConstant, getInstanceKeyForMultiNewArray, getInstanceKeyForPEI, getInvariantContents, getInvariantContents, getOptions, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField, getTargetForCall, hasNoInterestingUses, isRootType, setBasicBlock, visitArrayLoad, visitArrayStore, visitCheckCast, visitGet, visitGetCaughtException, visitGetInternal, visitInvoke, visitInvokeInternal, visitLoadClass, visitNew, 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.ssa.SSAInstruction.IVisitor

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

Constructor Detail

AstSSAPropagationCallGraphBuilder.AstConstraintVisitor

public AstSSAPropagationCallGraphBuilder.AstConstraintVisitor(AstSSAPropagationCallGraphBuilder builder,
                                                              ExplicitCallGraph.ExplicitNode node)

Method Detail

getBuilder

protected AstSSAPropagationCallGraphBuilder getBuilder()

Overrides:

getBuilder in class SSAPropagationCallGraphBuilder.ConstraintVisitor

getPointerKeyForObjectCatalog

public PointerKey getPointerKeyForObjectCatalog(InstanceKey I)

getPointerKeysForReflectedFieldRead

public java.util.Iterator<PointerKey> getPointerKeysForReflectedFieldRead(InstanceKey I,
                                                                          InstanceKey F)

getPointerKeysForReflectedFieldWrite

public java.util.Iterator<PointerKey> getPointerKeysForReflectedFieldWrite(InstanceKey I,
                                                                           InstanceKey F)

visitNonExceptingThrow

public void visitNonExceptingThrow(NonExceptingThrowInstruction inst)

Specified by:

visitNonExceptingThrow in interface AstInstructionVisitor

visitAstLexicalRead

public void visitAstLexicalRead(AstLexicalRead instruction)

Specified by:

visitAstLexicalRead in interface AstInstructionVisitor

visitAstLexicalWrite

public void visitAstLexicalWrite(AstLexicalWrite instruction)

Specified by:

visitAstLexicalWrite in interface AstInstructionVisitor

visitAstGlobalRead

public void visitAstGlobalRead(AstGlobalRead instruction)

Specified by:

visitAstGlobalRead in interface AstInstructionVisitor

visitAstGlobalWrite

public void visitAstGlobalWrite(AstGlobalWrite instruction)

Specified by:

visitAstGlobalWrite in interface AstInstructionVisitor

visitPut

public void visitPut(SSAPutInstruction inst)

Specified by:

visitPut in interface SSAInstruction.IVisitor

Overrides:

visitPut in class SSAPropagationCallGraphBuilder.ConstraintVisitor

visitAssert

public void visitAssert(AstAssertInstruction instruction)

Specified by:

visitAssert in interface AstInstructionVisitor

visitEachElementHasNext

public void visitEachElementHasNext(EachElementHasNextInstruction inst)

Specified by:

visitEachElementHasNext in interface AstInstructionVisitor

visitEachElementGet

public void visitEachElementGet(EachElementGetInstruction inst)

Specified by:

visitEachElementGet in interface AstInstructionVisitor

visitIsDefined

public void visitIsDefined(AstIsDefinedInstruction inst)

Specified by:

visitIsDefined in interface AstInstructionVisitor

visitEcho

public void visitEcho(AstEchoInstruction inst)

Specified by:

visitEcho in interface AstInstructionVisitor

newFieldWrite

protected void newFieldWrite(CGNode opNode,
                             int objVn,
                             int fieldsVn,
                             int rhsVn)

newFieldWrite

protected void newFieldWrite(CGNode opNode,
                             int objVn,
                             int fieldsVn,
                             InstanceKey[] rhsFixedValues)

newFieldWrite

protected void newFieldWrite(CGNode opNode,
                             int objVn,
                             int fieldsVn,
                             PointerKey rhs)

newFieldRead

protected void newFieldRead(CGNode opNode,
                            int objVn,
                            int fieldsVn,
                            int lhsVn)

newFieldRead

protected void newFieldRead(CGNode opNode,
                            int objVn,
                            int fieldsVn,
                            PointerKey lhs)