Package com.ibm.wala.cast.java.analysis.typeInference

Class AstJavaTypeInference.AstJavaTypeVarFactory

java.lang.Object

com.ibm.wala.analysis.typeInference.TypeInference.TypeVarFactory

com.ibm.wala.cast.java.analysis.typeInference.AstJavaTypeInference.AstJavaTypeVarFactory

All Implemented Interfaces:

SSAInference.VariableFactory<TypeVariable>

Enclosing class:

AstJavaTypeInference

public class AstJavaTypeInference.AstJavaTypeVarFactory
extends TypeInference.TypeVarFactory

Constructor Summary

Constructors

Constructor	Description
AstJavaTypeVarFactory()

Method Summary

Modifier and Type	Method	Description
TypeVariable	makeVariable(int valueNumber)	Make the variable for a given value number.

Methods inherited from class java.lang.Object

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

Constructor Details

AstJavaTypeVarFactory

public AstJavaTypeVarFactory()

Method Details

makeVariable

public TypeVariable makeVariable(int valueNumber)

Description copied from interface: SSAInference.VariableFactory

Make the variable for a given value number.

Specified by:

makeVariable in interface SSAInference.VariableFactory<TypeVariable>

Overrides:

makeVariable in class TypeInference.TypeVarFactory

Returns:

a newly created dataflow variable, or null if not applicable.