scala3-compiler-bootstrapped/dotty.tools/dotty.tools.backend/dotty.tools.backend.jvm/BTypes/PrimitiveBType

PrimitiveBType

dotty.tools.backend.jvm.BTypes.PrimitiveBType

sealed trait PrimitiveBType extends BType

Attributes

Graph
Supertypes: trait BType

class Object

trait Matchable

class Any
Known subtypes: object BOOL

object BYTE

object CHAR

object DOUBLE

object FLOAT

object INT

object LONG

object SHORT

object UNIT
Show all

Members list

Value members

Concrete methods

The upper bound of two primitive types. The other type has to be either a primitive type or Nothing.

The maxValueType of (Char, Byte) and of (Char, Short) is Int, to encompass the negative values of Byte and Short. See ticket #2087.

Attributes

Inherited methods

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Returns

The Java descriptor of this type. Examples:

int: I
java.lang.String: Ljava/lang/String;
int[]: [I
Object m(String s, double d): (Ljava/lang/String;D)Ljava/lang/Object;

Inherited from:

BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Attributes

Inherited from:: BType

Compute the upper bound of two types. Takes promotions of numeric primitives into account.

Attributes

Inherited from:: BType

Attributes

Returns: 0 for void, 2 for long and double, 1 otherwise
Inherited from:: BType

The asm.Type corresponding to this BType.

Note about asm.Type.getObjectType (*): For class types, the method expects the internal name, i.e. without the surrounding 'L' and ';'. For array types on the other hand, the method expects a full descriptor, for example "[Ljava/lang/String;".

See method asm.Type.getType that creates a asm.Type from a type descriptor

for an OBJECT type, the 'L' and ';' are not part of the range of the created Type
for an ARRAY type, the full descriptor is part of the range

Attributes

Inherited from:: BType

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns: a string representation of the object.
Definition Classes: BType -> Any
Inherited from:: BType

Some JVM opcodes have typed variants. This method returns the correct opcode according to the type.

Value parameters

opcode: A JVM instruction opcode. This opcode must be one of ILOAD, ISTORE, IALOAD, IASTORE, IADD, ISUB, IMUL, IDIV, IREM, INEG, ISHL, ISHR, IUSHR, IAND, IOR IXOR and IRETURN.

Attributes

Returns: The opcode adapted to this java type. For example, if this type is float and opcode is IRETURN, this method returns FRETURN.
Inherited from:: BType

In this article

Generated with