scala.tools.nsc.backend.jvm.BTypes
ClassBType
The class or array type of this reference type.
The class or array type of this reference type. Used for ANEWARRAY, MULTIANEWARRAY, INSTANCEOF and CHECKCAST instructions. Also used for emitting invokevirtual calls to (a: Array[T]).clone() for any T, see genApply.
In contrast to the descriptor, this string does not contain the surrounding 'L' and ';' for class types, for example "java/lang/String". However, for array types, the full descriptor is used, for example "[Ljava/lang/String;".
This can be verified for example using javap or ASMifier.
The Java descriptor of this type. Examples:
Custom equals / hashCode: we only compare the name (offset / length)
Custom equals / hashCode: we only compare the name (offset / length)
The internal name of a class is the string returned by java.lang.Class.getName, with all '.' replaced by '/'.
The internal name of a class is the string returned by java.lang.Class.getName, with all '.' replaced by '/'. For example "java/lang/String".
Finding the least upper bound in agreement with the bytecode verifier Background: http://gallium.inria.fr/~xleroy/publi/bytecode-verification-JAR.pdf http://comments.gmane.org/gmane.comp.java.vm.languages/2293 https://issues.scala-lang.org/browse/SI-3872
Compute the upper bound of two types.
Compute the upper bound of two types. Takes promotions of numeric primitives into account.
The class name without the package prefix
0 for void, 2 for long and double, 1 otherwise
The asm.Type corresponding to this 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
Some JVM opcodes have typed variants.
Some JVM opcodes have typed variants. This method returns the correct opcode according to the type.
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.
The opcode adapted to this java type. For example, if this type is float and
opcode is IRETURN, this method returns FRETURN.
A ClassBType represents a class or interface type. The necessary information to build a ClassBType is extracted from compiler symbols and types, see BTypesFromSymbols.
The
offsetandlengthfields are used to represent the internal name of the class. They are indices into some character array. The internal name can be obtained through the methodinternalNameString, which is abstract in this component. Name creation is assumed to be hash-consed, so if two ClassBTypes have the same internal name, they NEED to have the sameoffsetandlength.The actual implementation in subclass BTypesFromSymbols uses the global
chrsarray from the name table. This representation is efficient because the JVM class name is obtained throughclassSymbol.javaBinaryName. This already adds the necessary string to thechrsarray, so it makes sense to reuse the same name table in the backend.ClassBType is not a case class because we want a custom equals method, and because the extractor extracts the internalName, which is what you typically need.