TypeInference.TypeVarFactory (wala 1.6.13-SNAPSHOT API)

java.lang.Object

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

All Implemented Interfaces:: SSAInference.VariableFactory<TypeVariable>

Direct Known Subclasses:: AstJavaTypeInference.AstJavaTypeVarFactory, DalvikTypeInference.DalvikTypeVarFactory

Enclosing class:: TypeInference

public class TypeInference.TypeVarFactory extends Object implements SSAInference.VariableFactory<TypeVariable>

Constructor Summary

Constructors

Constructor

Description

TypeVarFactory()
Method Summary

Modifier and Type

Method

Description

TypeVariable

makeVariable(int valueNumber)

Make the variable for a given value number.

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- TypeVarFactory
  
  public TypeVarFactory()
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>
  
  Returns:
  
  a newly created dataflow variable, or null if not applicable.