Dotty Documentation

0.5.0-bin-SNAPSHOT

object untpd
extends Instance with UntypedTreeInfo

[-] Constructors

[-] Members

[+] case class ContextBounds
[+] object ContextBounds
[+] abstract class DerivedTypeTree

A type tree that gets its type from some other tree's symbol. Enters the type tree in the References attachment of the from tree as a side effect.

[+] case class DoWhile
[+] object DoWhile
[+] @sharable object EmptyTypeIdent
[+] case class ForDo
[+] object ForDo
[+] case class ForYield
[+] object ForYield
[+] case class Function
[+] object Function
[+] case class GenAlias
[+] object GenAlias
[+] case class GenFrom
[+] object GenFrom
[+] class ImplicitFunction

An implicit function type

[+] case class InfixOp
[+] object InfixOp
[+] class InfixOpBlock

A block arising from a right-associative infix operation, where, e.g.

a +: b

is expanded to

{ val x = a; b.+:(x) }

[+] case class InterpolatedString

An interpolated string

[+] object InterpolatedString

An interpolated string

[+] sealed abstract class Mod

Mod is intended to record syntactic information about modifiers, it's NOT a replacement of FlagSet.

For any query about semantic information, check flags instead.

[+] object Mod
[+] case class Modifiers

Modifiers and annotations for definitions

[+] object Modifiers

Modifiers and annotations for definitions

[+] abstract class ModsDecorator
[+] case class ModuleDef

mods object name impl

[+] object ModuleDef

mods object name impl

[+] trait OpTree
[+] case class Parens
[+] object Parens
[+] case class ParsedTry
[+] object ParsedTry
[+] case class PatDef
[+] object PatDef
[+] case class PostfixOp
[+] object PostfixOp
[+] case class PrefixOp
[+] object PrefixOp
[+] case class SymbolLit
[+] object SymbolLit
[+] case class Throw
[+] object Throw
[+] case class Tuple
[+] object Tuple
[+] abstract case class TypedSplice

A typed subtree of an untyped tree needs to be wrapped in a TypedSlice

[+] object TypedSplice
[+] class UntypedDeepFolder

Fold f over all tree nodes, in depth-first, prefix order

[+] abstract class UntypedTreeAccumulator
[+] class UntypedTreeCopier
[+] abstract class UntypedTreeMap
[+] object UntypedTreeMap
[+] case class WhileDo
[+] object WhileDo
[+] class WildcardFunction

A function created from a wildcard expression

[+] class XMLBlock

A block generated by the XML parser, only treated specially by Positioned#checkPos

[+] class modsDeco
[+] @sharable val EmptyModifiers : Modifiers
[+] val OriginalSymbol : Key [ Symbol ]

Property key for TypeTrees marked with TypeRefOfSym or InfoOfSym which contains the symbol of the original tree from which this TypeTree is derived.

[+] val References : Key [ List [ Tree ] ]

Property key containing TypeTrees whose type is computed from the symbol in this type. These type trees have marker trees TypeRefOfSym or InfoOfSym as their originals.

[+] override val cpy : UntypedTreeCopier
[+] def Alternative ( trees: List [ Tree ] ) : Alternative
[+] def AndTypeTree ( left: Tree , right: Tree ) : AndTypeTree
[+] def Annotated ( arg: Tree , annot: Tree ) : Annotated
[+] def AppliedTypeTree ( tpt: Tree , args: List [ Tree ] ) : AppliedTypeTree
[+] def AppliedTypeTree ( tpt: Tree , arg: Tree ) : AppliedTypeTree
[+] def Apply ( fun: Tree , args: List [ Tree ] ) : Apply
[+] def Apply ( fn: Tree , arg: Tree ) : Apply
[+] def Assign ( lhs: Tree , rhs: Tree ) : Assign
[+] def BackquotedIdent ( name: Name ) : BackquotedIdent
[+] def Bind ( name: Name , body: Tree ) : Bind
[+] def Block ( stats: List [ Tree ] , expr: Tree ) : Block
[+] def Block ( stat: Tree , expr: Tree ) : Block
[+] def ByNameTypeTree ( result: Tree ) : ByNameTypeTree
[+] def CaseDef ( pat: Tree , guard: Tree , body: Tree ) : CaseDef
[+] def Closure ( env: List [ Tree ] , meth: Tree , tpt: Tree ) : Closure
[+] def DefDef ( name: TermName , tparams: List [ TypeDef ] , vparamss: List [ List [ ValDef ] ] , tpt: Tree , rhs: LazyTree ) : DefDef
[+] def Ident ( name: Name ) : Ident
[+] def If ( cond: Tree , thenp: Tree , elsep: Tree ) : If
[+] def Import ( expr: Tree , selectors: List [ Tree ] ) : Import
[+] def Inlined ( call: Tree , bindings: List [ MemberDef ] , expansion: Tree ) : Inlined
[+] def JavaSeqLiteral ( elems: List [ Tree ] , elemtpt: Tree ) : JavaSeqLiteral
[+] def LambdaTypeTree ( tparams: List [ TypeDef ] , body: Tree ) : LambdaTypeTree
[+] def Literal ( const: Constant ) : Literal
[+] def Match ( selector: Tree , cases: List [ CaseDef ] ) : Match
[+] def NamedArg ( name: Name , arg: Tree ) : NamedArg
[+] def New ( tpt: Tree ) : New
[+] def New ( tpt: Tree , argss: List [ List [ Tree ] ] ) ( implicit ctx: Context ) : Tree

