public class VerificationTypeFactory
extends java.lang.Object
IntegerType
instances.Constructor and Description |
---|
VerificationTypeFactory() |
Modifier and Type | Method and Description |
---|---|
static DoubleType |
createDoubleType()
Creates a new DoubleType.
|
static FloatType |
createFloatType()
Creates a new FloatType.
|
static IntegerType |
createIntegerType()
Creates a new IntegerType.
|
static LongType |
createLongType()
Creates a new LongType.
|
static NullType |
createNullType()
Creates a new NullType.
|
static ObjectType |
createObjectType(int classIndex)
Creates a new ObjectType of the given type.
|
static TopType |
createTopType()
Creates a new TopType.
|
static UninitializedThisType |
createUninitializedThisType()
Creates a new UninitializedThisType.
|
static UninitializedType |
createUninitializedType(int newInstructionOffset)
Creates a new UninitializedType for an instance that was created at
the given offset.
|
public static IntegerType createIntegerType()
public static LongType createLongType()
public static FloatType createFloatType()
public static DoubleType createDoubleType()
public static TopType createTopType()
public static NullType createNullType()
public static UninitializedThisType createUninitializedThisType()
public static UninitializedType createUninitializedType(int newInstructionOffset)
public static ObjectType createObjectType(int classIndex)