Package com.ibm.wala.analysis.typeInference
package com.ibm.wala.analysis.typeInference
-
ClassDescriptionRepresents a type and its subtypes.Abstraction of a primitive type in Java.Represents a single concrete type.Abstraction of a primitive type.Abstraction of a Java type.This class performs intraprocedural type propagation on an SSA IR.An operator which initializes a type to a declared type.A type variable in the dataflow system for type inference.