scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.backend/dotty.tools.backend.jvm/BCodeBodyBuilder/PlainBodyBuilder

PlainBodyBuilder

dotty.tools.backend.jvm.BCodeBodyBuilder.PlainBodyBuilder
abstract class PlainBodyBuilder(cunit: CompilationUnit) extends PlainSkelBuilder

Attributes

Graph
Supertypes
trait BCPickles
trait BCJGenSigGen
trait BCAnnotGen
trait BCClassGen
class Object
trait Matchable
class Any
Show all
Known subtypes

Members list

Type members

Inherited classlikes

case class Local(tk: BType, name: String, idx: Int, isSynth: Boolean)

Attributes

Inherited from:
PlainSkelBuilder
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object bc extends JCodeMethodN

Attributes

Inherited from:
PlainSkelBuilder
Supertypes
class JCodeMethodN
class Object
trait Matchable
class Any
object locals

Attributes

Inherited from:
PlainSkelBuilder
Supertypes
class Object
trait Matchable
class Any

Value members

Abstract methods

def genLoadTry(tree: Try): BType
def genSynchronized(tree: Apply, expectedType: BType): BType

Concrete methods

def adapt(from: BType, to: BType): Unit
def emit(opc: Int): Unit
def emitLocalVarScopes(): Unit

Add entries to the LocalVariableTable JVM attribute for all the vars in varsInScope, ending at the current program point.

Add entries to the LocalVariableTable JVM attribute for all the vars in varsInScope, ending at the current program point.

Attributes

def emitZeroOf(tk: BType): Unit
def fieldLoad(field: Symbol, hostClass: Symbol): Unit
def fieldStore(field: Symbol, hostClass: Symbol): Unit
def genAdaptAndSendToDest(generatedType: BType, expectedType: BType, dest: LoadDestination): Unit
def genArithmeticOp(tree: Tree, code: Int): BType
def genArrayOp(tree: Tree, code: Int, expectedType: BType): BType
def genBlockTo(tree: Block, expectedType: BType, dest: LoadDestination): Unit
def genCallMethod(method: Symbol, style: InvokeStyle, pos: Span, specificReceiver: Symbol): BType

Generate a method invocation. If specificReceiver != null, it is used as receiver in the invocation instruction, otherwise method.owner. A specific receiver class is needed to prevent an IllegalAccessError, (aladdin bug 455).

Generate a method invocation. If specificReceiver != null, it is used as receiver in the invocation instruction, otherwise method.owner. A specific receiver class is needed to prevent an IllegalAccessError, (aladdin bug 455).

Attributes

def genCast(to: RefBType, cast: Boolean): Unit
def genCoercion(code: Int): Unit
def genConstant(const: Constant): Unit
def genConversion(from: BType, to: BType, cast: Boolean): Unit
def genEqEqPrimitive(l: Tree, r: Tree, success: Label, failure: Label, targetIfNoJump: Label): Unit
def genInvokeDynamicLambda(ctor: Symbol, lambdaTarget: Symbol, environmentSize: Int, functionalInterface: Symbol): BType
def genLoad(tree: Tree): Unit
def genLoad(tree: Tree, expectedType: BType): Unit
def genLoadArguments(args: List[Tree], btpes: List[BType]): Unit
def genLoadIfTo(tree: If, expectedType: BType, dest: LoadDestination): BType
def genLoadModule(tree: Tree): BType
def genLoadModule(module: Symbol): Unit
def genLoadQualifier(tree: Tree): Unit
def genLoadTo(tree: Tree, expectedType: BType, dest: LoadDestination): Unit
def genPrimitiveOp(tree: Apply, expectedType: BType): BType
def genScalaHash(tree: Tree): BType
def genStat(tree: Tree): Unit
def genStringConcat(tree: Tree): BType
def isPrimitive(fun: Tree): Boolean
def testOpForPrimitive(primitiveCode: Int): TestOp

Inherited methods

def addClassFields(): Unit

Attributes