new pre.CTs...(args_n) ==> (new pre.C).Ts...(args_n)

[+] def OrTypeTree ( left: Tree , right: Tree ) : OrTypeTree
[+] def PackageDef ( pid: RefTree , stats: List [ Tree ] ) : PackageDef
[+] def RefinedTypeTree ( tpt: Tree , refinements: List [ Tree ] ) : RefinedTypeTree
[+] def Return ( expr: Tree , from: Tree ) : Return
[+] def Select ( qualifier: Tree , name: Name ) : Select
[+] def SelectWithSig ( qualifier: Tree , name: Name , sig: Signature ) : Select
[+] def SeqLiteral ( elems: List [ Tree ] , elemtpt: Tree ) : SeqLiteral
[+] def SingletonTypeTree ( ref: Tree ) : SingletonTypeTree
[+] def Super ( qual: Tree , mix: Ident ) : Super
[+] def Template ( constr: DefDef , parents: List [ Tree ] , self: ValDef , body: LazyTreeList ) : Template
[+] def This ( qual: Ident ) : This
[+] def Try ( expr: Tree , cases: List [ CaseDef ] , finalizer: Tree ) : Try
[+] def TypeApply ( fun: Tree , args: List [ Tree ] ) : TypeApply
[+] def TypeBoundsTree ( lo: Tree , hi: Tree ) : TypeBoundsTree
[+] def TypeDef ( name: TypeName , rhs: Tree ) : TypeDef
[+] def TypeTree ( ) : TypeTree [ Untyped ]
[+] def TypeTree ( tpe: Type ) ( implicit ctx: Context ) : TypedSplice
[+] def Typed ( expr: Tree , tpt: Tree ) : Typed
[+] def UnApply ( fun: Tree , implicits: List [ Tree ] , patterns: List [ Tree ] ) : UnApply
[+] def ValDef ( name: TermName , tpt: Tree , rhs: LazyTree ) : ValDef
[+] def emptyConstructor ( implicit ctx: Context ) : DefDef
[+] def ensureApplied ( tpt: Tree ) : Tree
[+] def lambdaAbstract ( tparams: List [ TypeDef ] , tpt: Tree ) ( implicit ctx: Context ) : Tree
[+] def makeConstructor ( tparams: List [ TypeDef ] , vparamss: List [ List [ ValDef ] ] , rhs: Tree ) ( implicit ctx: Context ) : DefDef
[+] def makeParameter ( pname: TermName , tpe: Tree , mods: Modifiers ) ( implicit ctx: Context ) : ValDef
[+] def makeSelfDef ( name: TermName , tpt: Tree ) ( implicit ctx: Context ) : ValDef [ Untyped ]
[+] def makeSyntheticParameter ( n: Int , tpt: Tree ) ( implicit ctx: Context ) : ValDef
[+] def makeTuple ( ts: List [ Tree ] ) ( implicit ctx: Context ) : Tree [ Untyped ]
[+] def makeTupleOrParens ( ts: List [ Tree ] ) ( implicit ctx: Context ) : Tree [ Untyped ]
[+] def ref ( tp: NamedType ) ( implicit ctx: Context ) : Tree
[+] def refOfDef ( tree: MemberDef ) ( implicit ctx: Context ) : Tree [ Untyped ]
[+] def repeated ( arg: Tree ) ( implicit ctx: Context ) : Typed

A repeated argument such as arg: _*

[+] def rootDot ( name: Name ) : Select
[+] def scalaAny : Select
[+] def scalaDot ( name: Name ) : Select
[+] def scalaUnit : Select
[+] def unitLiteral : Literal