tpd

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def Alternative(trees: List[Tree])(implicit ctx: Context): Alternative

   

5. def AndTypeTree(left: Tree, right: Tree)(implicit ctx: Context): AndTypeTree

   

6. def Annotated(annot: Tree, arg: Tree)(implicit ctx: Context): Annotated

   

7. def AnonClass(parents: List[Type], fns: List[TermSymbol], methNames: List[TermName])(implicit ctx: Context): Block

   

   An anonymous class

   An anonymous class

   new parents { forwarders }

   where forwarders contains forwarders for all functions in fns.

   parents

   a non-empty list of class types

   fns

   a non-empty of functions for which forwarders should be defined in the class. The class has the same owner as the first function in fns. Its position is the union of all functions in fns.

8. def AppliedTypeTree(tycon: Tree, args: List[Tree])(implicit ctx: Context): AppliedTypeTree

   

9. def Apply(fn: Tree, args: List[Tree])(implicit ctx: Context): Apply

   

10. def Assign(lhs: Tree, rhs: Tree)(implicit ctx: Context): Assign

    

11. def Bind(sym: TermSymbol, body: Tree)(implicit ctx: Context): Bind

    

12. def BindTyped(sym: TermSymbol, tpe: Type)(implicit ctx: Context): Bind

    

    A pattern corresponding to sym: tpe

13. def Block(stats: List[Tree], expr: Tree)(implicit ctx: Context): Block

    

14. def ByNameTypeTree(result: Tree)(implicit ctx: Context): ByNameTypeTree

    

15. def CaseDef(pat: Tree, guard: Tree, body: Tree)(implicit ctx: Context): CaseDef

    

16. def ClassDef(cls: ClassSymbol, constr: DefDef, body: List[Tree], superArgs: List[Tree] = Nil)(implicit ctx: Context): TypeDef

    

17. def Closure(meth: TermSymbol, rhsFn: (List[List[Tree]]) ⇒ Tree, targs: List[Tree] = Nil, targetType: Type = NoType)(implicit ctx: Context): Block

    

    A function def

    A function def

    vparams => expr

    gets expanded to

    { def $anonfun(vparams) = expr; Closure($anonfun) }

    where the closure's type is the target type of the expression (FunctionN, unless otherwise specified).

18. def Closure(env: List[Tree], meth: Tree, tpt: Tree)(implicit ctx: Context): Closure

    

19. def DefDef(sym: TermSymbol, rhsFn: (List[List[Tree]]) ⇒ Tree)(implicit ctx: Context): DefDef

    

20. def DefDef(sym: TermSymbol, rhs: Tree = EmptyTree)(implicit ctx: Context): DefDef

    

21. val EmptyModifiers: Modifiers

    

    Definition Classes

    Instance

22. val EmptyTree: Thicket

    

    Definition Classes

    Instance

23. val EmptyValDef: ValDef

    

    Definition Classes

    Instance

24. def Ident(tp: NamedType)(implicit ctx: Context): Ident

    

25. def If(cond: Tree, thenp: Tree, elsep: Tree)(implicit ctx: Context): If

    

26. def Import(expr: Tree, selectors: List[untpd.Tree])(implicit ctx: Context): Import

    

27. def JavaSeqLiteral(elems: List[Tree], elemtpt: Tree)(implicit ctx: Context): JavaSeqLiteral

    

28. def Literal(const: Constant)(implicit ctx: Context): Literal

    

29. def Match(selector: Tree, cases: List[CaseDef])(implicit ctx: Context): Match

    

30. object MaybePoly

    

    An extractor that pulls out type arguments

31. def Modifiers(sym: Symbol)(implicit ctx: Context): Modifiers

    

32. def Modifiers(flags: FlagSet = EmptyFlags, privateWithin: TypeName = tpnme.EMPTY, annotations: List[Tree] = Nil): Trees.Modifiers[Type]

    

    Definition Classes

    Instance

33. def ModuleDef(sym: TermSymbol, body: List[Tree])(implicit ctx: Context): Thicket

    

    An object def

    An object def

    object obs extends parents { decls }

    gets expanded to

    <module> val obj = new obj$ <module> class obj$ extends parents { this: obj.type => decls }

    (The following no longer applies: What's interesting here is that the block is well typed (because class obj$ is hoistable), but the type of the obj val is not expressible. What needs to happen in general when inferring the type of a val from its RHS, is: if the type contains a class that has the val itself as owner, then that class is remapped to have the val's owner as owner. Remapping could be done by cloning the class with the new owner and substituting everywhere in the tree. We know that remapping is safe because the only way a local class can appear in the RHS of a val is by being hoisted outside of a block, and the necessary checks are done at this point already.

    On the other hand, for method result type inference, if the type of the RHS of a method contains a class owned by the method, this would be an error.)

34. def NamedArg(name: Name, arg: Tree)(implicit ctx: Context): NamedArg

    

35. def New(tp: Type, constr: TermSymbol, args: List[Tree])(implicit ctx: Context): Apply

    

    new C(args), calling given constructor constr of C

36. def New(tp: Type, args: List[Tree])(implicit ctx: Context): Apply

    

    new C(args), calling the primary constructor of C

37. def New(tp: Type)(implicit ctx: Context): New

    

38. def New(tpt: Tree)(implicit ctx: Context): New

    

39. def OrTypeTree(left: Tree, right: Tree)(implicit ctx: Context): OrTypeTree

    

40. def PackageDef(pid: RefTree, stats: List[Tree])(implicit ctx: Context): PackageDef

    

41. def Pair(left: Tree, right: Tree)(implicit ctx: Context): Pair

    

42. def Return(expr: Tree, from: Tree)(implicit ctx: Context): Return

    

43. def Select(qualifier: Tree, name: Name)(implicit ctx: Context): Select

    

44. def SelectFromTypeTree(qualifier: Tree, tp: NamedType)(implicit ctx: Context): SelectFromTypeTree

    

45. def SelectFromTypeTree(qualifier: Tree, name: Name)(implicit ctx: Context): SelectFromTypeTree

    

46. def SeqLiteral(elems: List[Tree], elemtpt: Tree)(implicit ctx: Context): SeqLiteral

    

47. def SingletonTypeTree(ref: Tree)(implicit ctx: Context): SingletonTypeTree

    

48. def Super(qual: Tree, mix: TypeName, inConstrCall: Boolean, mixinClass: Symbol = NoSymbol)(implicit ctx: Context): Super

    

49. def SyntheticValDef(name: TermName, rhs: Tree)(implicit ctx: Context): ValDef

    

50. def Thicket(x1: Tree, x2: Tree, x3: Tree): Thicket

    

    Definition Classes

    Instance

51. def Thicket(x1: Tree, x2: Tree): Thicket

    

    Definition Classes

    Instance

52. def Thicket(): Thicket

    

    Definition Classes

    Instance

53. def Thicket(trees: List[Tree]): Thicket

    

    Definition Classes

    Instance

54. def This(cls: ClassSymbol)(implicit ctx: Context): This

    

55. def Throw(expr: Tree)(implicit ctx: Context): Tree

    

56. def Try(block: Tree, cases: List[CaseDef], finalizer: Tree)(implicit ctx: Context): Try

    

57. def TypeApply(fn: Tree, args: List[Tree])(implicit ctx: Context): TypeApply

    

58. def TypeBoundsTree(lo: Tree, hi: Tree)(implicit ctx: Context): TypeBoundsTree

    

59. def TypeDef(sym: TypeSymbol)(implicit ctx: Context): TypeDef

    

60. def TypeTree(tp: Type, original: Tree = EmptyTree)(implicit ctx: Context): TypeTree

    

61. def TypeTree(original: Tree)(implicit ctx: Context): TypeTree

    

62. def Typed(expr: Tree, tpt: Tree)(implicit ctx: Context): Typed

    

63. def UnApply(fun: Tree, implicits: List[Tree], patterns: List[Tree], proto: Type)(implicit ctx: Context): UnApply

    

64. def Underscore(tp: Type)(implicit ctx: Context): Trees.Ident[Type]

    

    A _' with given type

65. def ValDef(sym: TermSymbol, rhs: LazyTree = EmptyTree)(implicit ctx: Context): ValDef

    

66. def WhileDo(owner: Symbol, cond: Tree, body: List[Tree])(implicit ctx: Context): Tree

    

67. def applyOverloaded(receiver: Tree, method: TermName, args: List[Tree], targs: List[Type], expectedType: Type, isAnnotConstructor: Boolean = false)(implicit ctx: Context): Tree

    

68. def arguments(tree: Tree): List[Tree]

    

    The (last) list of arguments of an application

    The (last) list of arguments of an application

    Definition Classes

    TreeInfo

69. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

70. def catchesAllOf(cdef: CaseDef, threshold: Type)(implicit ctx: Context): Boolean

    

    Does this CaseDef catch everything of a certain Type?

    Does this CaseDef catch everything of a certain Type?

    Definition Classes

    TreeInfo

