UntypedTreeInfo
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
object untpd
- Self type
Members list
Type members
Classlikes
Under pureFunctions: A builder and extractor for => T
, which is an alias for ->{cap} T
. Only trees of the form => T
are matched; trees written directly as ->{cap} T
are ignored by the extractor.
Under pureFunctions: A builder and extractor for => T
, which is an alias for ->{cap} T
. Only trees of the form => T
are matched; trees written directly as ->{cap} T
are ignored by the extractor.
Attributes
- Supertypes
- Self type
-
ImpureByNameTypeTree.type
Value members
Concrete methods
The largest subset of {NoInits, PureInterface} that a trait or class with this body can have as flags.
The largest subset of {NoInits, PureInterface} that a trait or class with this body can have as flags.
Attributes
Is tree
an context function or closure, possibly nested in a block?
Is tree
an context function or closure, possibly nested in a block?
Attributes
Inherited methods
All term arguments of an application in a single flattened list
All type and value parameter symbols of this DefDef
The tree stripped of the possibly nested applications (term and type). The original tree if it's not an application.
The tree stripped of the possibly nested applications (term and type). The original tree if it's not an application.
Attributes
- Inherited from:
- TreeInfo
Does this CaseDef catch everything of a certain Type?
Does this CaseDef catch Throwable?
The first constructor definition in stats
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
- Inherited from:
- TreeInfo
Is tree explicitly parameterized with type arguments?
Does this list contain a named argument tree?
Is tree a backquoted identifier or definition
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
- Inherited from:
- TreeInfo
Attributes
- Inherited from:
- TreeInfo
Is this pattern node a catch-all (wildcard or variable) pattern?
Is this pattern node a catch-all (wildcard or variable) pattern?
Attributes
- Inherited from:
- TreeInfo
Is this case guarded?
Attributes
- Inherited from:
- TreeInfo
Is tree a path?
Is tpt a vararg type of the form T* or => T*?
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
- Inherited from:
- TreeInfo
Attributes
- Inherited from:
- TreeInfo
Is tree a super constructor call?
Attributes
- Inherited from:
- TreeInfo
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
- Inherited from:
- TreeInfo
Attributes
- Inherited from:
- TreeInfo
Is this parameter list a using clause?
Attributes
- Inherited from:
- TreeInfo
Is tree a variable pattern?
Is the argument a wildcard argument of the form _
or x @ _
?
Is this argument node of the form
Is this argument node of the form
Attributes
- Inherited from:
- TreeInfo
Does this argument list end with an argument of the form
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
- Inherited from:
- TreeInfo
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.
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.
Attributes
- Inherited from:
- TreeInfo
The number of arguments in an application
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
- Inherited from:
- TreeInfo
Attributes
- Inherited from:
- TreeInfo
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
- Inherited from:
- TreeInfo
If this is a block, its expression part
Strip => T
to T
and (under pureFunctions) {refs}-> T
to T
Attributes
- Inherited from:
- TreeInfo
Attributes
- Inherited from:
- TreeInfo
The term arguments of a possibly curried call
The type arguments of a possibly curried call
Inherited fields
Attributes
- Inherited from:
- TreeInfo