CoreBTypes
Core BTypes and some other definitions. The initialization of these definitions requies access to symbols / types (global).
The symbols used to initialize the ClassBTypes may change from one compiler run to the next. To
make sure the definitions are consistent with the symbols in the current run, the
intializeCoreBTypes method in BTypesFromSymbols creates a new instance of CoreBTypes in each
compiler run.
The class BTypesFromSymbols does not directly reference CoreBTypes, but CoreBTypesProxy. The
reason is that having a var bTypes: CoreBTypes would not allow import bTypes._. Instead, the
proxy class holds a CoreBTypes in a variable field and forwards to this instance.
The definitions in CoreBTypes need to be lazy vals to break an initialization cycle. When
creating a new instance to assign to the proxy, the classBTypeFromSymbol invoked in the
constructor will actucally go through the proxy. The lazy vals make sure the instance is assigned
in the proxy before the fields are initialized.
Note: if we did not re-create the core BTypes on each compiler run, BType.classBTypeFromInternalNameMap could not be a perRunCache anymore: the classes defeined here need to be in that map, they are added when the ClassBTypes are created. The per run cache removes them, so they would be missing in the second run.
Value members
Concrete fields
Maps the method symbol for a box method to the boxed type of the result. For example, the
method symbol for Byte.box() is mapped to the ClassBType java/lang/Byte.
Maps the method symbol for a box method to the boxed type of the result. For example, the
method symbol for Byte.box() is mapped to the ClassBType java/lang/Byte.
Map from primitive types to their boxed class type. Useful when pushing class literals onto the operand stack (ldc instruction taking a class literal), see genConstant.
Map from primitive types to their boxed class type. Useful when pushing class literals onto the operand stack (ldc instruction taking a class literal), see genConstant.
Maps primitive types to their corresponding PrimitiveBType. The map is defined lexically above
the first use of classBTypeFromSymbol because that method looks at the map.
Maps primitive types to their corresponding PrimitiveBType. The map is defined lexically above
the first use of classBTypeFromSymbol because that method looks at the map.
Maps the method symbol for an unbox method to the primitive type of the result.
For example, the method symbol for Byte.unbox()) is mapped to the PrimitiveBType BYTE.
Maps the method symbol for an unbox method to the primitive type of the result.
For example, the method symbol for Byte.unbox()) is mapped to the PrimitiveBType BYTE.