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

Direct Known Subclasses:

AstTypeInference.AstTypeOperatorFactory

Enclosing class:

TypeInference

protected class TypeInference.TypeOperatorFactory
extends SSAInstruction.Visitor
implements SSAInference.OperatorFactory

Field Summary

protected AbstractOperator

result

Constructor Summary

protected

TypeInference.TypeOperatorFactory()

Method Summary

AbstractOperator	get(SSAInstruction instruction) Get the dataflow operator induced by an instruction in SSA form.
void	visitArrayLength(SSAArrayLengthInstruction instruction)
void	visitArrayLoad(SSAArrayLoadInstruction instruction)
void	visitBinaryOp(SSABinaryOpInstruction instruction)
void	visitCheckCast(SSACheckCastInstruction instruction)
void	visitConversion(SSAConversionInstruction instruction)
void	visitGet(SSAGetInstruction instruction)
void	visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
void	visitInstanceof(SSAInstanceofInstruction instruction)
void	visitInvoke(SSAInvokeInstruction instruction)
void	visitNew(SSANewInstruction instruction)
void	visitPhi(SSAPhiInstruction instruction)
void	visitPi(SSAPiInstruction instruction)
void	visitUnaryOp(SSAUnaryOpInstruction instruction)

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

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

Methods inherited from class java.lang.Object

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

Field Detail

result

protected AbstractOperator result

Constructor Detail

TypeInference.TypeOperatorFactory

protected TypeInference.TypeOperatorFactory()

Method Detail

get

public AbstractOperator 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

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

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

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