Inherited from:
PlainSkelBuilder
def addForwarders(jclass: ClassVisitor, jclassName: String, moduleClass: Symbol): Unit

Attributes

Inherited from:
BCForwardersGen
def addSerialVUID(id: Long, jclass: ClassVisitor): Unit

Attributes

Inherited from:
BCClassGen
final def asmMethodType(msym: Symbol): MethodBType

Attributes

Inherited from:
BCInnerClassGen
def currProgramPoint(): Label

Attributes

Inherited from:
PlainSkelBuilder
def debugLevel: Int

Attributes

Inherited from:
BCInnerClassGen
def emitAnnotations(fw: FieldVisitor, annotations: List[Annotation]): Unit

Attributes

Inherited from:
BCAnnotGen
def emitAnnotations(mw: MethodVisitor, annotations: List[Annotation]): Unit

Attributes

Inherited from:
BCAnnotGen
def emitAnnotations(cw: ClassVisitor, annotations: List[Annotation]): Unit

Attributes

Inherited from:
BCAnnotGen
def emitLocalVarScope(sym: Symbol, start: Label, end: Label, force: Boolean): Unit

Attributes

Inherited from:
PlainSkelBuilder
def emitParamAnnotations(jmethod: MethodVisitor, pannotss: List[List[Annotation]]): Unit

Attributes

Inherited from:
BCAnnotGen
def emitParamNames(jmethod: MethodVisitor, params: List[Symbol]): Unit

Attributes

Inherited from:
BCAnnotGen
def findJumpDest(labelSym: Symbol): (BType, LoadDestination)

Attributes

Inherited from:
PlainSkelBuilder
def gen(tree: Tree): Unit

Attributes

Inherited from:
PlainSkelBuilder
def genDefDef(dd: DefDef): Unit

Attributes

Inherited from:
PlainSkelBuilder
def genPlainClass(cd0: TypeDef): Unit

Attributes

Inherited from:
PlainSkelBuilder
final def getClassBType(sym: Symbol): ClassBType

The ClassBType for a class symbol.

The ClassBType for a class symbol.

The class symbol scala.Nothing is mapped to the class scala.runtime.Nothing$. Similarly, scala.Null is mapped to scala.runtime.Null$. This is because there exist no class files for the Nothing / Null. If used for example as a parameter type, we use the runtime classes in the classfile method signature.

Note that the referenced class symbol may be an implementation class. For example when compiling a mixed-in method that forwards to the static method in the implementation class, the class descriptor of the receiver (the implementation class) is obtained by creating the ClassBType.

Attributes

Inherited from:
BCInnerClassGen
override def getCurrentCUnit(): CompilationUnit

Attributes

Definition Classes
Inherited from:
PlainSkelBuilder
def getExceptions(excs: List[Annotation]): List[String]

Attributes

Inherited from:
BCForwardersGen
def getGenericSignature(sym: Symbol, owner: Symbol): String

Generates the generic signature for sym before erasure.

Generates the generic signature for sym before erasure.

Value parameters

owner

The owner of sym.

sym

The symbol for which to generate a signature.

Attributes

Returns

The generic signature of sym before erasure, as specified in the Java Virtual Machine Specification, §4.3.4, or null if sym doesn't need a generic signature.

See also
Inherited from:
BCJGenSigGen
def initJMethod(flags: Int, params: List[Symbol]): Unit

Attributes

Inherited from:
PlainSkelBuilder
final def internalName(sym: Symbol): String

The class internal name for a given class symbol.

The class internal name for a given class symbol.

Attributes

Inherited from:
BCInnerClassGen
def isAndroidParcelableClass(sym: Symbol): Boolean

Attributes

Inherited from:
JAndroidBuilder
def isAtProgramPoint(lbl: Label): Boolean

Attributes

Inherited from:
PlainSkelBuilder
def lastInsn: AbstractInsnNode

Attributes

Inherited from:
PlainSkelBuilder
def legacyAddCreatorCode(clinit: MethodVisitor, cnode: ClassNode, thisName: String): Unit

Attributes

