dotty.tools.dotc.ast

TreeInfo

Related Docs: object TreeInfo | package ast

trait TreeInfo[T >: Untyped <: Type] extends AnyRef

Self Type
TreeInfo[T] with Instance[T]
Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. TreeInfo
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. class MatchingArgs extends AnyRef

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

    The (last) list of arguments of an application

  5. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  6. def catchesAllOf(cdef: (TreeInfo.this)#CaseDef, threshold: Type)(implicit ctx: Context): Boolean

    Does this CaseDef catch everything of a certain Type?

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

    Does this CaseDef catch Throwable?

  8. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. def defKind(tree: (TreeInfo.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?

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

    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. def firstConstructor(stats: List[(TreeInfo.this)#Tree]): (TreeInfo.this)#Tree

    The first constructor definition in stats

  14. def firstConstructorArgs(stats: List[(TreeInfo.this)#Tree]): List[(TreeInfo.this)#Tree]

    The arguments to the first constructor in stats.

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

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

    Definition Classes
    AnyRef → Any
  17. def hasNamedArg(args: List[Any]): Boolean

    Does this list contain a named argument tree?

  18. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  19. def isDeclarationOrTypeDef(tree: (TreeInfo.this)#Tree): Boolean

  20. def isDefaultCase(cdef: (TreeInfo.this)#CaseDef): Boolean

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

  21. def isGuardedCase(cdef: (TreeInfo.this)#CaseDef): Boolean

    Is this case guarded?

  22. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  23. def isLeftAssoc(operator: Name): Boolean

    Is name a left-associative operator?

  24. val isNamedArg: (Any) ⇒ Boolean

  25. def isOpAssign(tree: (TreeInfo.this)#Tree): Boolean

  26. def isRepeatedParamType(tpt: (TreeInfo.this)#Tree)(implicit ctx: Context): Boolean

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

  27. def isSelfConstrCall(tree: (TreeInfo.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?

  28. def isSelfOrSuperConstrCall(tree: (TreeInfo.this)#Tree): Boolean

  29. def isSuperConstrCall(tree: (TreeInfo.this)#Tree): Boolean

    Is tree a super constructor call?

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

  31. def isSyntheticDefaultCase(cdef: (TreeInfo.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.

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

    Is tree a variable pattern?

  33. def isWildcardArg(tree: (TreeInfo.this)#Tree): Boolean

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

  34. def isWildcardStarArg(tree: (TreeInfo.this)#Tree)(implicit ctx: Context): Boolean

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

  35. def isWildcardStarArgList(trees: List[(TreeInfo.this)#Tree])(implicit ctx: Context): Boolean

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

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

    can this type be a type pattern?

  37. def methPart(tree: (TreeInfo.this)#Tree): (TreeInfo.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) }

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

    Definition Classes
    AnyRef
  39. final def notify(): Unit

    Definition Classes
    AnyRef
  40. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  41. def numArgs(tree: (TreeInfo.this)#Tree): Int

    The number of arguments in an application

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

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

    Definition Classes
    AnyRef
  44. def toString(): String

    Definition Classes
    AnyRef → Any
  45. def unbind(x: (TreeInfo.this)#Tree): (TreeInfo.this)#Tree

    The underlying pattern ignoring any bindings

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

  47. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  48. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped