Class/Object

org.opalj.br

ObjectType

Related Docs: object ObjectType | package br

Permalink

final class ObjectType extends ReferenceType

Represents an ObjectType.

Linear Supertypes
ReferenceType, FieldType, Type, Ordered[Type], Comparable[Type], UID, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ObjectType
  2. ReferenceType
  3. FieldType
  4. Type
  5. Ordered
  6. Comparable
  7. UID
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. def <(other: Type): Boolean

    Permalink
    Definition Classes
    Type → Ordered
  4. def <=(other: Type): Boolean

    Permalink
    Definition Classes
    Type → Ordered
  5. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  6. def >(other: Type): Boolean

    Permalink
    Definition Classes
    Type → Ordered
  7. def >=(other: Type): Boolean

    Permalink
    Definition Classes
    Type → Ordered
  8. def adapt[T](targetType: Type)(implicit typeConversionFactory: TypeConversionFactory[T]): T

    Permalink

    Returns the sequence of instructions that adapts values of this type to values of the target type.

    Returns the sequence of instructions that adapts values of this type to values of the target type.

    This method supports the following kind of adaptations:

    • boxing
    • unboxing
    Definition Classes
    ObjectTypeFieldType
  9. def asArrayType: ArrayType

    Permalink
    Definition Classes
    Type
    Annotations
    @throws( "if this type is not an array type" )
  10. def asBaseType: BaseType

    Permalink
    Definition Classes
    Type
    Annotations
    @throws( "if this type is not a base type" )
  11. final def asFieldType: ObjectType.this.type

    Permalink
    Definition Classes
    FieldTypeType
  12. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  13. def asIntLikeType: IntLikeType

    Permalink
    Definition Classes
    Type
    Annotations
    @throws( "if this is not a numeric type" )
  14. def asNumericType: NumericType

    Permalink
    Definition Classes
    Type
    Annotations
    @throws( "if this is not a numeric type" )
  15. def asObjectType: ObjectType

    Permalink
    Definition Classes
    ObjectTypeType
  16. final def asReferenceType: ReferenceType

    Permalink
    Definition Classes
    ReferenceTypeType
  17. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  18. def compare(that: Type): Int

    Permalink

    Compares this type with the given type.

    Compares this type with the given type.

    Comparison of types is implemented by comparing the associated ids. I.e., the result of the comparison of two types is not stable across multiple runs of OPAL.

    Definition Classes
    Type → Ordered
  19. def compareTo(that: Type): Int

    Permalink
    Definition Classes
    Ordered → Comparable
  20. final def computationalType: ComputationalTypeReference.type

    Permalink

    The computational type of values of this type.

    The computational type of values of this type.

    Definition Classes
    ReferenceTypeType
  21. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  22. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  23. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  24. final val fqn: String

    Permalink

    The fully qualified name of the class or interface in binary notation (e.g.

    The fully qualified name of the class or interface in binary notation (e.g. "java/lang/Object").

  25. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  26. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  27. final val id: Int

    Permalink

    The unique id associated with this type.

    The unique id associated with this type.

    Definition Classes
    ObjectTypeReferenceTypeType → UID
  28. def isArrayType: Boolean

    Permalink
    Definition Classes
    Type
  29. def isBaseType: Boolean

    Permalink

    Returns true if this type is a base type (also called primitive type).

    Returns true if this type is a base type (also called primitive type).

    Definition Classes
    Type
  30. def isBooleanType: Boolean

    Permalink

    Returns true if this type is the primitive type boolean.

    Returns true if this type is the primitive type boolean.

    Definition Classes
    Type
  31. def isByteType: Boolean

    Permalink

    Returns true if this type is the primitive type byte.

    Returns true if this type is the primitive type byte.

    Definition Classes
    Type
  32. def isCharType: Boolean

    Permalink

    Returns true if this type is the primitive type char (Range: [0..65535].

    Returns true if this type is the primitive type char (Range: [0..65535].

    Definition Classes
    Type
  33. def isDoubleType: Boolean

    Permalink

    Returns true if this type is the primitive type double.

    Returns true if this type is the primitive type double.

    Definition Classes
    Type
  34. final def isFieldType: Boolean

    Permalink

    Returns true if this type can be used by fields.

    Returns true if this type can be used by fields. Returns true unless this type represents void.

    Definition Classes
    FieldTypeType
  35. def isFloatType: Boolean

    Permalink

    Returns true if this type is the primitive type float.

    Returns true if this type is the primitive type float.

    Definition Classes
    Type
  36. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  37. def isIntLikeType: Boolean

    Permalink
    Definition Classes
    Type
  38. def isIntegerType: Boolean

    Permalink

    Returns true if this type is the primitive type int.

    Returns true if this type is the primitive type int.

    Definition Classes
    Type
  39. def isLongType: Boolean

    Permalink

    Returns true if this type is the primitive type long.

    Returns true if this type is the primitive type long.

    Definition Classes
    Type
  40. def isNumericType: Boolean

    Permalink
    Definition Classes
    Type
  41. def isObjectType: Boolean

    Permalink
    Definition Classes
    ObjectTypeType
  42. final def isPrimitiveTypeWrapper: Boolean

    Permalink
    Annotations
    @inline()
  43. final def isPrimitiveTypeWrapperOf(baseType: BaseType): Boolean

    Permalink
  44. final def isReferenceType: Boolean

    Permalink

    Returns true if this type is a reference type; that is, an array type or an object type (class/interface type).

    Returns true if this type is a reference type; that is, an array type or an object type (class/interface type).

    Definition Classes
    ReferenceTypeType
    Note

    In general, we can distinguish the following three categories of types:

    • base types,
    • reference types,
    • the type void.
  45. def isShortType: Boolean

    Permalink

    Returns true if this type is the primitive type short.

    Returns true if this type is the primitive type short.

    Definition Classes
    Type
  46. def isVoidType: Boolean

    Permalink

    Returns true if this type represents void; false otherwise.

    Returns true if this type represents void; false otherwise.

    Definition Classes
    Type
  47. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  48. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  49. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  50. def packageName: String

    Permalink
  51. def simpleName: String

    Permalink
  52. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  53. def toBinaryJavaName: String

    Permalink

    Returns the binary name of this type as used by the Java runtime.

    Returns the binary name of this type as used by the Java runtime. Basically returns the same name as produced by Class.getName.

    Definition Classes
    ObjectTypeType
  54. def toJVMTypeName: String

    Permalink

    Returns the representation of this type as used by the JVM in, for example, method descriptors or signatures.

    Returns the representation of this type as used by the JVM in, for example, method descriptors or signatures.

    Definition Classes
    ObjectTypeType
  55. def toJava: String

    Permalink

    A String representation of this type as it would be used in Java source code.

    A String representation of this type as it would be used in Java source code.

    Definition Classes
    ObjectTypeType
  56. def toJavaClass: Class[_]

    Permalink

    Returns the Java class object representing this type.

    Returns the Java class object representing this type.

    This is generally only useful in very special cases and – to be meaningful at all – it is necessary that the class path used for running the static analysis also contains the classes that are analyzed. This is (often) only the case for the JDK.

    However, one example where this is useful is the creation of a real object of a specific type and to use that object when a method is called on that object. This avoids the reimplementation of the respective logic as part of the analysis. For example, if you want to get the String that is created by a specific StringBuffer it is possible to implement the API of StringBuffer as part of your analysis or (probably more efficient) to just create an instance of a StringBuffer object and to redirect every call to the real object. In this case only some general logic is required to redirect calls and to convert the values between the representation used by the analysis and the representation required by the called method.

    Definition Classes
    ObjectTypeType
  57. def toString(): String

    Permalink
    Definition Classes
    ObjectType → AnyRef → Any
  58. def unboxValue[T](implicit typeConversionFactory: TypeConversionFactory[T]): T

    Permalink
  59. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  60. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  61. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from ReferenceType

Inherited from FieldType

Inherited from Type

Inherited from Ordered[Type]

Inherited from Comparable[Type]

Inherited from UID

Inherited from AnyRef

Inherited from Any

Ungrouped