sealed abstract class IntLikeType extends NumericType with CTIntType
An IntLikeType is every type (byte, char, short and int) that uses a primitive int to store the current value and which has explicit support in the JVM.
- Source
- Type.scala
- Note
Booleanvalues are (at least conceptually) also stored in ints. However, the JVM has basically no explicit support for booleans (e.g., a conversion of an int value to a boolean is not directly supported).
- Alphabetic
- By Inheritance
- IntLikeType
- CTIntType
- NumericType
- BaseType
- TypeSignature
- ReturnTypeSignature
- SignatureElement
- FieldType
- Type
- Ordered
- Comparable
- UIDValue
- UID
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
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 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.
- Definition Classes
- NumericType
- 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.
- abstract def isWiderThan(targetType: NumericType): Boolean
Determines if the range of values captured by
thistype is a strict superset of the range of values captured by values of typetargetType.Determines if the range of values captured by
thistype is a strict superset of the range of values captured by values of typetargetType. Here, strict superset means that – except of rounding issues – the value is conceptually representable bythistype. For example, a conversion from alongvalue to adoublevalue may loose some precision related to the least significant bits, but the value is still representable.In general, the result of
isWiderThanis 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.- Definition Classes
- NumericType
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)
Example: - 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("if this type has not binary name(i.e., if this type represents void)")
- 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
Stringthat is created by a specificStringBufferit is possible to implement the API of StringBuffer as part of your analysis or (probably more efficient) to just create an instance of aStringBufferobject 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
thistype to values of the target type. - def asArrayType: ArrayType
- Definition Classes
- Type
- Annotations
- @throws("if this type is not an array type")
- final def asBaseType: IntLikeType.this.type
- def asBooleanType: BooleanType
- Definition Classes
- Type
- Annotations
- @throws("if this is not a boolean type")
- final def asFieldType: IntLikeType.this.type
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def asIntLikeType: IntLikeType.this.type
- Definition Classes
- IntLikeType → Type
- def asNumericType: IntLikeType.this.type
- Definition Classes
- NumericType → Type
- def asObjectType: ObjectType
- Definition Classes
- Type
- Annotations
- @throws("if this type is not an object type")
- def asReferenceType: ReferenceType
- Definition Classes
- Type
- Annotations
- @throws("if this type is not a reference type")
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- 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 computationalType: ComputationalType
The computational type of values of this type.
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def equals(that: UID): Boolean
- Definition Classes
- UIDValue
- final def equals(other: Any): Boolean
Two objects with a unique id are considered equal if they have the same unique id; all other properties will be ignored!
Two objects with a unique id are considered equal if they have the same unique id; all other properties will be ignored!
- Definition Classes
- UIDValue → AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- final def hashCode(): Int
The unique id.
The unique id.
- Definition Classes
- UIDValue → AnyRef → Any
- def isArrayType: Boolean
- Definition Classes
- Type
- final def isBaseType: Boolean
Returns
trueif this type is a base type (also called primitive type). - def isBooleanType: Boolean
Returns
trueif this type is the primitive typeboolean.Returns
trueif this type is the primitive typeboolean.- Definition Classes
- Type
- def isByteType: Boolean
Returns
trueif this type is the primitive typebyte.Returns
trueif this type is the primitive typebyte.- Definition Classes
- Type
- def isCharType: Boolean
Returns
trueif this type is the primitive typechar(Range: [0..65535]).Returns
trueif this type is the primitive typechar(Range: [0..65535]).- Definition Classes
- Type
- def isDoubleType: Boolean
Returns
trueif this type is the primitive typedouble.Returns
trueif this type is the primitive typedouble.- Definition Classes
- Type
- final def isFieldType: Boolean
Returns
trueif this type can be used by fields. - def isFloatType: Boolean
Returns
trueif this type is the primitive typefloat.Returns
trueif this type is the primitive typefloat.- Definition Classes
- Type
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isIntLikeType: Boolean
- Definition Classes
- IntLikeType → Type
- def isIntegerType: Boolean
Returns
trueif this type is the primitive typeint.Returns
trueif this type is the primitive typeint.- Definition Classes
- Type
- def isLongType: Boolean
Returns
trueif this type is the primitive typelong.Returns
trueif this type is the primitive typelong.- Definition Classes
- Type
- def isNumericType: Boolean
- Definition Classes
- NumericType → Type
- def isObjectType: Boolean
- Definition Classes
- Type
- def isReferenceType: Boolean
Returns
trueif this type is a reference type; that is, an array type or an object type (class/interface type).Returns
trueif 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
trueif this type is the primitive typeshort.Returns
trueif this type is the primitive typeshort.- Definition Classes
- Type
- def isVoidType: Boolean
Returns
trueif this type representsvoid;falseotherwise.Returns
trueif this type representsvoid;falseotherwise.- Definition Classes
- Type
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def operandSize: Int
The number of operand stack slots/registers required to store a single value of this type.
- 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(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated