NumericType

Abstract Value Members

abstract val WrapperType: ObjectType

Definition Classes
BaseType
abstract def accept[T](sv: SignatureVisitor[T]): T

Definition Classes
SignatureElement
abstract def atype: Int

The atype value of the base type.
The atype value of the base type. The atype value uniquely identifies a base type and is used primarily by the [instruction.NEWARRAY] instruction.

Definition Classes
BaseType
abstract def boxValue[T](implicit typeConversionFactory: TypeConversionFactory[T]): T

Definition Classes
BaseType
abstract def computationalType: ComputationalType

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

Definition Classes
Type
Annotations
@throws( ... )
abstract def convertTo[T](targetType: NumericType)(implicit typeConversionFactory: TypeConversionFactory[T]): T

Returns the instruction sequence that can convert a value of the current type to targetType.
Returns the instruction sequence that can convert a value of the current type to targetType.
For primitive values the appropriate instructions that perform the necessary widening/narrowing are returned. If this type is a primitive type and the target type is a wrapper type, then the object of the corresponding wrapper type is created and returned.

Note
The functionality implemented here, basically implements the logic for handling boxing and unboxing operations.
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 isWiderThan(targetType: NumericType): Boolean

Determines if the range of values captured by this type is a strict superset of the range of values captured by values of type targetType.
Determines if the range of values captured by this type is a strict superset of the range of values captured by values of type targetType. Here, strict superset means that – except of rounding issues – the value is conceptually representable by this type. For example, a conversion from a long value to a double value may loose some precision related to the least significant bits, but the value is still representable.
In general, the result of isWiderThan is comparable to the result of determing if a conversion of a value of this type to the given type is an explicit/implicit widening conversion.
Example:
1. assert(IntegerType.isWiderThan(IntegerType) == false) assert(IntegerType.isWiderThan(LongType) == false) assert(IntegerType.isWiderThan(ByteType) == true) assert(LongType.isWiderThan(FloatType) == false) assert(ByteType.isWiderThan(CharType) == false) assert(LongType.isWiderThan(ShortType) == true)
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.

Definition Classes
Type
Annotations
@throws( ... )
abstract def toJVMTypeName: String

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
Type
abstract def toJava: String

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
Type
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.

Definition Classes
Type

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
final def adapt[T](targetType: Type)(implicit typeConversionFactory: TypeConversionFactory[T]): T

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
BaseType → FieldType
def asArrayType: ArrayType

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

Definition Classes
BaseType → Type
final def asFieldType: NumericType.this.type

Definition Classes
FieldType → Type
final def asInstanceOf[T0]: T0

Definition Classes
Any
def asIntLikeType: IntLikeType

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

Definition Classes
NumericType → Type
def asObjectType: ObjectType

Definition Classes
Type
Annotations
@throws( ... )
def asReferenceType: ReferenceType

Definition Classes
Type
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

Definition Classes
Type
final def isBaseType: Boolean

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
BaseType → Type
def isBooleanType: Boolean

Returns true if this type is the primitive type boolean.
Returns true if this type is the primitive type boolean.

Definition Classes
Type
def isByteType: Boolean

Returns true if this type is the primitive type byte.
Returns true if this type is the primitive type byte.

Definition Classes
Type
def isCharType: Boolean

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
def isDoubleType: Boolean

Returns true if this type is the primitive type double.
Returns true if this type is the primitive type double.

Definition Classes
Type
final 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.

Definition Classes
FieldType → Type
def isFloatType: Boolean

Returns true if this type is the primitive type float.
Returns true if this type is the primitive type float.

Definition Classes
Type
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isIntLikeType: Boolean

Definition Classes
Type
def isIntegerType: Boolean

Returns true if this type is the primitive type int.
Returns true if this type is the primitive type int.

Definition Classes
Type
def isLongType: Boolean

Returns true if this type is the primitive type long.
Returns true if this type is the primitive type long.

Definition Classes
Type
def isNumericType: Boolean

Definition Classes
NumericType → Type
def isObjectType: Boolean

Definition Classes
Type
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).
Definition Classes
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.
Returns true if this type is the primitive type short.

Definition Classes
Type
def isVoidType: Boolean

Returns true if this type represents void; false otherwise.
Returns true if this type represents void; false otherwise.

Definition Classes
Type
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
final def toJVMSignature: String

Converts this signature into its JVM representation.
Converts this signature into its JVM representation. (See the JVM 5 or later specification for further details.)

Definition Classes
BaseType → SignatureElement
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 Doc: package br

sealed abstract class NumericType extends BaseType

Abstract Value Members

abstract val WrapperType: ObjectType

abstract def accept[T](sv: SignatureVisitor[T]): T

abstract def atype: Int

abstract def boxValue[T](implicit typeConversionFactory: TypeConversionFactory[T]): T

abstract def computationalType: ComputationalType

abstract def convertTo[T](targetType: NumericType)(implicit typeConversionFactory: TypeConversionFactory[T]): T

abstract def id: Int

abstract def isWiderThan(targetType: NumericType): Boolean

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

final def adapt[T](targetType: Type)(implicit typeConversionFactory: TypeConversionFactory[T]): T

def asArrayType: ArrayType

final def asBaseType: NumericType.this.type

final def asFieldType: NumericType.this.type

final def asInstanceOf[T0]: T0

def asIntLikeType: IntLikeType

def asNumericType: NumericType.this.type

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

final def isBaseType: Boolean

def isBooleanType: Boolean

def isByteType: Boolean

def isCharType: Boolean

def isDoubleType: Boolean

final 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

final def toJVMSignature: String

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from BaseType

Inherited from TypeSignature

Inherited from ReturnTypeSignature

Inherited from SignatureElement

Inherited from FieldType

Inherited from Type

Inherited from Ordered[Type]

Inherited from Comparable[Type]

Inherited from UID

Inherited from AnyRef

Inherited from Any

Ungrouped