Type

Represents a JVM type.

Programmatically, we distinguish three major kinds of types:

base types/primitive types
reference types
the type void.

General Information

From the JVM specification

There are three kinds of reference types: class types, array types, and interface types. Their values are references to dynamically created class instances, arrays, or class instances or arrays that implement interfaces, respectively.

A reference value may also be the special null reference, a reference to no object, which will be denoted here by null. The null reference initially has no runtime type, but may be cast to any type. The default value of a reference type is null. The Java virtual machine specification does not mandate a concrete value encoding null.

Comparing Types/Performance

Given that the comparison of types is a standard operation in static analysis that is usually done over and over again great care was taken to enable an efficient comparison of types. It is - without exception - always possible to compare types using reference equality (i.e., the eq/ne operators). For each type there will always be at most one object that represents that specific type.

Additionally, a stable order is defined between types that is based on a type's kind and the unique id of the types in case of reference types. The order is: void type < primitive types < array types < class/interface types

Linear Supertypes

Ordered[Type], Comparable[Type], UID, AnyRef, Any

Known Subclasses

ArrayType, BaseType, BooleanType, BooleanType, ByteType, ByteType, CharType, CharType, DoubleType, DoubleType, FieldType, FloatType, FloatType, IntLikeType, IntegerType, IntegerType, LongType, LongType, NumericType, ObjectType, ReferenceType, ShortType, ShortType, VoidType, VoidType

Abstract Value Members

abstract def computationalType: ComputationalType

The computational type of values of this type.
The computational type of values of this type.

Annotations
@throws( ... )
abstract def id: Int

The unique id of this type.
The unique id of this type. Types are associated with globally unique ids to make it easy to define a global order.

Definition Classes
Type → UID
abstract def toBinaryJavaName: String

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.

Annotations
@throws( ... )
abstract def toJVMTypeName: String

Returns the representation of this type as used by the JVM in, for example, method descriptors or signatures.
abstract def toJava: String

A String representation of this type as it would be used in Java source code.
abstract def toJavaClass: Class[_]

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.

Concrete Value Members

final def !=(arg0: Any): Boolean

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

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

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

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

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

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

Definition Classes
Type → Ordered
def asArrayType: ArrayType

Annotations
@throws( "if this type is not an array type" )
def asBaseType: BaseType

Annotations
@throws( "if this type is not a base type" )
def asFieldType: FieldType

Annotations
@throws( "if this type is not a field type" )
final def asInstanceOf[T0]: T0

Definition Classes
Any
def asIntLikeType: IntLikeType

Annotations
@throws( "if this is not a numeric type" )
def asNumericType: NumericType

Annotations
@throws( "if this is not a numeric type" )
def asObjectType: ObjectType

Annotations
@throws( ... )
def asReferenceType: ReferenceType

Annotations
@throws( ... )
def clone(): AnyRef

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

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
def compareTo(that: Type): Int

Definition Classes
Ordered → Comparable
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def isArrayType: Boolean
def isBaseType: Boolean

Returns true if this type is a base type (also called primitive type).
def isBooleanType: Boolean

Returns true if this type is the primitive type boolean.
def isByteType: Boolean

Returns true if this type is the primitive type byte.
def isCharType: Boolean

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

Returns true if this type is the primitive type double.
def isFieldType: Boolean

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.
def isFloatType: Boolean

Returns true if this type is the primitive type float.
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isIntLikeType: Boolean
def isIntegerType: Boolean

Returns true if this type is the primitive type int.
def isLongType: Boolean

Returns true if this type is the primitive type long.
def isNumericType: Boolean
def isObjectType: Boolean
def isReferenceType: Boolean

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).
Note
In general, we can distinguish the following three categories of types:
base types,
reference types,
the type void.
def isShortType: Boolean

Returns true if this type is the primitive type short.
def isVoidType: Boolean

Returns true if this type represents void; false otherwise.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: object Type | package br

sealed abstract class Type extends UID with Ordered[Type]

General Information

Comparing Types/Performance

Abstract Value Members

abstract def computationalType: ComputationalType

abstract def id: Int

abstract def toBinaryJavaName: String

abstract def toJVMTypeName: String

abstract def toJava: String

abstract def toJavaClass: Class[_]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def <(other: Type): Boolean

def <=(other: Type): Boolean

final def ==(arg0: Any): Boolean

def >(other: Type): Boolean

def >=(other: Type): Boolean

def asArrayType: ArrayType

def asBaseType: BaseType

def asFieldType: FieldType

final def asInstanceOf[T0]: T0

def asIntLikeType: IntLikeType

def asNumericType: NumericType

def asObjectType: ObjectType

def asReferenceType: ReferenceType

def clone(): AnyRef

def compare(that: Type): Int

def compareTo(that: Type): Int

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def isArrayType: Boolean

def isBaseType: Boolean

def isBooleanType: Boolean

def isByteType: Boolean

def isCharType: Boolean

def isDoubleType: Boolean

def isFieldType: Boolean

def isFloatType: Boolean

final def isInstanceOf[T0]: Boolean

def isIntLikeType: Boolean

def isIntegerType: Boolean

def isLongType: Boolean

def isNumericType: Boolean

def isObjectType: Boolean

def isReferenceType: Boolean

def isShortType: Boolean

def isVoidType: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Ordered[Type]

Inherited from Comparable[Type]

Inherited from UID

Inherited from AnyRef

Inherited from Any

Ungrouped