com.ibm.wala.analysis.typeInference

Class TypeInference.TypeOperatorFactory

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

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

All Implemented Interfaces:

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

Enclosing class:

TypeInference

protected class TypeInference.TypeOperatorFactory
extends SSAInstruction.Visitor
implements IVisitorWithAddresses, SSAInference.OperatorFactory<TypeVariable>

Field Summary

Fields

Modifier and Type	Field and Description
protected com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>	result

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TypeInference.TypeOperatorFactory()

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>	get(SSAInstruction instruction) Get the dataflow operator induced by an instruction in SSA form.
void	visitAddressOf(SSAAddressOfInstruction instruction)
void	visitArrayLength(SSAArrayLengthInstruction instruction)
void	visitArrayLoad(SSAArrayLoadInstruction instruction)
void	visitBinaryOp(SSABinaryOpInstruction instruction)
void	visitCheckCast(SSACheckCastInstruction instruction)
void	visitComparison(SSAComparisonInstruction instruction)
void	visitConversion(SSAConversionInstruction instruction)
void	visitGet(SSAGetInstruction instruction)
void	visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
void	visitInstanceof(SSAInstanceofInstruction instruction)
void	visitInvoke(SSAInvokeInstruction instruction)
void	visitLoadIndirect(SSALoadIndirectInstruction instruction)
void	visitLoadMetadata(SSALoadMetadataInstruction instruction)
void	visitNew(SSANewInstruction instruction)
void	visitPhi(SSAPhiInstruction instruction)
void	visitPi(SSAPiInstruction instruction)
void	visitStoreIndirect(SSAStoreIndirectInstruction instruction)
void	visitUnaryOp(SSAUnaryOpInstruction instruction)

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.ssa.SSAInstruction.IVisitor

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

Field Detail

result

protected com.ibm.wala.fixpoint.AbstractOperator<TypeVariable> result

Constructor Detail

TypeInference.TypeOperatorFactory

protected TypeInference.TypeOperatorFactory()

Method Detail

get

public com.ibm.wala.fixpoint.AbstractOperator<TypeVariable> get(SSAInstruction instruction)

Description copied from interface: SSAInference.OperatorFactory

Get the dataflow operator induced by an instruction in SSA form.

Specified by:

get in interface SSAInference.OperatorFactory<TypeVariable>

Returns:

dataflow operator for the instruction, or null if the instruction is not applicable to the dataflow system.

visitArrayLoad

public void visitArrayLoad(SSAArrayLoadInstruction instruction)

Specified by:

visitArrayLoad in interface SSAInstruction.IVisitor

Overrides:

visitArrayLoad in class SSAInstruction.Visitor

visitArrayLength

public void visitArrayLength(SSAArrayLengthInstruction instruction)

Specified by:

visitArrayLength in interface SSAInstruction.IVisitor

Overrides:

visitArrayLength in class SSAInstruction.Visitor

visitLoadMetadata

public void visitLoadMetadata(SSALoadMetadataInstruction instruction)

Specified by:

visitLoadMetadata in interface SSAInstruction.IVisitor

Overrides:

visitLoadMetadata in class SSAInstruction.Visitor

visitGet

public void visitGet(SSAGetInstruction instruction)

Specified by:

visitGet in interface SSAInstruction.IVisitor

Overrides:

visitGet in class SSAInstruction.Visitor

visitInvoke

public void visitInvoke(SSAInvokeInstruction instruction)

Specified by:

visitInvoke in interface SSAInstruction.IVisitor

Overrides:

visitInvoke in class SSAInstruction.Visitor

visitNew

public void visitNew(SSANewInstruction instruction)

Specified by:

visitNew in interface SSAInstruction.IVisitor

Overrides:

visitNew in class SSAInstruction.Visitor

visitCheckCast

public void visitCheckCast(SSACheckCastInstruction instruction)

Specified by:

visitCheckCast in interface SSAInstruction.IVisitor

Overrides:

visitCheckCast in class SSAInstruction.Visitor

visitConversion

public void visitConversion(SSAConversionInstruction instruction)

Specified by:

visitConversion in interface SSAInstruction.IVisitor

Overrides:

visitConversion in class SSAInstruction.Visitor

visitComparison

public void visitComparison(SSAComparisonInstruction instruction)

Specified by:

visitComparison in interface SSAInstruction.IVisitor

Overrides:

visitComparison in class SSAInstruction.Visitor

visitBinaryOp

public void visitBinaryOp(SSABinaryOpInstruction instruction)

Specified by:

visitBinaryOp in interface SSAInstruction.IVisitor

Overrides:

visitBinaryOp in class SSAInstruction.Visitor

visitUnaryOp

public void visitUnaryOp(SSAUnaryOpInstruction instruction)

Specified by:

visitUnaryOp in interface SSAInstruction.IVisitor

Overrides:

visitUnaryOp in class SSAInstruction.Visitor

visitInstanceof

public void visitInstanceof(SSAInstanceofInstruction instruction)

Specified by:

visitInstanceof in interface SSAInstruction.IVisitor

Overrides:

visitInstanceof in class SSAInstruction.Visitor

visitGetCaughtException

public void visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)

Specified by:

visitGetCaughtException in interface SSAInstruction.IVisitor

Overrides:

visitGetCaughtException in class SSAInstruction.Visitor

visitPhi

public void visitPhi(SSAPhiInstruction instruction)

Specified by:

visitPhi in interface SSAInstruction.IVisitor

Overrides:

visitPhi in class SSAInstruction.Visitor

visitPi

public void visitPi(SSAPiInstruction instruction)

Specified by:

visitPi in interface SSAInstruction.IVisitor

Overrides:

visitPi in class SSAInstruction.Visitor

visitAddressOf

public void visitAddressOf(SSAAddressOfInstruction instruction)

Specified by:

visitAddressOf in interface IVisitorWithAddresses

visitLoadIndirect

public void visitLoadIndirect(SSALoadIndirectInstruction instruction)

Specified by:

visitLoadIndirect in interface IVisitorWithAddresses

visitStoreIndirect

public void visitStoreIndirect(SSAStoreIndirectInstruction instruction)

Specified by:

visitStoreIndirect in interface IVisitorWithAddresses