71. def catchesThrowable(cdef: CaseDef)(implicit ctx: Context): Boolean

    

    Does this CaseDef catch Throwable?

    Does this CaseDef catch Throwable?

    Definition Classes

    TreeInfo

72. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

73. def closureBody(tree: Tree)(implicit ctx: Context): Tree

    

    If tree is a closure, it's body, otherwise tree itself

    If tree is a closure, it's body, otherwise tree itself

    Definition Classes

    TreeInfo

74. def clsOf(tp: Type)(implicit ctx: Context): Tree

    

    A tree that represents the class of the erasure of type tp.

75. val cpy: TypedTreeCopier

    

    Definition Classes

    tpd → Instance

76. def defKind(tree: Tree): FlagSet

    

    The largest subset of {NoInits, PureInterface} that a trait enclosing this statement can have as flags.

    The largest subset of {NoInits, PureInterface} that a trait enclosing this statement can have as flags. Does tree contain an initialization part when seen as a member of a class or trait?

    Definition Classes

    TreeInfo

77. def defPath(sym: Symbol, root: Tree)(implicit ctx: Context): List[Tree]

    

    Going from child to parent, the path of tree nodes that starts with a definition of symbol sym and ends with root, or Nil if no such path exists.

    Going from child to parent, the path of tree nodes that starts with a definition of symbol sym and ends with root, or Nil if no such path exists. Pre: sym must have a position.

    Definition Classes

    TypedTreeInfo

78. def defaultValue(tpe: Type)(implicit ctx: Context): Tree

    

79. def definedSym(tree: Tree)(implicit ctx: Context): Symbol

    

    If tree is a DefTree, the symbol defined by it, otherwise NoSymbol

    If tree is a DefTree, the symbol defined by it, otherwise NoSymbol

    Definition Classes

    TypedTreeInfo

80. def definingStats(sym: Symbol)(implicit ctx: Context): List[Tree]

    

    The statement sequence that contains a definition of sym, or Nil if none was found.

    The statement sequence that contains a definition of sym, or Nil if none was found. For a tree to be found, The symbol must have a position and its definition tree must be reachable from come tree stored in an enclosing context.

    Definition Classes

    TypedTreeInfo

81. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

82. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

83. def evalOnce(tree: Tree)(within: (Tree) ⇒ Tree)(implicit ctx: Context): Tree

    

84. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

85. def firstConstructor(stats: List[Tree]): Tree

    

    The first constructor definition in stats

    The first constructor definition in stats

    Definition Classes

    TreeInfo

86. def firstConstructorArgs(stats: List[Tree]): List[Tree]

    

    The arguments to the first constructor in stats.

    The arguments to the first constructor in stats.

    Definition Classes

    TreeInfo

87. def flatTree(xs: List[Tree]): Tree

    

    Definition Classes

    Instance

88. def forallResults(tree: Tree, p: (Tree) ⇒ Boolean): Boolean

    

    Checks whether predicate p is true for all result parts of this expression, where we zoom into Ifs, Matches, and Blocks.

    Checks whether predicate p is true for all result parts of this expression, where we zoom into Ifs, Matches, and Blocks.

    Definition Classes

    TreeInfo

89. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

90. def hasNamedArg(args: List[Any]): Boolean

    

    Does this list contain a named argument tree?

    Does this list contain a named argument tree?

    Definition Classes

    TreeInfo

91. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

92. def isCatchCase(cdef: CaseDef)(implicit ctx: Context): Boolean

    

    Is this pattern node a catch-all or type-test pattern?

    Is this pattern node a catch-all or type-test pattern?

    Definition Classes

    TypedTreeInfo

93. def isDeclarationOrTypeDef(tree: Tree): Boolean

    

    Definition Classes

    TreeInfo

94. def isDefaultCase(cdef: CaseDef): Boolean

    

    Is this pattern node a catch-all (wildcard or variable) pattern?

    Is this pattern node a catch-all (wildcard or variable) pattern?

    Definition Classes

    TreeInfo

95. def isGuardedCase(cdef: CaseDef): Boolean

    

    Is this case guarded?

    Is this case guarded?

    Definition Classes

    TreeInfo

96. def isIdempotentExpr(tree: Tree)(implicit ctx: Context): Boolean

    

    Definition Classes

    TypedTreeInfo

97. def isIdempotentRef(tree: Tree)(implicit ctx: Context): Boolean

    

    Definition Classes

    TypedTreeInfo

98. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

99. def isLeftAssoc(operator: Name): Boolean

    

    Is name a left-associative operator?

    Is name a left-associative operator?

    Definition Classes

    TreeInfo

100. val isNamedArg: (Any) ⇒ Boolean

     

     Definition Classes

     TreeInfo

101. def isOpAssign(tree: Tree): Boolean

     

     Definition Classes

     TreeInfo

102. def isPureExpr(tree: Tree)(implicit ctx: Context): Boolean

     

     Definition Classes

     TypedTreeInfo

103. def isPureRef(tree: Tree)(implicit ctx: Context): Boolean

     

     Definition Classes

     TypedTreeInfo

104. def isRepeatedParamType(tpt: Tree)(implicit ctx: Context): Boolean

     

     Is tpt a vararg type of the form T* or => T*?

     Is tpt a vararg type of the form T* or => T*?

     Definition Classes

     TreeInfo

105. def isSelf(tree: Tree, enclClass: Symbol)(implicit ctx: Context): Boolean

     

     Is tree a this node which belongs to enclClass?

     Is tree a this node which belongs to enclClass?

     Definition Classes

     TypedTreeInfo

106. def isSelfConstrCall(tree: Tree): Boolean

     

     Is tree a self constructor call this(...)? I.e.

     Is tree a self constructor call this(...)? I.e. a call to a constructor of the same object?

     Definition Classes

     TreeInfo

107. def isSelfOrSuperConstrCall(tree: Tree): Boolean

     

     Definition Classes

     TreeInfo

108. def isSuperConstrCall(tree: Tree): Boolean

     

     Is tree a super constructor call?

     Is tree a super constructor call?

     Definition Classes

     TreeInfo

109. def isSuperSelection(tree: untpd.Tree): Boolean

     

     Definition Classes

     TreeInfo

110. def isSyntheticDefaultCase(cdef: CaseDef): Boolean

     

     Is this pattern node a synthetic catch-all case, added during PartialFuction synthesis before we know whether the user provided cases are exhaustive.

     Is this pattern node a synthetic catch-all case, added during PartialFuction synthesis before we know whether the user provided cases are exhaustive.

     Definition Classes

     TreeInfo

111. def isVarPattern(pat: untpd.Tree): Boolean

     

     Is tree a variable pattern?

     Is tree a variable pattern?

     Definition Classes

     TreeInfo

112. def isVariableOrGetter(tree: Tree)(implicit ctx: Context): Boolean

     

     Is tree a reference to a mutable variable, or to a potential getter that has a setter in the same class?

     Is tree a reference to a mutable variable, or to a potential getter that has a setter in the same class?

     Definition Classes

     TypedTreeInfo

113. def isWildcardArg(tree: Tree): Boolean

     

     Is the argument a wildcard argument of the form _ or x @ _?

     Is the argument a wildcard argument of the form _ or x @ _?

     Definition Classes

     TreeInfo

114. def isWildcardStarArg(tree: Tree)(implicit ctx: Context): Boolean

     

     Is this argument node of the form <expr> : _* ?

     Is this argument node of the form <expr> : _* ?

     Definition Classes

     TreeInfo

115. def isWildcardStarArgList(trees: List[Tree])(implicit ctx: Context): Boolean

     

     Does this argument list end with an argument of the form <expr> : _* ?

     Does this argument list end with an argument of the form <expr> : _* ?

     Definition Classes

     TreeInfo

116. def lacksDefinition(mdef: MemberDef)(implicit ctx: Context): Boolean

     

     True iff definition is a val or def with no right-hand-side, or it is an abstract typoe declaration

     True iff definition is a val or def with no right-hand-side, or it is an abstract typoe declaration

     Definition Classes

     TreeInfo

117. def localSyms(stats: List[Tree])(implicit ctx: Context): List[Symbol]

     

     The symbols defined locally in a statement list

     The symbols defined locally in a statement list

     Definition Classes

     TypedTreeInfo

118. def mayBeTypePat(tree: untpd.Tree): Boolean

     

     can this type be a type pattern?

     can this type be a type pattern?

     Definition Classes

     TreeInfo

119. def mayBeVarGetter(sym: Symbol)(implicit ctx: Context): Boolean

     

     Is symbol potentially a getter of a mutable variable?

     Is symbol potentially a getter of a mutable variable?

     Definition Classes

     TypedTreeInfo

120. def methPart(tree: Tree): Tree

     

     The method part of an application node, possibly enclosed in a block with only valdefs as statements.

     The method part of an application node, possibly enclosed in a block with only valdefs as statements. the reason for also considering blocks is that named arguments can transform a call into a block, e.g. <init>(b = foo, a = bar) is transformed to { val x$1 = foo val x$2 = bar <init>(x$2, x$1) }

     Definition Classes

     TreeInfo

121. final def ne(arg0: AnyRef): Boolean

     

     Definition Classes

     AnyRef

122. def needsSelect(tp: Type)(implicit ctx: Context): Boolean

     

123. def newArray(elemTpe: Type, returnTpe: Type, pos: Position, dims: JavaSeqLiteral)(implicit ctx: Context): Tree

     

     A tree representing a newXYZArray operation of the right kind for the given element type in typeArg.

     A tree representing a newXYZArray operation of the right kind for the given element type in typeArg. No type arguments or length arguments are given.

124. final def notify(): Unit

     

     Definition Classes

     AnyRef

125. final def notifyAll(): Unit

     

     Definition Classes

     AnyRef

126. def numArgs(tree: Tree): Int

     

     The number of arguments in an application

     The number of arguments in an application

     Definition Classes

     TreeInfo

127. def patVars(tree: Tree)(implicit ctx: Context): List[Symbol]

     

     The variables defined by a pattern, in reverse order of their appearance.

     The variables defined by a pattern, in reverse order of their appearance.

     Definition Classes

     TypedTreeInfo

128. def polyDefDef(sym: TermSymbol, rhsFn: (List[Type]) ⇒ (List[List[Tree]]) ⇒ Tree)(implicit ctx: Context): DefDef

     

129. def prefixIsElidable(tp: NamedType)(implicit ctx: Context): Boolean

     

130. def primitiveConversion(tree: Tree, numericCls: Symbol)(implicit ctx: Context): Tree

     

131. def ref(sym: Symbol)(implicit ctx: Context): Tree

     

132. def ref(tp: NamedType)(implicit ctx: Context): Tree

     

     A tree representing the same reference as the given type

133. def rename(tree: NameTree, newName: Name)(implicit ctx: Context): ThisTree[Type]

     

     Definition Classes

     Instance

134. def runtimeCall(name: TermName, args: List[Tree])(implicit ctx: Context): Tree

     

135. def sameTypes(trees: List[Tree], trees1: List[Tree]): Boolean

     

     Annotations

     @tailrec()

136. def seq(stats: List[Tree], expr: Tree)(implicit ctx: Context): Tree

     

     Join stats in front of expr creating a new block if necessary

137. def singleton(tp: Type)(implicit ctx: Context): Tree

     

138. def sliceTopLevel(tree: Tree, cls: ClassSymbol)(implicit ctx: Context): List[Tree]

     

     The tree containing only the top-level classes and objects matching either cls or its companion object

     The tree containing only the top-level classes and objects matching either cls or its companion object

     Definition Classes

     TypedTreeInfo

139. def stripApply(tree: Tree): Tree

     

     If this is an application, its function part, stripping all Apply nodes (but leaving TypeApply nodes in).

     If this is an application, its function part, stripping all Apply nodes (but leaving TypeApply nodes in). Otherwise the tree itself.

     Definition Classes

     TreeInfo

140. def stripCast(tree: Tree)(implicit ctx: Context): Tree

     

     Strips layers of .asInstanceOf[T] / _.$asInstanceOf[T]() from an expression

     Strips layers of .asInstanceOf[T] / _.$asInstanceOf[T]() from an expression

     Definition Classes

     TypedTreeInfo

141. final def synchronized[T0](arg0: ⇒ T0): T0

     

     Definition Classes

     AnyRef

142. def toString(): String

     

     Definition Classes

     AnyRef → Any

143. def topLevelClasses(tree: Tree)(implicit ctx: Context): List[ClassSymbol]

     

     The top level classes in this tree, including only those module classes that are not a linked class of some other class in the result.

     The top level classes in this tree, including only those module classes that are not a linked class of some other class in the result.

     Definition Classes

     TypedTreeInfo

144. def unbind(x: Tree): Tree

     

     The underlying pattern ignoring any bindings

     The underlying pattern ignoring any bindings

     Definition Classes

     TreeInfo

145. def unitLiteral(implicit ctx: Context): Literal

     

146. def unsplice[T >: Untyped](tree: Trees.Tree[T]): Trees.Tree[T]

     

     Definition Classes

     TreeInfo

147. def unsupported(methodName: String): Nothing

     

     Throws an UnsupportedOperationException with the given method name.

     Throws an UnsupportedOperationException with the given method name.

     Definition Classes

     DotClass

148. final def wait(): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

149. final def wait(arg0: Long, arg1: Int): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

150. final def wait(arg0: Long): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )