Class VerificationTypeFactory


  • public class VerificationTypeFactory
    extends java.lang.Object
    This class provides methods to create and reuse IntegerType instances.
    • 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.