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
- Direct Known Subclasses:
AstTypeInference.AstTypeOperatorFactory
- Enclosing class:
- TypeInference
protected class TypeInference.TypeOperatorFactory extends SSAInstruction.Visitor implements IVisitorWithAddresses, SSAInference.OperatorFactory<TypeVariable>
-
-
Field Summary
Fields Modifier and Type Field Description protected AbstractOperator<TypeVariable>
result
-
Constructor Summary
Constructors Modifier Constructor Description protected
TypeOperatorFactory()
-
Method Summary
-
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 AbstractOperator<TypeVariable> result
-
-
Method Detail
-
get
public 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 interfaceSSAInference.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 interfaceSSAInstruction.IVisitor
- Overrides:
visitArrayLoad
in classSSAInstruction.Visitor
-
visitArrayLength
public void visitArrayLength(SSAArrayLengthInstruction instruction)
- Specified by:
visitArrayLength
in interfaceSSAInstruction.IVisitor
- Overrides:
visitArrayLength
in classSSAInstruction.Visitor
-
visitLoadMetadata
public void visitLoadMetadata(SSALoadMetadataInstruction instruction)
- Specified by:
visitLoadMetadata
in interfaceSSAInstruction.IVisitor
- Overrides:
visitLoadMetadata
in classSSAInstruction.Visitor
-
visitGet
public void visitGet(SSAGetInstruction instruction)
- Specified by:
visitGet
in interfaceSSAInstruction.IVisitor
- Overrides:
visitGet
in classSSAInstruction.Visitor
-
visitInvoke
public void visitInvoke(SSAInvokeInstruction instruction)
- Specified by:
visitInvoke
in interfaceSSAInstruction.IVisitor
- Overrides:
visitInvoke
in classSSAInstruction.Visitor
-
visitNew
public void visitNew(SSANewInstruction instruction)
- Specified by:
visitNew
in interfaceSSAInstruction.IVisitor
- Overrides:
visitNew
in classSSAInstruction.Visitor
-
visitCheckCast
public void visitCheckCast(SSACheckCastInstruction instruction)
- Specified by:
visitCheckCast
in interfaceSSAInstruction.IVisitor
- Overrides:
visitCheckCast
in classSSAInstruction.Visitor
-
visitConversion
public void visitConversion(SSAConversionInstruction instruction)
- Specified by:
visitConversion
in interfaceSSAInstruction.IVisitor
- Overrides:
visitConversion
in classSSAInstruction.Visitor
-
visitComparison
public void visitComparison(SSAComparisonInstruction instruction)
- Specified by:
visitComparison
in interfaceSSAInstruction.IVisitor
- Overrides:
visitComparison
in classSSAInstruction.Visitor
-
visitBinaryOp
public void visitBinaryOp(SSABinaryOpInstruction instruction)
- Specified by:
visitBinaryOp
in interfaceSSAInstruction.IVisitor
- Overrides:
visitBinaryOp
in classSSAInstruction.Visitor
-
visitUnaryOp
public void visitUnaryOp(SSAUnaryOpInstruction instruction)
- Specified by:
visitUnaryOp
in interfaceSSAInstruction.IVisitor
- Overrides:
visitUnaryOp
in classSSAInstruction.Visitor
-
visitInstanceof
public void visitInstanceof(SSAInstanceofInstruction instruction)
- Specified by:
visitInstanceof
in interfaceSSAInstruction.IVisitor
- Overrides:
visitInstanceof
in classSSAInstruction.Visitor
-
visitGetCaughtException
public void visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction)
- Specified by:
visitGetCaughtException
in interfaceSSAInstruction.IVisitor
- Overrides:
visitGetCaughtException
in classSSAInstruction.Visitor
-
visitPhi
public void visitPhi(SSAPhiInstruction instruction)
- Specified by:
visitPhi
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPhi
in classSSAInstruction.Visitor
-
visitPi
public void visitPi(SSAPiInstruction instruction)
- Specified by:
visitPi
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPi
in classSSAInstruction.Visitor
-
visitAddressOf
public void visitAddressOf(SSAAddressOfInstruction instruction)
- Specified by:
visitAddressOf
in interfaceIVisitorWithAddresses
-
visitLoadIndirect
public void visitLoadIndirect(SSALoadIndirectInstruction instruction)
- Specified by:
visitLoadIndirect
in interfaceIVisitorWithAddresses
-
visitStoreIndirect
public void visitStoreIndirect(SSAStoreIndirectInstruction instruction)
- Specified by:
visitStoreIndirect
in interfaceIVisitorWithAddresses
-
-