Package com.ibm.wala.dalvik.analysis.typeInference

Class DalvikTypeInference.TypeOperatorFactory

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

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

com.ibm.wala.dalvik.analysis.typeInference.DalvikTypeInference.TypeOperatorFactory

All Implemented Interfaces:

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

Enclosing class:

DalvikTypeInference

protected class DalvikTypeInference.TypeOperatorFactory
extends TypeInference.TypeOperatorFactory

Field Summary

Fields inherited from class com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory

result

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TypeOperatorFactory()

Method Summary

Modifier and Type	Method	Description
void	visitPhi(SSAPhiInstruction instruction)

Methods inherited from class com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory

get, visitAddressOf, visitArrayLength, visitArrayLoad, visitBinaryOp, visitCheckCast, visitComparison, visitConversion, visitGet, visitGetCaughtException, visitInstanceof, visitInvoke, visitLoadIndirect, visitLoadMetadata, visitNew, visitPi, visitStoreIndirect, visitUnaryOp

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

Constructor Details

TypeOperatorFactory

protected TypeOperatorFactory()

Method Details

visitPhi

public void visitPhi(SSAPhiInstruction instruction)

Specified by:

visitPhi in interface SSAInstruction.IVisitor

Overrides:

visitPhi in class TypeInference.TypeOperatorFactory