UntypedTreeInfo

Type Members

class MatchingArgs extends AnyRef

Definition Classes
TreeInfo

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def arguments(tree: (UntypedTreeInfo.this)#Tree): List[(UntypedTreeInfo.this)#Tree]

The (last) list of arguments of an application
The (last) list of arguments of an application

Definition Classes
TreeInfo
final def asInstanceOf[T0]: T0

Definition Classes
Any
def catchesAllOf(cdef: (UntypedTreeInfo.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
def catchesThrowable(cdef: (UntypedTreeInfo.this)#CaseDef)(implicit ctx: Context): Boolean

Does this CaseDef catch Throwable?
Does this CaseDef catch Throwable?

Definition Classes
TreeInfo
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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
def defKind(tree: (UntypedTreeInfo.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
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def finalize(): Unit

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

The first constructor definition in stats
The first constructor definition in stats

Definition Classes
TreeInfo
def firstConstructorArgs(stats: List[(UntypedTreeInfo.this)#Tree]): List[(UntypedTreeInfo.this)#Tree]

The arguments to the first constructor in stats.
The arguments to the first constructor in stats.

Definition Classes
TreeInfo
def forallResults(tree: (UntypedTreeInfo.this)#Tree, p: ((UntypedTreeInfo.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
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
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
def hashCode(): Int

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

Definition Classes
TreeInfo
def isDefaultCase(cdef: (UntypedTreeInfo.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
def isFunctionWithUnknownParamType(tree: (UntypedTreeInfo.this)#Tree): Boolean
def isGuardedCase(cdef: (UntypedTreeInfo.this)#CaseDef): Boolean

Is this case guarded?
Is this case guarded?

Definition Classes
TreeInfo
final def isInstanceOf[T0]: Boolean

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

Is name a left-associative operator?
Is name a left-associative operator?

Definition Classes
TreeInfo
val isNamedArg: (Any) ⇒ Boolean

Definition Classes
TreeInfo
def isOpAssign(tree: (UntypedTreeInfo.this)#Tree): Boolean

Definition Classes
TreeInfo
def isRepeatedParamType(tpt: (UntypedTreeInfo.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
def isSelfConstrCall(tree: (UntypedTreeInfo.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
def isSelfOrSuperConstrCall(tree: (UntypedTreeInfo.this)#Tree): Boolean

Definition Classes
TreeInfo
def isSuperConstrCall(tree: (UntypedTreeInfo.this)#Tree): Boolean

Is tree a super constructor call?
Is tree a super constructor call?

Definition Classes
TreeInfo
def isSuperSelection(tree: untpd.Tree): Boolean

Definition Classes
TreeInfo
def isSyntheticDefaultCase(cdef: (UntypedTreeInfo.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
def isVarPattern(pat: untpd.Tree): Boolean

Is tree a variable pattern?
Is tree a variable pattern?

Definition Classes
TreeInfo
def isWildcardArg(tree: (UntypedTreeInfo.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
def isWildcardStarArg(tree: (UntypedTreeInfo.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
def isWildcardStarArgList(trees: List[(UntypedTreeInfo.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
def lacksDefinition(mdef: (UntypedTreeInfo.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
def mayBeTypePat(tree: untpd.Tree): Boolean

can this type be a type pattern?
can this type be a type pattern?

Definition Classes
TreeInfo
def methPart(tree: (UntypedTreeInfo.this)#Tree): (UntypedTreeInfo.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
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

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

The number of arguments in an application
The number of arguments in an application

Definition Classes
TreeInfo
def stripApply(tree: (UntypedTreeInfo.this)#Tree): (UntypedTreeInfo.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
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

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

The underlying pattern ignoring any bindings
The underlying pattern ignoring any bindings

Definition Classes
TreeInfo
def unsplice[T >: Untyped](tree: Tree[T]): Tree[T]

Definition Classes
TreeInfo
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package ast

trait UntypedTreeInfo extends TreeInfo[Untyped]

Type Members

class MatchingArgs extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def arguments(tree: (UntypedTreeInfo.this)#Tree): List[(UntypedTreeInfo.this)#Tree]

final def asInstanceOf[T0]: T0

def catchesAllOf(cdef: (UntypedTreeInfo.this)#CaseDef, threshold: Type)(implicit ctx: Context): Boolean

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

def clone(): AnyRef

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

def defKind(tree: (UntypedTreeInfo.this)#Tree): FlagSet

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

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

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

def forallResults(tree: (UntypedTreeInfo.this)#Tree, p: ((UntypedTreeInfo.this)#Tree) ⇒ Boolean): Boolean

final def getClass(): Class[_]

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

def hashCode(): Int

def isDeclarationOrTypeDef(tree: (UntypedTreeInfo.this)#Tree): Boolean

def isDefaultCase(cdef: (UntypedTreeInfo.this)#CaseDef): Boolean

def isFunctionWithUnknownParamType(tree: (UntypedTreeInfo.this)#Tree): Boolean

def isGuardedCase(cdef: (UntypedTreeInfo.this)#CaseDef): Boolean

final def isInstanceOf[T0]: Boolean

def isLeftAssoc(operator: Name): Boolean

val isNamedArg: (Any) ⇒ Boolean

def isOpAssign(tree: (UntypedTreeInfo.this)#Tree): Boolean

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

def isSelfConstrCall(tree: (UntypedTreeInfo.this)#Tree): Boolean

def isSelfOrSuperConstrCall(tree: (UntypedTreeInfo.this)#Tree): Boolean

def isSuperConstrCall(tree: (UntypedTreeInfo.this)#Tree): Boolean

def isSuperSelection(tree: untpd.Tree): Boolean

def isSyntheticDefaultCase(cdef: (UntypedTreeInfo.this)#CaseDef): Boolean

def isVarPattern(pat: untpd.Tree): Boolean

def isWildcardArg(tree: (UntypedTreeInfo.this)#Tree): Boolean

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

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

def lacksDefinition(mdef: (UntypedTreeInfo.this)#MemberDef)(implicit ctx: Context): Boolean

def mayBeTypePat(tree: untpd.Tree): Boolean

def methPart(tree: (UntypedTreeInfo.this)#Tree): (UntypedTreeInfo.this)#Tree

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def numArgs(tree: (UntypedTreeInfo.this)#Tree): Int

def stripApply(tree: (UntypedTreeInfo.this)#Tree): (UntypedTreeInfo.this)#Tree

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

def toString(): String

def unbind(x: (UntypedTreeInfo.this)#Tree): (UntypedTreeInfo.this)#Tree

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

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from TreeInfo[Untyped]

Inherited from AnyRef

Inherited from Any

Ungrouped