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
,DalvikTypeInference.TypeOperatorFactory
- Enclosing class:
- TypeInference
protected class TypeInference.TypeOperatorFactory
extends SSAInstruction.Visitor
implements IVisitorWithAddresses, SSAInference.OperatorFactory<TypeVariable>
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionget
(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 Details
-
result
-
-
Constructor Details
-
TypeOperatorFactory
protected TypeOperatorFactory()
-
-
Method Details
-
get
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
- Specified by:
visitArrayLoad
in interfaceSSAInstruction.IVisitor
- Overrides:
visitArrayLoad
in classSSAInstruction.Visitor
-
visitArrayLength
- Specified by:
visitArrayLength
in interfaceSSAInstruction.IVisitor
- Overrides:
visitArrayLength
in classSSAInstruction.Visitor
-
visitLoadMetadata
- Specified by:
visitLoadMetadata
in interfaceSSAInstruction.IVisitor
- Overrides:
visitLoadMetadata
in classSSAInstruction.Visitor
-
visitGet
- Specified by:
visitGet
in interfaceSSAInstruction.IVisitor
- Overrides:
visitGet
in classSSAInstruction.Visitor
-
visitInvoke
- Specified by:
visitInvoke
in interfaceSSAInstruction.IVisitor
- Overrides:
visitInvoke
in classSSAInstruction.Visitor
-
visitNew
- Specified by:
visitNew
in interfaceSSAInstruction.IVisitor
- Overrides:
visitNew
in classSSAInstruction.Visitor
-
visitCheckCast
- Specified by:
visitCheckCast
in interfaceSSAInstruction.IVisitor
- Overrides:
visitCheckCast
in classSSAInstruction.Visitor
-
visitConversion
- Specified by:
visitConversion
in interfaceSSAInstruction.IVisitor
- Overrides:
visitConversion
in classSSAInstruction.Visitor
-
visitComparison
- Specified by:
visitComparison
in interfaceSSAInstruction.IVisitor
- Overrides:
visitComparison
in classSSAInstruction.Visitor
-
visitBinaryOp
- Specified by:
visitBinaryOp
in interfaceSSAInstruction.IVisitor
- Overrides:
visitBinaryOp
in classSSAInstruction.Visitor
-
visitUnaryOp
- Specified by:
visitUnaryOp
in interfaceSSAInstruction.IVisitor
- Overrides:
visitUnaryOp
in classSSAInstruction.Visitor
-
visitInstanceof
- Specified by:
visitInstanceof
in interfaceSSAInstruction.IVisitor
- Overrides:
visitInstanceof
in classSSAInstruction.Visitor
-
visitGetCaughtException
- Specified by:
visitGetCaughtException
in interfaceSSAInstruction.IVisitor
- Overrides:
visitGetCaughtException
in classSSAInstruction.Visitor
-
visitPhi
- Specified by:
visitPhi
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPhi
in classSSAInstruction.Visitor
-
visitPi
- Specified by:
visitPi
in interfaceSSAInstruction.IVisitor
- Overrides:
visitPi
in classSSAInstruction.Visitor
-
visitAddressOf
- Specified by:
visitAddressOf
in interfaceIVisitorWithAddresses
-
visitLoadIndirect
- Specified by:
visitLoadIndirect
in interfaceIVisitorWithAddresses
-
visitStoreIndirect
- Specified by:
visitStoreIndirect
in interfaceIVisitorWithAddresses
-