Trees
Members list
Type members
Classlikes
tree_1 | ... | tree_n
tree_1 | ... | tree_n
Attributes
- Graph
- Supertypes
- trait Serializabletrait PatternTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
arg @annot
arg @annot
Attributes
- Graph
- Supertypes
- trait Serializableclass ProxyTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
tpt[args]
tpt[args]
Attributes
- Graph
- Supertypes
- trait Serializabletrait TypTree[T]class ProxyTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
fun(args)
fun(args)
Attributes
- Graph
- Supertypes
- trait Serializableclass GenericApply[T]trait TermTree[T]class ProxyTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
The kind of application
The kind of application
Attributes
- Graph
- Supertypes
name = arg, outside a parameter list
name = arg, outside a parameter list
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
name @ body
name @ body
Attributes
- Graph
- Supertypes
- trait Serializabletrait PatternTree[T]class NamedDefTree[T]trait WithEndMarker[T]trait DefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
{ stats; expr }
{ stats; expr }
Attributes
- Graph
- Supertypes
- trait Serializableclass Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class XMLBlock
=> T
=> T
Attributes
- Graph
- Supertypes
- trait Serializabletrait TypTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
case pat if guard => body
case pat if guard => body
Attributes
- Graph
- Supertypes
- trait Serializableclass Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
A closure with an environment and a reference to a method.
A closure with an environment and a reference to a method.
Attributes
- env
The captured parameters of the closure
- meth
A ref tree that refers to the method of the closure. The first (env.length) parameters of that method are filled with env values.
- tpt
Either EmptyTree or a TypeTree. If tpt is EmptyTree the type of the closure is a function type, otherwise it is the type given in
tpt
, which must be a SAM type.- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
mods def nametparams...(vparams_n): tpt = rhs
mods def nametparams...(vparams_n): tpt = rhs
Attributes
- Graph
- Supertypes
- trait Serializableclass ValOrDefDef[T]class MemberDef[T]class NamedDefTree[T]trait WithEndMarker[T]trait DefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Tree defines a new symbol
Tree defines a new symbol
Attributes
- Graph
- Supertypes
- class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class NamedDefTree[T]class Bind[T]class MemberDef[T]class TypeDef[T]class ValOrDefDef[T]class DefDef[T]class ValDef[T]class EmptyValDef[T]trait ValOrTypeDef[T]class ModuleDefclass Template[T]class DerivingTemplate
Tree's denotation can be derived from its type
Tree's denotation can be derived from its type
Attributes
- Graph
- Supertypes
- class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- trait DefTree[T]class NamedDefTree[T]class Bind[T]class MemberDef[T]class TypeDef[T]class ValOrDefDef[T]class DefDef[T]class ValDef[T]class EmptyValDef[T]trait ValOrTypeDef[T]class ModuleDefclass Template[T]class DerivingTemplateclass ImportOrExport[T]class Export[T]class Import[T]class NameTree[T]class Labeled[T]class RefTree[T]class Ident[T]class SearchFailureIdent[T]object EmptyTypeIdent.typeclass Select[T]class SelectWithSig[T]class SingletonTypeTree[T]class This[T]class TypeTree[T]class InferredTypeTree[T]class DerivedTypeTreeclass DerivedFromParamTreeclass SetterParamTreeclass TermRefTreeclass TypeRefTree
Attributes
- Graph
- Supertypes
- class Thicket[Any]trait Serializabletrait WithoutTypeOrPos[Any]class Tree[Any]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait WithoutTypeOrPos[T]class ValDef[T]trait Serializabletrait ValOrTypeDef[T]class ValOrDefDef[T]class MemberDef[T]class NamedDefTree[T]trait WithEndMarker[T]trait DefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
export expr.selectors
where a selector is either an untyped Ident
, name
or
an untyped thicket consisting of name
and rename
.
export expr.selectors
where a selector is either an untyped Ident
, name
or
an untyped thicket consisting of name
and rename
.
Attributes
- Graph
- Supertypes
- trait Serializableclass ImportOrExport[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- GenericApply.type
Tree that replaces a level 1 splices in pickled (level 0) quotes. It is only used when picking quotes (will never be in a TASTy file).
Tree that replaces a level 1 splices in pickled (level 0) quotes. It is only used when picking quotes (will never be in a TASTy file).
Attributes
- args
The arguments of the splice to compute its content
- content
Lambda that computes the content of the hole. This tree is empty when in a quote pickle.
- idx
The index of the hole in it's enclosing level 0 quote.
- isTermHole
If this hole is a term, otherwise it is a type hole.
- tpt
Type of the hole
- Graph
- Supertypes
- trait Serializableclass Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
name
name
Attributes
- Graph
- Supertypes
- trait Serializableclass RefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class SearchFailureIdent[T]object EmptyTypeIdent.type
if cond then thenp else elsep
if cond then thenp else elsep
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class InlineIf[T]
import expr.selectors
where a selector is either an untyped Ident
, name
or
an untyped thicket consisting of name
and rename
.
import expr.selectors
where a selector is either an untyped Ident
, name
or
an untyped thicket consisting of name
and rename
.
Attributes
- Graph
- Supertypes
- trait Serializableclass ImportOrExport[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
A type tree whose type is inferred. These trees appear in two contexts
A type tree whose type is inferred. These trees appear in two contexts
- as an argument of a TypeApply. In that case its type is always a TypeVar
- as a (result-)type of an inferred ValDef or DefDef. Every TypeVar is created as the type of one InferredTypeTree.
Attributes
- Graph
- Supertypes
- class TypeTree[T]trait Serializabletrait TypTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class If[T]trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class Match[T]trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
A tree representing inlined code.
A tree representing inlined code.
Attributes
- bindings
Bindings for proxies to be used in the inlined code
- call
Info about the original call that was inlined Until PostTyper, this is the full call, afterwards only a reference to the toplevel class from which the call was inlined.
- expansion
The inlined tree, minus bindings. The full inlined code is equivalent to { bindings; expansion } The reason to keep
bindings
separate is because they are typed in a different context:bindings
represent the arguments to the inlined call, whereasexpansion
represents the body of the inlined function.- Graph
- Supertypes
- trait Serializableclass Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Array(elems)
Array(elems)
Attributes
- Graph
- Supertypes
- class SeqLiteral[T]trait Serializableclass Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
label[tpt]: { expr }
label[tpt]: { expr }
Attributes
- Graph
- Supertypes
- trait Serializableclass NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
[typeparams] -> tpt
[typeparams] -> tpt
Note: the type of such a tree is not necessarily a HKTypeLambda
, it can
also be a TypeBounds
where the upper bound is an HKTypeLambda
, and the
lower bound is either a reference to Nothing
or an HKTypeLambda
,
this happens because these trees are typed by HKTypeLambda#fromParams
which
makes sure to move bounds outside of the type lambda itself to simplify their
handling in the compiler.
You may ask: why not normalize the trees too? That way,
LambdaTypeTree(X, TypeBoundsTree(A, B))
would become,
TypeBoundsTree(LambdaTypeTree(X, A), LambdaTypeTree(X, B))
which would maintain consistency between a tree and its type. The problem
with this definition is that the same tree X
appears twice, therefore
we'd have to create two symbols for it which makes it harder to relate the
source code written by the user with the trees used by the compiler (for
example, to make "find all references" work in the IDE).
Attributes
- Graph
- Supertypes
- trait Serializabletrait TypTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
A base trait for lazy tree fields. These can be instantiated with Lazy instances which can delay tree construction until the field is first demanded.
A base trait for lazy tree fields. These can be instantiated with Lazy instances which can delay tree construction until the field is first demanded.
Attributes
- Graph
- Supertypes
- Known subtypes
- class LazyReader[T]
const
const
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
selector match { cases }
selector match { cases }
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class InlineMatch[T]
[bound] selector match { cases }
[bound] selector match { cases }
Attributes
- Graph
- Supertypes
- trait Serializabletrait TypTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Tree defines a new symbol and carries modifiers. The position of a MemberDef contains only the defined identifier or pattern. The envelope of a MemberDef contains the whole definition and has its point on the opening keyword (or the next token after that if keyword is missing).
Tree defines a new symbol and carries modifiers. The position of a MemberDef contains only the defined identifier or pattern. The envelope of a MemberDef contains the whole definition and has its point on the opening keyword (or the next token after that if keyword is missing).
Attributes
- Graph
- Supertypes
- class NamedDefTree[T]trait WithEndMarker[T]trait DefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class TypeDef[T]class ValOrDefDef[T]class DefDef[T]class ValDef[T]class EmptyValDef[T]trait ValOrTypeDef[T]class ModuleDef
Tree has a name
Tree has a name
Attributes
- Graph
- Supertypes
- class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class Labeled[T]class NamedDefTree[T]class Bind[T]class MemberDef[T]class TypeDef[T]class ValOrDefDef[T]class DefDef[T]class ValDef[T]class EmptyValDef[T]trait ValOrTypeDef[T]class ModuleDefclass RefTree[T]class Ident[T]class SearchFailureIdent[T]object EmptyTypeIdent.typeclass Select[T]class SelectWithSig[T]
name = arg, in a parameter list
name = arg, in a parameter list
Attributes
- Graph
- Supertypes
- trait Serializableclass Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait WithEndMarker[T]trait DefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class Bind[T]class MemberDef[T]class TypeDef[T]class ValOrDefDef[T]class DefDef[T]class ValDef[T]class EmptyValDef[T]trait ValOrTypeDef[T]class ModuleDef
new tpt, but no constructor call
new tpt, but no constructor call
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
package pid { stats }
package pid { stats }
Attributes
- Graph
- Supertypes
- trait Serializabletrait WithEndMarker[T]class ProxyTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Instances of this class are trees which are not terms but are legal parts of patterns.
Instances of this class are trees which are not terms but are legal parts of patterns.
Attributes
- Graph
- Supertypes
- class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
Tree's denot/isType/isTerm properties come from a subtree
identified by forwardTo
.
Tree's denot/isType/isTerm properties come from a subtree
identified by forwardTo
.
Attributes
- Graph
- Supertypes
- class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class Annotated[T]class AppliedTypeTree[T]class GenericApply[T]class Apply[T]class TypeApply[T]class PackageDef[T]class RefinedTypeTree[T]class Super[T]class Typed[T]class UnApply[T]class Parensclass TypedSplice
Tree refers by name to a denotation
Tree refers by name to a denotation
Attributes
- Graph
- Supertypes
- class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class Ident[T]class SearchFailureIdent[T]object EmptyTypeIdent.typeclass Select[T]class SelectWithSig[T]
tpt { refinements }
tpt { refinements }
Attributes
- Graph
- Supertypes
- trait Serializabletrait TypTree[T]class ProxyTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
return expr
where from
refers to the method or label from which the return takes place
After program transformations this is not necessarily the enclosing method, because
closures can intervene.
return expr
where from
refers to the method or label from which the return takes place
After program transformations this is not necessarily the enclosing method, because
closures can intervene.
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class Ident[T]trait Serializableclass RefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
qualifier.name, or qualifier#name, if qualifier is a type
qualifier.name, or qualifier#name, if qualifier is a type
Attributes
- Graph
- Supertypes
- trait Serializableclass RefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class SelectWithSig[T]
Attributes
- Graph
- Supertypes
- class Select[T]trait Serializableclass RefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Seq(elems)
Seq(elems)
Attributes
- tpt
The element type of the sequence.
- Graph
- Supertypes
- trait Serializableclass Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class JavaSeqLiteral[T]
ref.type
ref.type
Attributes
- Graph
- Supertypes
- trait Serializabletrait TypTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
C.super[mix], where qual = C.this
C.super[mix], where qual = C.this
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class ProxyTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
extends parents { self => body }
extends parents { self => body }
Attributes
- parentsOrDerived
A list of parents followed by a list of derived classes, if this is of class untpd.DerivingTemplate. Typed templates only have parents.
- Graph
- Supertypes
- trait Serializabletrait DefTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class DerivingTemplate
Attributes
- Graph
- Supertypes
- trait Serializabletrait TypTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Instances of this class are trees for which isTerm is definitely true. Note that some trees have isTerm = true without being TermTrees (e.g. Ident, Annotated)
Instances of this class are trees for which isTerm is definitely true. Note that some trees have isTerm = true without being TermTrees (e.g. Ident, Annotated)
Attributes
- Graph
- Supertypes
- class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
Temporary class that results from translation of ModuleDefs
(and possibly other statements).
The contained trees will be integrated when transformed with
a transform(List[Tree])
call.
Temporary class that results from translation of ModuleDefs
(and possibly other statements).
The contained trees will be integrated when transformed with
a transform(List[Tree])
call.
Attributes
- Graph
- Supertypes
- trait Serializabletrait WithoutTypeOrPos[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class EmptyTree[T]
qual.this
qual.this
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Trees take a parameter indicating what the type of their tpe
field
is. Two choices: Type
or Untyped
.
Untyped trees have type Tree[Untyped]
.
Trees take a parameter indicating what the type of their tpe
field
is. Two choices: Type
or Untyped
.
Untyped trees have type Tree[Untyped]
.
Tree typing uses a copy-on-write implementation:
- You can never observe a
tpe
which isnull
(throws an exception) - So when creating a typed tree with
withType
we can re-use the existing tree transparently, assigning itstpe
field. - It is impossible to embed untyped trees in typed ones.
- Typed trees can be embedded in untyped ones provided they are rooted in a TypedSplice node.
- Type checking an untyped tree should remove all embedded
TypedSplice
nodes.
Attributes
- Graph
- Supertypes
- trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class Block[T]class XMLBlockclass CaseDef[T]class DenotingTree[T]trait DefTree[T]class NamedDefTree[T]class Bind[T]class MemberDef[T]class TypeDef[T]class ValOrDefDef[T]class DefDef[T]class ValDef[T]class EmptyValDef[T]trait ValOrTypeDef[T]class ModuleDefclass Template[T]class DerivingTemplateclass ImportOrExport[T]class Export[T]class Import[T]class NameTree[T]class Labeled[T]class RefTree[T]class Ident[T]class SearchFailureIdent[T]object EmptyTypeIdent.typeclass Select[T]class SelectWithSig[T]class SingletonTypeTree[T]class This[T]class TypeTree[T]class InferredTypeTree[T]class DerivedTypeTreeclass DerivedFromParamTreeclass SetterParamTreeclass TermRefTreeclass TypeRefTreeclass Hole[T]class Inlined[T]class Literal[T]class NamedArg[T]class New[T]trait PatternTree[T]class Alternative[T]class UnApply[T]class ProxyTree[T]class Annotated[T]class AppliedTypeTree[T]class GenericApply[T]class Apply[T]class TypeApply[T]class PackageDef[T]class RefinedTypeTree[T]class Super[T]class Typed[T]class Parensclass TypedSpliceclass SeqLiteral[T]class JavaSeqLiteral[T]trait TermTree[T]class Assign[T]class Closure[T]class If[T]class InlineIf[T]class Match[T]class InlineMatch[T]class Return[T]class Try[T]class WhileDo[T]class Thicket[T]class EmptyTree[T]trait TypTree[T]class ByNameTypeTree[T]class LambdaTypeTree[T]class MatchTypeTree[T]class TermLambdaTypeTree[T]class TypeBoundsTree[T]trait WithoutTypeOrPos[T]class DependentTypeTreeclass ExtMethodsclass Functionclass FunctionWithModsclass WildcardFunctionclass GenAliasclass GenFromclass ImportSelectorclass MacroTreeclass OpTreeclass InfixOpclass PostfixOpclass PrefixOpclass PolyFunctionclass Tuple
try block catch cases finally finalizer
try block catch cases finally finalizer
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Instances of this class are trees for which isType is definitely true. Note that some trees have isType = true without being TypTrees (e.g. Ident, Annotated)
Instances of this class are trees for which isType is definitely true. Note that some trees have isType = true without being TypTrees (e.g. Ident, Annotated)
Attributes
- Graph
- Supertypes
- class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class AppliedTypeTree[T]class ByNameTypeTree[T]class LambdaTypeTree[T]class MatchTypeTree[T]class RefinedTypeTree[T]class SingletonTypeTree[T]class TermLambdaTypeTree[T]class TypeBoundsTree[T]class TypeTree[T]class InferredTypeTree[T]class DerivedTypeTreeclass DerivedFromParamTreeclass SetterParamTreeclass TermRefTreeclass TypeRefTree
fun[args]
fun[args]
Attributes
- Graph
- Supertypes
- trait Serializableclass GenericApply[T]trait TermTree[T]class ProxyTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
: lo <: hi : lo <: hi = alias for RHS of bounded opaque type
Attributes
- Graph
- Supertypes
- trait Serializabletrait TypTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
mods class name template or mods trait name template or mods type name = rhs or mods type name >: lo <: hi, if rhs = TypeBoundsTree(lo, hi) or mods type name >: lo <: hi = rhs if rhs = TypeBoundsTree(lo, hi, alias) and opaque in mods
mods class name template or mods trait name template or mods type name = rhs or mods type name >: lo <: hi, if rhs = TypeBoundsTree(lo, hi) or mods type name >: lo <: hi = rhs if rhs = TypeBoundsTree(lo, hi, alias) and opaque in mods
Attributes
- Graph
- Supertypes
- trait Serializabletrait ValOrTypeDef[T]class MemberDef[T]class NamedDefTree[T]trait WithEndMarker[T]trait DefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
A type tree that represents an existing or inferred type
A type tree that represents an existing or inferred type
Attributes
- Graph
- Supertypes
- trait Serializabletrait TypTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class InferredTypeTree[T]class DerivedTypeTreeclass DerivedFromParamTreeclass SetterParamTreeclass TermRefTreeclass TypeRefTree
expr : tpt
expr : tpt
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class ProxyTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
The typed translation of extractor(patterns)
in a pattern. The translation has the following
components:
The typed translation of extractor(patterns)
in a pattern. The translation has the following
components:
Attributes
- fun
is
extractor.unapply
(or, for backwards compatibility,extractor.unapplySeq
) possibly with type parameters- implicits
Any implicit parameters passed to the unapply after the selector
- patterns
The argument patterns in the pattern match. It is typed with same type as first
fun
argument Given a match selectorsel
a pattern UnApply(fun, implicits, patterns) is roughly translated as follows val result = fun(sel)(implicits) if (result.isDefined) "match patterns against result"- Graph
- Supertypes
- trait Serializabletrait PatternTree[T]class ProxyTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class RuntimeExceptionclass Exceptionclass Throwabletrait Serializableclass Objecttrait Matchableclass Any
mods val name: tpt = rhs
mods val name: tpt = rhs
Attributes
- Graph
- Supertypes
- trait Serializabletrait ValOrTypeDef[T]class ValOrDefDef[T]class MemberDef[T]class NamedDefTree[T]trait WithEndMarker[T]trait DefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
- class EmptyValDef[T]
A ValDef or DefDef tree
A ValDef or DefDef tree
Attributes
- Graph
- Supertypes
- class MemberDef[T]class NamedDefTree[T]trait WithEndMarker[T]trait DefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
Attributes
- Graph
- Supertypes
- class MemberDef[T]class NamedDefTree[T]trait WithEndMarker[T]trait DefTree[T]class NameTree[T]class DenotingTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
while (cond) { body }
while (cond) { body }
Attributes
- Graph
- Supertypes
- trait Serializabletrait TermTree[T]class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
Attributes
- Companion:
- trait
- Graph
- Supertypes
- Self type
- WithEndMarker.type
Attributes
- Companion:
- object
- Graph
- Supertypes
- Known subtypes
- class NamedDefTree[T]class Bind[T]class MemberDef[T]class TypeDef[T]class ValOrDefDef[T]class DefDef[T]class ValDef[T]class EmptyValDef[T]trait ValOrTypeDef[T]class ModuleDefclass PackageDef[T]
- Self type
A tree that can have a lazy field
The field is represented by some private var
which is
accessed by unforced
and force
. Forcing the field will
set the var
to the underlying value.
A tree that can have a lazy field
The field is represented by some private var
which is
accessed by unforced
and force
. Forcing the field will
set the var
to the underlying value.
Attributes
- Graph
- Supertypes
- Known subtypes
- class Template[T]class DerivingTemplateclass ValOrDefDef[T]class DefDef[T]class ValDef[T]class EmptyValDef[T]
Attributes
- Graph
- Supertypes
- class Tree[T]trait Showabletrait Containertrait LinkSourceclass Positionedtrait Cloneabletrait Producttrait Equalstrait SrcPosclass Objecttrait Matchableclass Any
- Known subtypes
Value members
Concrete methods
Concrete fields
Property key for backquoted identifiers and definitions
Property key for backquoted identifiers and definitions
Attributes
Property key for trees with documentation strings attached
Property key for trees with documentation strings attached
Attributes
The total number of created tree nodes, maintained if Stats.enabled
The total number of created tree nodes, maintained if Stats.enabled