Type Members

1.  case class Apply(receiver: Tree, method: Ident, args: List[Tree])(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable

   Apply an instance method with dynamic dispatch (the default).

2.  case class ApplyStatic(cls: ClassType, method: Ident, args: List[Tree])(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable

   Apply a static method.

3.  case class ApplyStatically(receiver: Tree, cls: ClassType, method: Ident, args: List[Tree])(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable

   Apply an instance method with static dispatch (e.g., super calls).

4.  case class ArrayLength(array: Tree)(implicit pos: Position) extends Tree with Product with Serializable
5.  case class ArraySelect(array: Tree, index: Tree)(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable
6.  case class ArrayValue(tpe: ArrayType, elems: List[Tree])(implicit pos: Position) extends Tree with Product with Serializable
7.  case class AsInstanceOf(expr: Tree, typeRef: TypeRef)(implicit pos: Position) extends Tree with Product with Serializable
8.  case class Assign(lhs: Tree, rhs: Tree)(implicit pos: Position) extends Tree with Product with Serializable
9.  case class BinaryOp(op: Code, lhs: Tree, rhs: Tree)(implicit pos: Position) extends Tree with Product with Serializable

   Binary operation (always preserves pureness).

10.  class Block extends Tree
11.  case class BooleanLiteral(value: Boolean)(implicit pos: Position) extends Tree with Literal with Product with Serializable
12.  case class ByteLiteral(value: Byte)(implicit pos: Position) extends Tree with Literal with Product with Serializable
13.  case class CharLiteral(value: Char)(implicit pos: Position) extends Tree with Literal with Product with Serializable
14.  final class ClassDef extends IRNode
15.  case class ClassOf(typeRef: TypeRef)(implicit pos: Position) extends Tree with Literal with Product with Serializable
16.  case class Closure(arrow: Boolean, captureParams: List[ParamDef], params: List[ParamDef], body: Tree, captureValues: List[Tree])(implicit pos: Position) extends Tree with Product with Serializable

    Closure with explicit captures.

    Closure with explicit captures.

    arrow

    If true, the closure is an Arrow Function (=>), which does not have an this parameter, and cannot be constructed (called with new). If false, it is a regular Function (function).

17.  case class ComputedName(tree: Tree, logicalName: String) extends IRNode with PropertyName with Product with Serializable
18.  case class Continue(label: Option[Ident] = None)(implicit pos: Position) extends Tree with Product with Serializable
19.  case class CreateJSClass(cls: ClassRef, captureValues: List[Tree])(implicit pos: Position) extends Tree with Product with Serializable

    Creates a JavaScript class value.

    Creates a JavaScript class value.

    cls

    Reference to the ClassDef for the class definition, which must have jsClassCaptures.nonEmpty

    captureValues

    Actual values for the captured parameters (in the ClassDef's jsClassCaptures.get)

20.  case class Debugger()(implicit pos: Position) extends Tree with Product with Serializable
21.  case class DoWhile(body: Tree, cond: Tree, label: Option[Ident] = None)(implicit pos: Position) extends Tree with Product with Serializable
22.  case class DoubleLiteral(value: Double)(implicit pos: Position) extends Tree with Literal with Product with Serializable
23.  case class FieldDef(static: Boolean, name: PropertyName, ftpe: Type, mutable: Boolean)(implicit pos: Position) extends MemberDef with Product with Serializable
24.  case class FloatLiteral(value: Float)(implicit pos: Position) extends Tree with Literal with Product with Serializable
25.  case class ForIn(obj: Tree, keyVar: Ident, body: Tree)(implicit pos: Position) extends Tree with Product with Serializable
26.  case class GetClass(expr: Tree)(implicit pos: Position) extends Tree with Product with Serializable
27.  sealed abstract class IRNode extends AnyRef

    Base class for all nodes in the IR.

    Base class for all nodes in the IR.

    Usually, one of the direct subclasses of IRNode should be used instead.

28.  case class Ident(name: String, originalName: Option[String])(implicit pos: Position) extends IRNode with PropertyName with Product with Serializable
29.  case class If(cond: Tree, thenp: Tree, elsep: Tree)(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable
30.  case class IntLiteral(value: Int)(implicit pos: Position) extends Tree with Literal with Product with Serializable
31.  case class IsInstanceOf(expr: Tree, typeRef: TypeRef)(implicit pos: Position) extends Tree with Product with Serializable
32.  case class JSArrayConstr(items: List[TreeOrJSSpread])(implicit pos: Position) extends Tree with Product with Serializable
33.  case class JSBinaryOp(op: Code, lhs: Tree, rhs: Tree)(implicit pos: Position) extends Tree with Product with Serializable

    Binary operation (always preserves pureness).

    Binary operation (always preserves pureness).

    Operations which do not preserve pureness are not allowed in this tree. These are notably +=, -=, *=, /= and %=

34.  case class JSBracketMethodApply(receiver: Tree, method: Tree, args: List[TreeOrJSSpread])(implicit pos: Position) extends Tree with Product with Serializable
35.  case class JSBracketSelect(qualifier: Tree, item: Tree)(implicit pos: Position) extends Tree with Product with Serializable
36.  case class JSDelete(prop: Tree)(implicit pos: Position) extends Tree with Product with Serializable
37.  case class JSDotMethodApply(receiver: Tree, method: Ident, args: List[TreeOrJSSpread])(implicit pos: Position) extends Tree with Product with Serializable
38.  case class JSDotSelect(qualifier: Tree, item: Ident)(implicit pos: Position) extends Tree with Product with Serializable
39.  case class JSFunctionApply(fun: Tree, args: List[TreeOrJSSpread])(implicit pos: Position) extends Tree with Product with Serializable
40.  case class JSGlobalRef(ident: Ident)(implicit pos: Position) extends Tree with Product with Serializable
41.  case class JSLinkingInfo()(implicit pos: Position) extends Tree with Product with Serializable
42.  sealed abstract class JSNativeLoadSpec extends AnyRef

    Loading specification for a native JS class or object.

43.  case class JSNew(ctor: Tree, args: List[TreeOrJSSpread])(implicit pos: Position) extends Tree with Product with Serializable
44.  case class JSObjectConstr(fields: List[(PropertyName, Tree)])(implicit pos: Position) extends Tree with Product with Serializable
45.  case class JSSpread(items: Tree)(implicit pos: Position) extends IRNode with TreeOrJSSpread with Product with Serializable

    ...items, the "spread" operator of ECMAScript 6.

    ...items, the "spread" operator of ECMAScript 6.

    It is only valid in the args/items of a JSNew, JSFunctionApply, JSDotMethodApply, JSBracketMethodApply, or JSArrayConstr.

    items

    An Array whose items will be spread (not an arbitrary iterable)

46.  case class JSSuperBracketCall(superClass: Tree, receiver: Tree, method: Tree, args: List[TreeOrJSSpread])(implicit pos: Position) extends Tree with Product with Serializable

    Calls a method inherited from the given superClass on receiver.

    Calls a method inherited from the given superClass on receiver.

    Intuitively, this corresponds to

    superClass.prototype[method].call(receiver, ...args)

    but retains more structure at the IR level than using an explicit encoding of the above expression.

    Given the non-native JS classes

    class Bar extends js.Object
    class Foo extends Bar

    The node

    JSSuperBrackerCall(LoadJSConstructor(ClassType(Bar)), receiver, method, args)

    which is printed as

    super(constructorOf[Bar])::receiver[method](...args)

    has the following semantics:

    Bar.prototype[method].call(receiver, ...args)

    If this happens to be located in an instance method of Foo, *and* receiver happens to be This(), this is equivalent to the ES6 statement

    super[method](...args)

47.  case class JSSuperBracketSelect(superClass: Tree, receiver: Tree, item: Tree)(implicit pos: Position) extends Tree with Product with Serializable

    Selects a property inherited from the given superClass on receiver.

    Selects a property inherited from the given superClass on receiver.

    Given the non-native JS classes

    class Bar extends js.Object
    class Foo extends Bar

    The node

    JSSuperBrackerSelect(LoadJSConstructor(ClassType(Bar)), qualifier, item)

    which is printed as

    super(constructorOf[Bar])::qualifier[item]

    has the semantics of an ES6 super reference

    super[item]

    as if it were in an instance method of Foo with qualifier as the this value.

48.  case class JSSuperConstructorCall(args: List[TreeOrJSSpread])(implicit pos: Position) extends Tree with Product with Serializable

    Super constructor call in the constructor of a non-native JS class.

    Super constructor call in the constructor of a non-native JS class.

    Exactly one such node must appear in the constructor of a non-native JS class, at the top-level (possibly as a direct child of a top-level Block). Any other use of this node is invalid.

    Statements before this node, as well as the args, cannot contain any This() node. Statements after this node can use This().

    After the execution of this node, it is guaranteed that all fields declared in the current class have been created and initialized. Up to that point, accessing any field declared in this class (e.g., through an overridden method called from the super constructor) is undefined behavior.

    All in all, the shape of a constructor is therefore:

    {
      statementsNotUsingThis();
      JSSuperConstructorCall(...argsNotUsingThis);
      statementsThatMayUseThis()
    }

    which currently translates to something of the following shape:

    {
      statementsNotUsingThis();
      super(...argsNotUsingThis);
      this.privateField1 = 0;
      this["publicField2"] = false;
      statementsThatMayUseThis()
    }

49.  case class JSUnaryOp(op: Code, lhs: Tree)(implicit pos: Position) extends Tree with Product with Serializable

    Unary operation (always preserves pureness).

    Unary operation (always preserves pureness).

    Operations which do not preserve pureness are not allowed in this tree. These are notably ++ and --

50.  case class Labeled(label: Ident, tpe: Type, body: Tree)(implicit pos: Position) extends Tree with Product with Serializable
51.  sealed trait Literal extends Tree

    Marker for literals.

    Marker for literals. Literals are always pure.

52.  case class LoadJSConstructor(cls: ClassType)(implicit pos: Position) extends Tree with Product with Serializable

    Loads the constructor of a JS class (native or not).

    Loads the constructor of a JS class (native or not).

    cls must represent a non-trait JS class (native or not).

    This is used typically to instantiate a JS class, and most importantly if it is a non-native JS class. Given the class

    class Foo(x: Int) extends js.Object

    The instantiation new Foo(1) would be represented as

    JSNew(LoadJSConstructor(ClassType("Foo")), List(IntLiteral(1)))

    This node is also useful to encode o.isInstanceOf[Foo]:

    JSBinaryOp(instanceof, o, LoadJSConstructor(ClassType("Foo")))

    If Foo is non-native, the presence of this node makes it instantiable, and therefore reachable.

53.  case class LoadJSModule(cls: ClassType)(implicit pos: Position) extends Tree with Product with Serializable

    Like LoadModule but for a JS module class.

54.  case class LoadModule(cls: ClassType)(implicit pos: Position) extends Tree with Product with Serializable
55.  case class LongLiteral(value: Long)(implicit pos: Position) extends Tree with Literal with Product with Serializable
56.  case class Match(selector: Tree, cases: List[(List[Literal], Tree)], default: Tree)(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable

    A break-free switch (without fallthrough behavior).

    A break-free switch (without fallthrough behavior). Unlike a JavaScript switch, it can be used in expression position. It supports alternatives explicitly (hence the List[Tree] in cases), whereas in a switch one would use the fallthrough behavior to implement alternatives. (This is not a pattern matching construct like in Scala.)

57.  sealed abstract class MemberDef extends IRNode
58.  case class MethodDef(static: Boolean, name: PropertyName, args: List[ParamDef], resultType: Type, body: Option[Tree])(optimizerHints: OptimizerHints, hash: Option[TreeHash])(implicit pos: Position) extends MemberDef with Product with Serializable
59.  case class New(cls: ClassType, ctor: Ident, args: List[Tree])(implicit pos: Position) extends Tree with Product with Serializable
60.  case class NewArray(tpe: ArrayType, lengths: List[Tree])(implicit pos: Position) extends Tree with Product with Serializable
61.  case class Null()(implicit pos: Position) extends Tree with Literal with Product with Serializable
62.  final class OptimizerHints extends AnyVal
63.  case class ParamDef(name: Ident, ptpe: Type, mutable: Boolean, rest: Boolean)(implicit pos: Position) extends IRNode with Product with Serializable
64.  case class PropertyDef(static: Boolean, name: PropertyName, getterBody: Option[Tree], setterArgAndBody: Option[(ParamDef, Tree)])(implicit pos: Position) extends MemberDef with Product with Serializable
65.  sealed trait PropertyName extends IRNode
66.  case class RecordValue(tpe: RecordType, elems: List[Tree])(implicit pos: Position) extends Tree with Product with Serializable
67.  case class Return(expr: Tree, label: Option[Ident] = None)(implicit pos: Position) extends Tree with Product with Serializable
68.  case class Select(qualifier: Tree, item: Ident)(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable
69.  case class SelectStatic(cls: ClassType, item: Ident)(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable
70.  case class ShortLiteral(value: Short)(implicit pos: Position) extends Tree with Literal with Product with Serializable
71.  case class Skip()(implicit pos: Position) extends Tree with Product with Serializable
72.  case class StoreModule(cls: ClassType, value: Tree)(implicit pos: Position) extends Tree with Product with Serializable
73.  case class StringLiteral(value: String)(implicit pos: Position) extends Tree with Literal with PropertyName with Product with Serializable
74.  case class This()(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable
75.  case class Throw(expr: Tree)(implicit pos: Position) extends Tree with Product with Serializable
76.  case class TopLevelConstructorExportDef(name: String, args: List[ParamDef], body: Tree)(implicit pos: Position) extends TopLevelExportDef with Product with Serializable
77.  sealed abstract class TopLevelExportDef extends IRNode
78.  case class TopLevelFieldExportDef(fullName: String, field: Ident)(implicit pos: Position) extends TopLevelExportDef with Product with Serializable
79.  case class TopLevelJSClassExportDef(fullName: String)(implicit pos: Position) extends TopLevelExportDef with Product with Serializable
80.  case class TopLevelMethodExportDef(methodDef: MethodDef)(implicit pos: Position) extends TopLevelExportDef with Product with Serializable
81.  case class TopLevelModuleExportDef(fullName: String)(implicit pos: Position) extends TopLevelExportDef with Product with Serializable

    Export for a top-level object.

    Export for a top-level object.

    This exports the singleton instance of the containing module class. The instance is initialized during ES module instantiation.

82.  case class Transient(value: Value)(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable

    A transient node for custom purposes.

    A transient node for custom purposes.

    A transient node is never a valid input to the Serializers nor to the linker, but can be used in a transient state for internal purposes.

    value

    The payload of the transient node, without any specified meaning.

83.  sealed abstract class Tree extends IRNode with TreeOrJSSpread

    Node for a statement or expression in the IR.

84.  final class TreeHash extends AnyRef

    A hash of a tree (usually a MethodDef).

    A hash of a tree (usually a MethodDef).

    Contains a SHA-1 hash.

85.  sealed trait TreeOrJSSpread extends IRNode

    Either a Tree or a JSSpread.

    Either a Tree or a JSSpread.

    This is the type of actual arguments to JS applications.

86.  case class TryCatch(block: Tree, errVar: Ident, handler: Tree)(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable
87.  case class TryFinally(block: Tree, finalizer: Tree)(implicit pos: Position) extends Tree with Product with Serializable
88.  case class UnaryOp(op: Code, lhs: Tree)(implicit pos: Position) extends Tree with Product with Serializable

    Unary operation (always preserves pureness).

89.  case class Unbox(expr: Tree, charCode: Char)(implicit pos: Position) extends Tree with Product with Serializable
90.  case class Undefined()(implicit pos: Position) extends Tree with Literal with Product with Serializable
91.  case class VarDef(name: Ident, vtpe: Type, mutable: Boolean, rhs: Tree)(implicit pos: Position) extends Tree with Product with Serializable
92.  case class VarRef(ident: Ident)(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable
93.  case class While(cond: Tree, body: Tree, label: Option[Ident] = None)(implicit pos: Position) extends Tree with Product with Serializable