t

treehugger

TreeGen

trait TreeGen extends AnyRef

Self Type
Forest
Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TreeGen
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. def isTupleTree(tree: Forest.Tree): Boolean
  13. def maybeMkAsInstanceOf(tree: Forest.Tree, pt: Forest.Type, tpe: Forest.Type, beforeRefChecks: Boolean = false): Forest.Tree

    Cast tree to pt, unless tpe is a subtype of pt, or pt is Unit.

  14. def mkAnd(tree1: Forest.Tree, tree2: Forest.Tree): Forest.Tree
  15. def mkApplyIfNeeded(qual: Forest.Tree): Forest.Tree

    If this is a reference to a method with an empty parameter list, wrap it in an apply.

  16. def mkAsInstanceOf(value: Forest.Tree, tpe: Forest.Type, any: Boolean = true, wrapInApply: Boolean = true): Forest.Tree

    Builds a cast with given value and type.

  17. def mkAttributedIdent(sym: Forest.Symbol): Forest.Tree
  18. def mkAttributedQualifier(tpe: Forest.Type, termSym: Forest.Symbol): Forest.Tree

    Builds a reference to value whose type is given stable prefix.

    Builds a reference to value whose type is given stable prefix. If the type is unsuitable, e.g. it is a TypeRef for an abstract type variable, then an Ident will be made using termSym as the Ident's symbol. In that case, termSym must not be NoSymbol.

  19. def mkAttributedQualifier(tpe: Forest.Type): Forest.Tree

    Builds a reference to value whose type is given stable prefix.

    Builds a reference to value whose type is given stable prefix. The type must be suitable for this. For example, it must not be a TypeRef pointing to an abstract type variable.

  20. def mkAttributedRef(sym: Forest.Symbol): Forest.Tree

    Builds a reference to given symbol.

  21. def mkAttributedRef(pre: Forest.Type, sym: Forest.Symbol): Forest.Tree

    Builds a reference to given symbol with given stable prefix.

  22. def mkAttributedSelect(qual: Forest.Tree, sym: Forest.Symbol): Forest.Tree
  23. def mkAttributedThis(sym: Forest.Symbol): Forest.Tree

    Builds a reference with stable type to given symbol

  24. def mkAttributedTypeApply(target: Forest.Tree, method: Forest.Symbol, targs: List[Forest.Type]): Forest.Tree
  25. def mkCast(tree: Forest.Tree, pt: Forest.Type): Forest.Tree

    Cast tree to type pt

  26. def mkClassOf(tp: Forest.Type): Forest.Tree

    Apparently we smuggle a Type around as a Literal(Constant(tp)) and the implementation of Constant#tpe is such that x.tpe becomes ClassType(value.asInstanceOf[Type]), i.e.

    Apparently we smuggle a Type around as a Literal(Constant(tp)) and the implementation of Constant#tpe is such that x.tpe becomes ClassType(value.asInstanceOf[Type]), i.e. java.lang.Class[Type]. Can't find any docs on how/why it's done this way. See ticket SI-490 for some interesting comments from lauri alanko suggesting that the type given by classOf[T] is too strong and should be weakened so as not to suggest that classOf[List[String]] is any different from classOf[List[Int]].

    !!! See deconstMap in Erasure for one bug this encoding has induced: I would be very surprised if there aren't more.

  27. def mkIsInstanceOf(value: Forest.Tree, tpe: Forest.Type, any: Boolean = true, wrapInApply: Boolean = true): Forest.Tree

    Builds an instance test with given value and type.

  28. def mkMethodCall(target: Forest.Tree, targs: List[Forest.Type], args: List[Forest.Tree]): Forest.Tree
  29. def mkMethodCall(receiver: Forest.Tree, method: Forest.Symbol, targs: List[Forest.Type], args: List[Forest.Tree]): Forest.Tree
  30. def mkMethodCall(receiver: Forest.Symbol, methodName: Forest.Name, args: List[Forest.Tree]): Forest.Tree
  31. def mkMethodCall(target: Forest.Tree, args: List[Forest.Tree]): Forest.Tree
  32. def mkMethodCall(method: Forest.Symbol, args: List[Forest.Tree]): Forest.Tree
  33. def mkMethodCall(method: Forest.Symbol, targs: List[Forest.Type], args: List[Forest.Tree]): Forest.Tree
  34. def mkMethodCall(receiver: Forest.Symbol, methodName: Forest.Name, targs: List[Forest.Type], args: List[Forest.Tree]): Forest.Tree

    A creator for method calls, e.g.

    A creator for method calls, e.g. fn[T1, T2, ...](v1, v2, ...) There are a number of variations.

    receiver

    symbol of the method receiver

    methodName

    name of the method to call

    targs

    type arguments (if Nil, no TypeApply node will be generated)

    args

    value arguments

    returns

    the newly created trees.

  35. def mkNewCons(head: Forest.Tree, tail: Forest.Tree): Forest.Tree

    Builds a list with given head and tail.

  36. def mkNil: Forest.Tree

    Builds a list with given head and tail.

  37. def mkOr(tree1: Forest.Tree, tree2: Forest.Tree): Forest.Tree
  38. def mkTuple(elems: List[Forest.Tree]): Forest.Tree

    Builds a tuple

  39. def mkTypeApply(target: Forest.Tree, method: Forest.Symbol, targs: List[Forest.Type]): Forest.Tree
  40. def mkTypeApply(fun: Forest.Tree, targs: List[Forest.Tree]): Forest.Tree

    Builds a type application node if args.nonEmpty, returns fun otherwise.

  41. def mkUnattributedRef(sym: Forest.Symbol): Forest.Tree

    Builds an untyped reference to given symbol.

  42. def mkZero(tp: Forest.Type): Forest.Tree

    Builds a tree representing an undefined local, as in var x: T = _ which is appropriate to the given Type.

  43. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  44. final def notify(): Unit
    Definition Classes
    AnyRef
  45. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  46. def productConstr: Forest.Select
  47. def rootId(name: Forest.Name): Forest.Select
  48. def rootScalaDot(name: Forest.Name): Forest.Select
  49. def scalaAnyRefConstr: Forest.Select
  50. def scalaDot(name: Forest.Name): Forest.Select
  51. def scalaFunctionConstr(argtpes: List[Forest.Tree], restpe: Forest.Tree, abstractFun: Boolean = false): Forest.Tree
  52. def scalaScalaObjectConstr: Forest.Select
  53. def scalaUnitConstr: Forest.Select
  54. def serializableConstr: Forest.Select
  55. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  56. def toString(): String
    Definition Classes
    AnyRef → Any
  57. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  58. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  59. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped