Package com.ibm.wala.cast.java.analysis.typeInference

Class AstJavaTypeInference.AstJavaTypeOperatorFactory

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory

com.ibm.wala.cast.analysis.typeInference.AstTypeInference.AstTypeOperatorFactory

com.ibm.wala.cast.java.analysis.typeInference.AstJavaTypeInference.AstJavaTypeOperatorFactory

All Implemented Interfaces:

AstInstructionVisitor, AstJavaInstructionVisitor, SSAInference.OperatorFactory<TypeVariable>, IVisitorWithAddresses, SSAInstruction.IVisitor

Enclosing class:

AstJavaTypeInference

protected class AstJavaTypeInference.AstJavaTypeOperatorFactory
extends AstTypeInference.AstTypeOperatorFactory
implements AstJavaInstructionVisitor

Field Summary

Fields inherited from class com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory

result

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AstJavaTypeOperatorFactory()

Method Summary

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

Methods inherited from class com.ibm.wala.cast.analysis.typeInference.AstTypeInference.AstTypeOperatorFactory

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

Methods inherited from class com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory

get, visitAddressOf, visitArrayLength, visitArrayLoad, visitCheckCast, visitComparison, visitConversion, visitGet, visitGetCaughtException, visitInstanceof, visitInvoke, visitLoadIndirect, visitLoadMetadata, visitNew, visitPhi, visitPi, visitStoreIndirect, visitUnaryOp

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

visitArrayStore, visitConditionalBranch, visitGoto, visitMonitor, visitPut, visitReturn, visitSwitch, visitThrow

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

Constructor Details

AstJavaTypeOperatorFactory

protected AstJavaTypeOperatorFactory()

Method Details

visitBinaryOp

public void visitBinaryOp(SSABinaryOpInstruction instruction)

Specified by:

visitBinaryOp in interface SSAInstruction.IVisitor

Overrides:

visitBinaryOp in class TypeInference.TypeOperatorFactory

visitEnclosingObjectReference

public void visitEnclosingObjectReference(EnclosingObjectReference inst)

Specified by:

visitEnclosingObjectReference in interface AstJavaInstructionVisitor

visitJavaInvoke

public void visitJavaInvoke(AstJavaInvokeInstruction instruction)

Specified by:

visitJavaInvoke in interface AstJavaInstructionVisitor