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

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`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 AbstractOperator<TypeVariable> result
```
- Constructor Detail
  - TypeOperatorFactory
```
protected TypeOperatorFactory()
```
- 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 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

Class TypeInference.TypeOperatorFactory

Field Summary

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Methods inherited from interface com.ibm.wala.ssa.SSAInstruction.IVisitor

Field Detail

result

Constructor Detail

TypeOperatorFactory

Method Detail

get

visitArrayLoad

visitArrayLength

visitLoadMetadata

visitGet

visitInvoke

visitNew

visitCheckCast

visitConversion

visitComparison

visitBinaryOp

visitUnaryOp

visitInstanceof

visitGetCaughtException

visitPhi

visitPi

visitAddressOf

visitLoadIndirect

visitStoreIndirect