TreeInfo

dotty.tools.dotc.ast.TreeInfo
See theTreeInfo companion object
trait TreeInfo[T <: Untyped]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object tpd.type
object untpd.type
Self type

Members list

Type members

Classlikes

class MatchingArgs(params: List[Symbol], args: List[Tree])(using x$3: Context)

Attributes

Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def allArguments(tree: <none>): List[Tree]

All term arguments of an application in a single flattened list

All term arguments of an application in a single flattened list

Attributes

def allParamSyms(ddef: <none>)(using Context): List[Symbol]

All type and value parameter symbols of this DefDef

All type and value parameter symbols of this DefDef

Attributes

def appliedCore(tree: <none>): Tree
def catchesAllOf(cdef: <none>, threshold: Type)(using Context): Boolean

Does this CaseDef catch everything of a certain Type?

Does this CaseDef catch everything of a certain Type?

Attributes

def catchesThrowable(cdef: <none>)(using Context): Boolean

Does this CaseDef catch Throwable?

Does this CaseDef catch Throwable?

Attributes

def firstConstructor(stats: List[<none>]): Tree

The first constructor definition in stats

The first constructor definition in stats

Attributes

def forallResults(tree: <none>, p: <none> => 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.

Attributes

def hasExplicitTypeArgs(tree: <none>): Boolean

Is tree explicitly parameterized with type arguments?

Is tree explicitly parameterized with type arguments?

Attributes

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

Does this list contain a named argument tree?

Does this list contain a named argument tree?

Attributes

def isBackquoted(tree: <none>): Boolean

Is tree a backquoted identifier or definition

Is tree a backquoted identifier or definition

Attributes

def isByNameType(tree: <none>)(using Context): Boolean

Is tree a type tree of the form => T or (under pureFunctions) {refs}-> T?

Is tree a type tree of the form => T or (under pureFunctions) {refs}-> T?

Attributes

def isDeclarationOrTypeDef(tree: <none>): Boolean
def isDefaultCase(cdef: <none>): Boolean

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

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

Attributes

def isGuardedCase(cdef: <none>): Boolean

Is this case guarded?

Is this case guarded?

Attributes

def isOpAssign(tree: <none>): Boolean
def isPath(tree: <none>): Boolean

Is tree a path?

Is tree a path?

Attributes

def isRepeatedParamType(tpt: <none>)(using Context): Boolean

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

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

Attributes

def isSelfConstrCall(tree: <none>): Boolean

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

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

Attributes

def isSelfOrSuperConstrCall(tree: <none>): Boolean
def isSuperConstrCall(tree: <none>): Boolean

Is tree a super constructor call?

Is tree a super constructor call?

Attributes

def isSuperSelection(tree: <none>): Boolean
def isThisTypeResult(tree: <none>)(using Context): Boolean

Is tree an application with result this.type? Accept b.addOne(x) and also xs(i) += x where the op is an assignment operator.

Is tree an application with result this.type? Accept b.addOne(x) and also xs(i) += x where the op is an assignment operator.

Attributes

def isTypeParamClause(params: <none>)(using Context): Boolean
def isUsingClause(params: <none>)(using Context): Boolean

Is this parameter list a using clause?

Is this parameter list a using clause?

Attributes

def isUsingOrTypeParamClause(params: <none>)(using Context): Boolean
def isVarPattern(pat: <none>): Boolean

Is tree a variable pattern?

Is tree a variable pattern?

Attributes

def isWildcardArg(tree: <none>): Boolean

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

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

Attributes

def isWildcardStarArg(tree: <none>)(using Context): Boolean

Is this argument node of the form *, or is it a reference to such an argument ? The latter case can happen when an argument is lifted.

Is this argument node of the form *, or is it a reference to such an argument ? The latter case can happen when an argument is lifted.

Attributes

def isWildcardStarArgList(trees: List[<none>])(using Context): Boolean

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

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

Attributes

def languageImport(path: <none>): Option[TermName]

If path looks like a language import, Some(name) where name is experimental if that sub-module is imported, and the empty term name otherwise.

If path looks like a language import, Some(name) where name is experimental if that sub-module is imported, and the empty term name otherwise.

Attributes

def methPart(tree: <none>): Tree

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. (b = foo, a = bar) is transformed to { val x$1 = foo val x$2 = bar (x$2, x$1) }

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. (b = foo, a = bar) is transformed to { val x$1 = foo val x$2 = bar (x$2, x$1) }

Attributes

def numArgs(tree: <none>): Int

The number of arguments in an application

The number of arguments in an application

Attributes

def parentsKind(parents: List[<none>])(using Context): FlagSet

The largest subset of {NoInits, PureInterface} that a trait or class with these parents can have as flags.

The largest subset of {NoInits, PureInterface} that a trait or class with these parents can have as flags.

Attributes

def stripAnnotated(tree: <none>): Tree
def stripApply(tree: <none>): Tree

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

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

Attributes

def stripBlock(tree: <none>): Tree

If this is a block, its expression part

If this is a block, its expression part

Attributes

def stripByNameType(tree: <none>)(using Context): Tree

Strip => T to T and (under pureFunctions) {refs}-> T to T

Strip => T to T and (under pureFunctions) {refs}-> T to T

Attributes

def stripInlined(tree: <none>): Tree
def stripTyped(tree: <none>): Tree
def termArgss(tree: <none>): List[List[Tree]]

The term arguments of a possibly curried call

The term arguments of a possibly curried call

Attributes

def typeArgss(tree: <none>): List[List[Tree]]

The type arguments of a possibly curried call

The type arguments of a possibly curried call

Attributes

def unbind(x: <none>): Tree

The underlying pattern ignoring any bindings

The underlying pattern ignoring any bindings

Attributes

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

Concrete fields

val isNamedArg: Any => Boolean