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

Class JavaScriptModRef.JavaScriptRefVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

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

com.ibm.wala.cast.js.ipa.modref.JavaScriptModRef.JavaScriptRefVisitor<T>

All Implemented Interfaces:

com.ibm.wala.cast.ir.ssa.AstInstructionVisitor, JSInstructionVisitor, com.ibm.wala.ssa.SSAInstruction.IVisitor

Enclosing class:

JavaScriptModRef<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>

public static class JavaScriptModRef.JavaScriptRefVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>
extends com.ibm.wala.ipa.modref.ModRef.RefVisitor<T,com.ibm.wala.cast.ipa.callgraph.AstHeapModel>
implements JSInstructionVisitor

Field Summary

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

h, n, pa, result

Constructor Summary

Constructors

Constructor	Description
JavaScriptRefVisitor(com.ibm.wala.ipa.callgraph.CGNode n, java.util.Collection<com.ibm.wala.ipa.callgraph.propagation.PointerKey> result, com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<T> pa, com.ibm.wala.ipa.modref.ExtendedHeapModel h)

Method Summary

Modifier and Type	Method	Description
void	visitCheckRef(JavaScriptCheckReference instruction)
void	visitJavaScriptInstanceOf(JavaScriptInstanceOf instruction)
void	visitJavaScriptInvoke(JavaScriptInvoke instruction)
void	visitPrototypeLookup(PrototypeLookup instruction)
void	visitSetPrototype(SetPrototype instruction)
void	visitTypeOf(JavaScriptTypeOfInstruction instruction)
void	visitWithRegion(JavaScriptWithRegion instruction)

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

visitArrayLength, visitArrayLoad, visitGet

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

visitArrayStore, visitBinaryOp, visitCheckCast, visitComparison, visitConditionalBranch, visitConversion, visitGetCaughtException, visitGoto, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitNew, visitPhi, visitPi, visitPut, 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 Detail

JavaScriptRefVisitor

public JavaScriptRefVisitor(com.ibm.wala.ipa.callgraph.CGNode n,
                            java.util.Collection<com.ibm.wala.ipa.callgraph.propagation.PointerKey> result,
                            com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<T> pa,
                            com.ibm.wala.ipa.modref.ExtendedHeapModel h)

Method Detail

visitJavaScriptInvoke

public void visitJavaScriptInvoke(JavaScriptInvoke instruction)

Specified by:

visitJavaScriptInvoke in interface JSInstructionVisitor

visitTypeOf

public void visitTypeOf(JavaScriptTypeOfInstruction instruction)

Specified by:

visitTypeOf in interface JSInstructionVisitor

visitJavaScriptInstanceOf

public void visitJavaScriptInstanceOf(JavaScriptInstanceOf instruction)

Specified by:

visitJavaScriptInstanceOf in interface JSInstructionVisitor

visitWithRegion

public void visitWithRegion(JavaScriptWithRegion instruction)

Specified by:

visitWithRegion in interface JSInstructionVisitor

visitCheckRef

public void visitCheckRef(JavaScriptCheckReference instruction)

Specified by:

visitCheckRef in interface JSInstructionVisitor

visitSetPrototype

public void visitSetPrototype(SetPrototype instruction)

Specified by:

visitSetPrototype in interface JSInstructionVisitor

visitPrototypeLookup

public void visitPrototypeLookup(PrototypeLookup instruction)

Specified by:

visitPrototypeLookup in interface JSInstructionVisitor