Inherited from:
JAndroidBuilder
def lineNumber(tree: Tree): Unit

Attributes

Inherited from:
PlainSkelBuilder
def markProgramPoint(lbl: Label): Unit

Attributes

Inherited from:
PlainSkelBuilder
def paramTKs(app: Apply, take: Int): List[BType]

Attributes

Inherited from:
PlainSkelBuilder
def pickleMarkerForeign: Attribute

Attributes

Inherited from:
BCPickles
def pickleMarkerLocal: Attribute

Attributes

Inherited from:
BCPickles
def registerCleanup(finCleanup: Label): Unit

Attributes

Inherited from:
PlainSkelBuilder
def registerJumpDest(labelSym: Symbol, expectedType: BType, dest: LoadDestination): Unit

Attributes

Inherited from:
PlainSkelBuilder
def resetMethodBookkeeping(dd: DefDef): Unit

Attributes

Inherited from:
PlainSkelBuilder
final def symDescriptor(sym: Symbol): String

The jvm descriptor for a symbol.

The jvm descriptor for a symbol.

Attributes

Inherited from:
BCInnerClassGen
def symInfoTK(sym: Symbol): BType

Attributes

Inherited from:
PlainSkelBuilder
final def toTypeKind(tp: Type): BType

Attributes

Inherited from:
BCInnerClassGen
def tpeTK(tree: Tree): BType

Attributes

Inherited from:
PlainSkelBuilder
final def typeDescriptor(t: Type): String

The jvm descriptor of a type.

The jvm descriptor of a type.

Attributes

Inherited from:
BCInnerClassGen
def unregisterCleanup(finCleanup: Label): Unit

Attributes

Inherited from:
PlainSkelBuilder

Inherited fields

lazy val AndroidCreatorClass: Symbol

Attributes

Inherited from:
JAndroidBuilder
lazy val AndroidParcelableInterface: Symbol

Attributes

Inherited from:
JAndroidBuilder
val MIN_SWITCH_DENSITY: Double

Attributes

Inherited from:
BCClassGen
inline val MaximumJvmParameters: 254

Attributes

Inherited from:
PlainSkelBuilder
val androidFieldName: TermName

Attributes

Inherited from:
JAndroidBuilder
var claszSymbol: Symbol

Attributes

Inherited from:
PlainSkelBuilder
var cleanups: List[Label]

Attributes

Inherited from:
PlainSkelBuilder
var cnode: ClassNode1

Attributes

Inherited from:
PlainSkelBuilder
var earlyReturnVar: Symbol

Attributes

Inherited from:
PlainSkelBuilder
final val emitLines: Boolean

Attributes

Inherited from:
BCInnerClassGen
final val emitSource: Boolean

Attributes

Inherited from:
BCInnerClassGen
final val emitVars: Boolean

Attributes

Inherited from:
BCInnerClassGen
var isCZParcelable: Boolean

Attributes

Inherited from:
PlainSkelBuilder
var isCZStaticModule: Boolean

Attributes

Inherited from:
PlainSkelBuilder
var isMethSymStaticCtor: Boolean

Attributes

Inherited from:
PlainSkelBuilder
var jMethodName: String

Attributes

Inherited from:
PlainSkelBuilder
var jumpDest: Map[Symbol, (BType, LoadDestination)]

Attributes

Inherited from:
PlainSkelBuilder
var lastEmittedLineNr: Int

Attributes

Inherited from:
PlainSkelBuilder
var methSymbol: Symbol

Attributes

Inherited from:
PlainSkelBuilder
var mnode: MethodNode1

Attributes

Inherited from:
PlainSkelBuilder
var returnType: BType

Attributes

Inherited from:
PlainSkelBuilder
var shouldEmitCleanup: Boolean

Attributes

Inherited from:
PlainSkelBuilder
var thisName: String

Attributes

Inherited from:
PlainSkelBuilder
var varsInScope: List[(Symbol, Label)]

Attributes

Inherited from:
PlainSkelBuilder
val versionPickle: PickleBuffer

Attributes

Inherited from:
BCPickles
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL