TypedTreeInfo

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 arguments(tree: (TypedTreeInfo.this)#Tree): List[(TypedTreeInfo.this)#Tree]

   

   The (last) list of arguments of an application

   The (last) list of arguments of an application

   Definition Classes

   TreeInfo

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def catchesAllOf(cdef: (TypedTreeInfo.this)#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

7. def catchesThrowable(cdef: (TypedTreeInfo.this)#CaseDef)(implicit ctx: Context): Boolean

   

   Does this CaseDef catch Throwable?

   Does this CaseDef catch Throwable?

   Definition Classes

   TreeInfo

8. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9. def closureBody(tree: tpd.Tree)(implicit ctx: Context): tpd.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

10. def defKind(tree: (TypedTreeInfo.this)#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

11. def defPath(sym: Symbol, root: (TypedTreeInfo.this)#Tree)(implicit ctx: Context): List[(TypedTreeInfo.this)#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.

12. def definedSym(tree: (TypedTreeInfo.this)#Tree)(implicit ctx: Context): Symbol

    

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

13. def definingStats(sym: Symbol)(implicit ctx: Context): List[(TypedTreeInfo.this)#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.

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

    

    Definition Classes

    AnyRef

15. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

16. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

17. def firstConstructor(stats: List[(TypedTreeInfo.this)#Tree]): (TypedTreeInfo.this)#Tree

    

    The first constructor definition in stats

    The first constructor definition in stats

    Definition Classes

    TreeInfo

18. def firstConstructorArgs(stats: List[(TypedTreeInfo.this)#Tree]): List[(TypedTreeInfo.this)#Tree]

    

    The arguments to the first constructor in stats.

    The arguments to the first constructor in stats.

    Definition Classes

    TreeInfo

19. def forallResults(tree: (TypedTreeInfo.this)#Tree, p: ((TypedTreeInfo.this)#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

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

    

    Definition Classes

    AnyRef → Any

21. 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

22. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

23. def isCatchCase(cdef: (TypedTreeInfo.this)#CaseDef)(implicit ctx: Context): Boolean

    

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

24. def isDeclarationOrTypeDef(tree: (TypedTreeInfo.this)#Tree): Boolean

    

    Definition Classes

    TreeInfo

25. def isDefaultCase(cdef: (TypedTreeInfo.this)#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

26. def isGuardedCase(cdef: (TypedTreeInfo.this)#CaseDef): Boolean

    

    Is this case guarded?

    Is this case guarded?

    Definition Classes

    TreeInfo

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

    

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

    

29. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

30. def isLeftAssoc(operator: Name): Boolean

    

    Is name a left-associative operator?

    Is name a left-associative operator?

    Definition Classes

    TreeInfo

31. val isNamedArg: (Any) ⇒ Boolean

    

    Definition Classes

    TreeInfo

32. def isOpAssign(tree: (TypedTreeInfo.this)#Tree): Boolean

    

    Definition Classes

    TreeInfo

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

    

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

    

35. def isRepeatedParamType(tpt: (TypedTreeInfo.this)#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

36. def isSelf(tree: (TypedTreeInfo.this)#Tree, enclClass: Symbol)(implicit ctx: Context): Boolean

    

    Is tree a this node which belongs to enclClass?

37. def isSelfConstrCall(tree: (TypedTreeInfo.this)#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

38. def isSelfOrSuperConstrCall(tree: (TypedTreeInfo.this)#Tree): Boolean

    

    Definition Classes

    TreeInfo

39. def isSuperConstrCall(tree: (TypedTreeInfo.this)#Tree): Boolean

    

    Is tree a super constructor call?

    Is tree a super constructor call?

    Definition Classes

    TreeInfo

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

    

    Definition Classes

    TreeInfo

41. def isSyntheticDefaultCase(cdef: (TypedTreeInfo.this)#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

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

    

    Is tree a variable pattern?

    Is tree a variable pattern?

    Definition Classes

    TreeInfo

43. def isVariableOrGetter(tree: tpd.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?

44. def isWildcardArg(tree: (TypedTreeInfo.this)#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

45. def isWildcardStarArg(tree: (TypedTreeInfo.this)#Tree)(implicit ctx: Context): Boolean

    

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

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

    Definition Classes

    TreeInfo

46. def isWildcardStarArgList(trees: List[(TypedTreeInfo.this)#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

47. def lacksDefinition(mdef: (TypedTreeInfo.this)#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

48. def localSyms(stats: List[(TypedTreeInfo.this)#Tree])(implicit ctx: Context): List[Symbol]

    

    The symbols defined locally in a statement list

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

    

    can this type be a type pattern?

    can this type be a type pattern?

    Definition Classes

    TreeInfo

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

    

    Is symbol potentially a getter of a mutable variable?

51. def methPart(tree: (TypedTreeInfo.this)#Tree): (TypedTreeInfo.this)#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

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

    

    Definition Classes

    AnyRef

53. final def notify(): Unit

    

    Definition Classes

    AnyRef

54. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

55. def numArgs(tree: (TypedTreeInfo.this)#Tree): Int

    

    The number of arguments in an application

    The number of arguments in an application

    Definition Classes

    TreeInfo

56. def patVars(tree: (TypedTreeInfo.this)#Tree)(implicit ctx: Context): List[Symbol]

    

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

57. def sliceTopLevel(tree: (TypedTreeInfo.this)#Tree, cls: ClassSymbol)(implicit ctx: Context): List[(TypedTreeInfo.this)#Tree]

    

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

58. def stripApply(tree: (TypedTreeInfo.this)#Tree): (TypedTreeInfo.this)#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

59. def stripCast(tree: tpd.Tree)(implicit ctx: Context): tpd.Tree

    

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

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

    

    Definition Classes

    AnyRef

61. def toString(): String

    

    Definition Classes

    AnyRef → Any

62. def topLevelClasses(tree: (TypedTreeInfo.this)#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.

63. def unbind(x: (TypedTreeInfo.this)#Tree): (TypedTreeInfo.this)#Tree

    

    The underlying pattern ignoring any bindings

    The underlying pattern ignoring any bindings

    Definition Classes

    TreeInfo

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

    

    Definition Classes

    TreeInfo

65. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )