proguard.classfile.attribute.preverification
Class VerificationTypeFactory

java.lang.Object
  proguard.classfile.attribute.preverification.VerificationTypeFactory

public class VerificationTypeFactory
extends java.lang.Object

This class provides methods to create and reuse IntegerType objects.

Constructor Summary

VerificationTypeFactory()

Method Summary

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

VerificationTypeFactory

public VerificationTypeFactory()

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.