Class VerificationTypeFactory
- java.lang.Object
-
- proguard.classfile.attribute.preverification.VerificationTypeFactory
-
public class VerificationTypeFactory extends java.lang.Object
This class provides methods to create and reuseIntegerType
instances.
-
-
Constructor Summary
Constructors Constructor Description VerificationTypeFactory()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method 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.
-
-
-
Method Detail
-
createIntegerType
public static IntegerType createIntegerType()
Creates a new IntegerType.
-
createLongType
public static LongType createLongType()
Creates a new LongType.
-
createFloatType
public static FloatType createFloatType()
Creates a new FloatType.
-
createDoubleType
public static DoubleType createDoubleType()
Creates a new DoubleType.
-
createTopType
public static TopType createTopType()
Creates a new TopType.
-
createNullType
public static NullType createNullType()
Creates a new NullType.
-
createUninitializedThisType
public static UninitializedThisType createUninitializedThisType()
Creates a new UninitializedThisType.
-
createUninitializedType
public static UninitializedType createUninitializedType(int newInstructionOffset)
Creates a new UninitializedType for an instance that was created at the given offset.
-
createObjectType
public static ObjectType createObjectType(int classIndex)
Creates a new ObjectType of the given type.
-
-