scala3-compiler-bootstrapped/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.type
object BYTE.type
object CHAR.type
object DOUBLE.type
object FLOAT.type
object INT.type
object LONG.type
object SHORT.type
object UNIT.type
trait RefBType
class ArrayBType
class ClassBType

Members list

Concise view

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.

Attributes

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.
Returns:: The opcode adapted to this java type. For example, if this type is float and opcode is IRETURN, this method returns FRETURN.

Generated with