package jvm
- Alphabetic
- Public
- All
Type Members
- abstract class BCodeBodyBuilder extends BCodeSkelBuilder
- abstract class BCodeHelpers extends BCodeIdiomatic with BytecodeWriters
- abstract class BCodeIdiomatic extends SubComponent
- abstract class BCodeSkelBuilder extends BCodeHelpers
- abstract class BCodeSyncAndTry extends BCodeBodyBuilder
-
abstract
class
BTypes
extends AnyRef
The BTypes component defines The BType class hierarchy.
The BTypes component defines The BType class hierarchy. A BType stores all type information that is required after building the ASM nodes. This includes optimizations, generation of InnerClass attributes and generation of stack map frames.
The representation is immutable and independent of the compiler data structures, hence it can be queried by concurrent threads.
-
class
BTypesFromSymbols
[G <: Global] extends BTypes
This class mainly contains the method classBTypeFromSymbol, which extracts the necessary information from a symbol and its type to create the corresponding ClassBType.
This class mainly contains the method classBTypeFromSymbol, which extracts the necessary information from a symbol and its type to create the corresponding ClassBType. It requires access to the compiler (global parameter).
The mixin CoreBTypes defines core BTypes that are used in the backend. Building these BTypes uses classBTypeFromSymbol, hence requires access to the compiler (global).
BTypesFromSymbols extends BTypes because the implementation of BTypes requires access to some of the core btypes. They are declared in BTypes as abstract members. Note that BTypes does not have access to the compiler instance.
-
sealed abstract
class
BackendReporting
extends AnyRef
Interface for emitting inline warnings.
Interface for emitting inline warnings. The interface is required because the implementation depends on Global, which is not available in BTypes (only in BTypesFromSymbols).
- final class BackendReportingImpl extends BackendReporting
-
trait
BytecodeWriters
extends AnyRef
For the last mile: turning generated bytecode in memory into something you can use.
For the last mile: turning generated bytecode in memory into something you can use. Has implementations for writing to class files, jars, and disassembled/javap output.
-
class
CoreBTypes
[BTFS <: BTypesFromSymbols[_ <: Global]] extends AnyRef
Core BTypes and some other definitions.
Core BTypes and some other definitions. The initialization of these definitions requires 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
initializeCoreBTypes
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 allowimport bTypes._
. Instead, the proxy class holds aCoreBTypes
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, theclassBTypeFromSymbol
invoked in the constructor will actually 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.classBTypeCacheFromSymbol could not be a perRunCache anymore: the classes defined 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.
-
final
class
CoreBTypesProxy
[BTFS <: BTypesFromSymbols[_ <: Global]] extends CoreBTypesProxyGlobalIndependent[BTFS]
See comment in class CoreBTypes.
-
trait
CoreBTypesProxyGlobalIndependent
[BTS <: BTypes] extends AnyRef
This trait make some core BTypes available that don't depend on a Global instance.
This trait make some core BTypes available that don't depend on a Global instance. Some core BTypes are required to be accessible in the BTypes trait, which does not have access to Global.
BTypes cannot refer to CoreBTypesProxy because some of its members depend on global, for example the type Symbol in def primitiveTypeMap: Map[Symbol, PrimitiveBType]
-
class
FileConflictException
extends IOException
Can't output a file due to the state of the file system.
- abstract class GenBCode extends BCodeSyncAndTry
Value Members
- object AsmUtils
- object BCodeHelpers
- object BTypes
-
object
BackendReporting
Utilities for error reporting.
Utilities for error reporting.
Defines some utility methods to make error reporting with Either easier.
- object BackendStats
- object GenBCode
The Scala compiler and reflection APIs.