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

BType

dotty.tools.backend.jvm.BTypes.BType

trait BType

A BType is either a primitve type, a ClassBType, an ArrayBType of one of these, or a MethodType referring to BTypes.

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class MethodBType

trait PrimitiveBType

object BOOL

object BYTE

object CHAR

object DOUBLE

object FLOAT

object INT

object LONG

object SHORT

object UNIT

trait RefBType

class ArrayBType

class ClassBType
Show all

Members list

Value members

Concrete methods

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;

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

Attributes

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

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

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns: a string representation of the object.
Definition Classes: Any

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.

In this article

Generated with