Class AstJavaModRef.AstJavaRefVisitor<T extends InstanceKey>

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

com.ibm.wala.ipa.modref.ModRef.RefVisitor<T, AstHeapModel>

com.ibm.wala.cast.ipa.modref.AstModRef.AstRefVisitor<T>

com.ibm.wala.cast.java.ipa.modref.AstJavaModRef.AstJavaRefVisitor<T>

All Implemented Interfaces:

AstInstructionVisitor, AstJavaInstructionVisitor, SSAInstruction.IVisitor

Enclosing class:

AstJavaModRef<T extends InstanceKey>

protected static class AstJavaModRef.AstJavaRefVisitor<T extends InstanceKey>
extends AstModRef.AstRefVisitor<T>
implements AstJavaInstructionVisitor

Field Summary

Fields inherited from class ModRef.RefVisitor

h, n, pa, result

Modifier and Type	Field	Description
protected final AstHeapModel	h
protected final CGNode	n
protected final PointerAnalysis<T>	pa
protected final Collection<PointerKey>	result

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AstJavaRefVisitor(CGNode n, Collection<PointerKey> result, PointerAnalysis<T> pa, ExtendedHeapModel h)

Method Summary

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

Methods inherited from class AstModRef.AstRefVisitor

visitPropertyRead, visitPropertyWrite

Modifier and Type	Method	Description
void	visitPropertyRead(AstPropertyRead instruction)
void	visitPropertyWrite(AstPropertyWrite instruction)

Methods inherited from class ModRef.RefVisitor

visitArrayLength, visitArrayLoad, visitGet

Modifier and Type	Method	Description
void	visitArrayLength(SSAArrayLengthInstruction instruction)
void	visitArrayLoad(SSAArrayLoadInstruction instruction)
void	visitGet(SSAGetInstruction instruction)

Methods inherited from class Object

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

Methods inherited from interface AstInstructionVisitor

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

Modifier and Type	Method	Description
default void	visitAssert(AstAssertInstruction instruction)
default void	visitAstGlobalRead(AstGlobalRead instruction)
default void	visitAstGlobalWrite(AstGlobalWrite instruction)
default void	visitAstLexicalRead(AstLexicalRead instruction)
default void	visitAstLexicalWrite(AstLexicalWrite instruction)
default void	visitEachElementGet(EachElementGetInstruction inst)
default void	visitEachElementHasNext(EachElementHasNextInstruction inst)
default void	visitEcho(AstEchoInstruction inst)
default void	visitIsDefined(AstIsDefinedInstruction inst)
default void	visitYield(AstYieldInstruction inst)

Methods inherited from interface SSAInstruction.IVisitor

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

Modifier and Type	Method	Description
default void	visitArrayStore(SSAArrayStoreInstruction instruction)
default void	visitBinaryOp(SSABinaryOpInstruction instruction)
default void	visitCheckCast(SSACheckCastInstruction instruction)
default void	visitComparison(SSAComparisonInstruction instruction)
default void	visitConditionalBranch(SSAConditionalBranchInstruction instruction)
default void	visitConversion(SSAConversionInstruction instruction)
default void	visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
default void	visitGoto(SSAGotoInstruction instruction)
default void	visitInstanceof(SSAInstanceofInstruction instruction)
default void	visitInvoke(SSAInvokeInstruction instruction)
default void	visitLoadMetadata(SSALoadMetadataInstruction instruction)
default void	visitMonitor(SSAMonitorInstruction instruction)
default void	visitNew(SSANewInstruction instruction)
default void	visitPhi(SSAPhiInstruction instruction)
default void	visitPi(SSAPiInstruction instruction)
default void	visitPut(SSAPutInstruction instruction)
default void	visitReturn(SSAReturnInstruction instruction)
default void	visitSwitch(SSASwitchInstruction instruction)
default void	visitThrow(SSAThrowInstruction instruction)
default void	visitUnaryOp(SSAUnaryOpInstruction instruction)

Constructor Details

AstJavaRefVisitor

protected AstJavaRefVisitor(CGNode n,
 Collection<PointerKey> result,
 PointerAnalysis<T> pa,
 ExtendedHeapModel h)

Method Details

visitJavaInvoke

public void visitJavaInvoke(AstJavaInvokeInstruction instruction)

Specified by:

visitJavaInvoke in interface AstJavaInstructionVisitor

visitEnclosingObjectReference

public void visitEnclosingObjectReference(EnclosingObjectReference inst)

Specified by:

visitEnclosingObjectReference in interface AstJavaInstructionVisitor