Package com.ibm.wala.cast.java.ipa.modref

Class AstJavaModRef.AstJavaModVisitor<T extends InstanceKey>

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

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

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

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

All Implemented Interfaces:

AstInstructionVisitor, AstJavaInstructionVisitor, SSAInstruction.IVisitor

Enclosing class:

AstJavaModRef<T extends InstanceKey>

protected static class AstJavaModRef.AstJavaModVisitor<T extends InstanceKey>
extends AstModRef.AstModVisitor<T>
implements AstJavaInstructionVisitor

Field Summary

Fields inherited from class com.ibm.wala.ipa.modref.ModRef.ModVisitor

h, n, pa, result

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class com.ibm.wala.cast.ipa.modref.AstModRef.AstModVisitor

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

Methods inherited from class com.ibm.wala.ipa.modref.ModRef.ModVisitor

visitArrayStore, visitNew, visitPut

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

visitArrayLength, visitArrayLoad, visitBinaryOp, visitCheckCast, visitComparison, visitConditionalBranch, visitConversion, visitGet, visitGetCaughtException, visitGoto, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitPhi, visitPi, visitReturn, visitSwitch, visitThrow, 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, visitNew, visitPhi, visitPi, visitPut, visitReturn, visitSwitch, visitThrow, visitUnaryOp

Constructor Details

AstJavaModVisitor

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

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