Import selectors: * SimpleSelector: .bar in import foo.bar * RenameSelector: .{bar => baz} in import foo.{bar => baz} * OmitSelector: .{bar => _} in impo...

Import selectors: * SimpleSelector: .bar in import foo.bar * RenameSelector: .{bar => baz} in import foo.{bar => baz} * OmitSelector: .{bar => _} in import foo.{bar => _}

type

Inferred

= Inferred

Type tree representing an inferred type

type

Inlined

= Inlined

Tree representing the scope of an inlined tree

type

LambdaType

= LambdaType[ParamInfo]

Common abstraction for lambda types (MethodType, PolyType and TypeLambda).

type

LambdaTypeTree

= LambdaTypeTree

Type tree representing a lambda abstraction type

type

Literal

= Literal

Tree representing a literal value in the source code

type

Match

= Match

Tree representing a pattern match x match { ... } in the source code

type

MatchType

= MatchType

Type match T match { case U => ... }

type

MatchTypeTree

= MatchTypeTree

Type tree representing a type match

type

MethodType

= MethodType

Type of the definition of a method taking a single list of parameters. It's return type may be a MethodType.

type

NamedArg

= NamedArg

Tree representing an argument passed with an explicit name. Such as arg1 = x in foo(arg1 = x)

type

New

= New

Tree representing new in the source code

type

NoMatchingImplicits

= NoMatchingImplicits

type

NoPrefix

= NoPrefix

NoPrefix for a type selection

type

OmitSelector

= OmitSelector

type

OrType

= OrType

Union type T | U

type

PackageClause

= PackageClause

Tree representing a pacakage clause in the source code

type

PackageDef

= PackageDef

Tree representing a package definition. This includes definitions in all source files

type

ParamRef

= ParamRef

Type of a parameter reference

type

PolyType

= PolyType

Type of the definition of a method taking a list of type parameters. It's return type may be a MethodType.

type

Position

= Position

Position in a source file

type

Projection

= Projection

Type tree representing a selection of definition with a given name on a given type prefix

type

RecursiveThis

= RecursiveThis

A type that is recursively defined this

type

RecursiveType

= RecursiveType

A type that is recursively defined

type

Ref

= Ref

Tree representing a reference to definition

type

Refined

= Refined

Type tree representing a type refinement

type

Refinement

= Refinement

type

RenameSelector

= RenameSelector

type

Repeated

= Repeated

Tree representing a variable argument list in the source code

type

Return

= Return

Tree representing a return in the source code

type

Select

= Select

Tree representing a selection of definition with a given name on a given prefix

type

SelectOuter

= SelectOuter

Tree representing a selection of definition with a given name on a given prefix and number of nested scopes of inlined trees

type

Settings

= Settings

Settings

type

Signature

= Signature

Signature of a method

type

SimpleSelector

= SimpleSelector

type

Singleton

= Singleton

Type tree representing a singleton type

type

SourceFile

= SourceFile

Scala source file

type

Statement

= Statement

Tree representing a statement in the source code

type

Super

= Super

Tree representing super in the source code

type

SuperType

= SuperType

Type of a super reference

type

Symbol

= Symbol

Symbol of a definition. Then can be compared with == to know if the definition is the same.

type

Term

= Term

Tree representing an expression in the source code

type

TermRef

= TermRef

Type of a reference to a term symbol

type

This

= This

Tree representing this in the source code

type

ThisType

= ThisType

Type of this

type

Tree

= Tree

Tree representing code written in the source

type

Try

= Try

Tree representing a try catch try x catch { ... } finally { ... } in the source code

type

Type

= Type

A type

type

TypeApply

= TypeApply

Tree an application of type arguments

type

TypeBind

= TypeBind

Type tree representing a type binding

type

TypeBlock

= TypeBlock

Type tree within a block with aliases { type U1 = ... ; T[U1, U2] }

type

TypeBounds

= TypeBounds

Type bounds

type

TypeBoundsTree

= TypeBoundsTree

Type tree representing a type bound written in the source

type

TypeCaseDef

= TypeCaseDef

Branch of a type pattern match

type

TypeDef

= TypeDef

Tree representing a type (parameter or member) definition in the source code

type

TypeIdent

= TypeIdent

Type tree representing a reference to definition with a given name

type

TypeLambda

= TypeLambda

Type of the definition of a type lambda taking a list of type parameters. It's return type may be a TypeLambda.

type

TypeOrBounds

= TypeOrBounds

Type or bounds

type

TypeRef

= TypeRef

Type of a reference to a type symbol

type

TypeSelect

= TypeSelect

Type tree representing a selection of definition with a given name on a given term prefix

type

TypeTree

= TypeTree

Type tree representing a type written in the source

type

Typed

= Typed

Tree representing a type ascription x: T in the source code

type

Unapply

= Unapply

Pattern representing a Xyz(...) unapply.

type

ValDef

= ValDef

Tree representing a value definition in the source code This inclues val, lazy val, var, object and parameter defintions.

type

While

= While

Tree representing a while loop

type

WildcardTypeTree

= WildcardTypeTree

Type tree representing wildcard type bounds written in the source. The wildcard type _ (for example in in List[_]) will be a type tree that represents a...

Type tree representing wildcard type bounds written in the source. The wildcard type _ (for example in in List[_]) will be a type tree that represents a type but has TypeBounda inside.

private[scala] val

internal

: CompilerInterface

def

MatchCaseType

( implicit ctx: Context ) : Type

An accessor for scala.internal.MatchCase[_,_], the representation of a MatchType case.

def

error

( msg: => String , pos: Position ) ( implicit ctx: Context ) : Unit

Emits an error message

def

error

( msg: => String , source: SourceFile , start: Int , end: Int ) ( implicit ctx: Context ) : Unit

Emits an error at a specific range of a file

final given def

given_Context

: Context

final given def

given_IsInstanceOf_Alternatives

( implicit ctx: Context ) : ClassTag[Alternatives]

final given def

given_IsInstanceOf_AmbiguousImplicits

( implicit ctx: Context ) : ClassTag[AmbiguousImplicits]

final given def

given_IsInstanceOf_AndType

( implicit ctx: Context ) : ClassTag[AndType]

final given def

given_IsInstanceOf_Annotated

( implicit ctx: Context ) : ClassTag[Annotated]

final given def

given_IsInstanceOf_AnnotatedType

( implicit ctx: Context ) : ClassTag[AnnotatedType]

final given def

given_IsInstanceOf_Applied

( implicit ctx: Context ) : ClassTag[Applied]

final given def

given_IsInstanceOf_AppliedType

( implicit ctx: Context ) : ClassTag[AppliedType]

final given def

given_IsInstanceOf_Apply

( implicit ctx: Context ) : ClassTag[Apply]

final given def

given_IsInstanceOf_Assign

( implicit ctx: Context ) : ClassTag[Assign]

final given def

given_IsInstanceOf_Bind

( implicit ctx: Context ) : ClassTag[Bind]

final given def

given_IsInstanceOf_Block

( implicit ctx: Context ) : ClassTag[Block]

final given def

given_IsInstanceOf_ByName

( implicit ctx: Context ) : ClassTag[ByName]

final given def

given_IsInstanceOf_ByNameType

( implicit ctx: Context ) : ClassTag[ByNameType]

final given def

given_IsInstanceOf_CaseDef

( implicit ctx: Context ) : ClassTag[CaseDef]

final given def

given_IsInstanceOf_ClassDef

( implicit ctx: Context ) : ClassTag[ClassDef]

final given def

given_IsInstanceOf_Closure

( implicit ctx: Context ) : ClassTag[Closure]

final given def

given_IsInstanceOf_ConstantType

( implicit ctx: Context ) : ClassTag[ConstantType]

final given def

given_IsInstanceOf_DefDef

( implicit ctx: Context ) : ClassTag[DefDef]

final given def

given_IsInstanceOf_Definition

( implicit ctx: Context ) : ClassTag[Definition]

final given def

given_IsInstanceOf_DivergingImplicit

( implicit ctx: Context ) : ClassTag[DivergingImplicit]

final given def

given_IsInstanceOf_GivenMatch

( implicit ctx: Context ) : ClassTag[GivenMatch]

final given def

given_IsInstanceOf_Ident

( implicit ctx: Context ) : ClassTag[Ident]

final given def

given_IsInstanceOf_If

( implicit ctx: Context ) : ClassTag[If]

final given def

given_IsInstanceOf_ImplicitSearchFailure

( implicit ctx: Context ) : ClassTag[ImplicitSearchFailure]

final given def

given_IsInstanceOf_ImplicitSearchSuccess

( implicit ctx: Context ) : ClassTag[ImplicitSearchSuccess]

final given def

given_IsInstanceOf_Import

( implicit ctx: Context ) : ClassTag[Import]

final given def

given_IsInstanceOf_Inferred

( implicit ctx: Context ) : ClassTag[Inferred]

final given def

given_IsInstanceOf_Inlined

( implicit ctx: Context ) : ClassTag[Inlined]

final given def

given_IsInstanceOf_LambdaTypeTree

( implicit ctx: Context ) : ClassTag[LambdaTypeTree]

final given def

given_IsInstanceOf_Literal

( implicit ctx: Context ) : ClassTag[Literal]

final given def

given_IsInstanceOf_Match

( implicit ctx: Context ) : ClassTag[Match]

final given def

given_IsInstanceOf_MatchType

( implicit ctx: Context ) : ClassTag[MatchType]

final given def

given_IsInstanceOf_MatchTypeTree

( implicit ctx: Context ) : ClassTag[MatchTypeTree]

final given def

given_IsInstanceOf_MethodType

( implicit ctx: Context ) : ClassTag[MethodType]

final given def

given_IsInstanceOf_NamedArg

( implicit ctx: Context ) : ClassTag[NamedArg]

final given def

given_IsInstanceOf_New

( implicit ctx: Context ) : ClassTag[New]

final given def

given_IsInstanceOf_NoMatchingImplicits

( implicit ctx: Context ) : ClassTag[NoMatchingImplicits]

final given def

given_IsInstanceOf_NoPrefix

( implicit ctx: Context ) : ClassTag[NoPrefix]

final given def

given_IsInstanceOf_OmitSelector

( implicit ctx: Context ) : ClassTag[OmitSelector]

final given def

given_IsInstanceOf_OrType

( implicit ctx: Context ) : ClassTag[OrType]

final given def

given_IsInstanceOf_PackageClause

( implicit ctx: Context ) : ClassTag[PackageClause]

final given def

given_IsInstanceOf_PackageDef

( implicit ctx: Context ) : ClassTag[PackageDef]

final given def

given_IsInstanceOf_ParamRef

( implicit ctx: Context ) : ClassTag[ParamRef]

final given def

given_IsInstanceOf_PolyType

( implicit ctx: Context ) : ClassTag[PolyType]

final given def

given_IsInstanceOf_Projection

( implicit ctx: Context ) : ClassTag[Projection]

final given def

given_IsInstanceOf_RecursiveThis

( implicit ctx: Context ) : ClassTag[RecursiveThis]

final given def

given_IsInstanceOf_RecursiveType

( implicit ctx: Context ) : ClassTag[RecursiveType]

final given def

given_IsInstanceOf_Ref

( implicit ctx: Context ) : ClassTag[Ref]

final given def

given_IsInstanceOf_Refined

( implicit ctx: Context ) : ClassTag[Refined]

final given def

given_IsInstanceOf_Refinement

( implicit ctx: Context ) : ClassTag[Refinement]

final given def

given_IsInstanceOf_RenameSelector

( implicit ctx: Context ) : ClassTag[RenameSelector]

final given def

given_IsInstanceOf_Repeated

( implicit ctx: Context ) : ClassTag[Repeated]

final given def

given_IsInstanceOf_Return

( implicit ctx: Context ) : ClassTag[Return]

final given def

given_IsInstanceOf_Select

( implicit ctx: Context ) : ClassTag[Select]

final given def

given_IsInstanceOf_SelectOuter

( implicit ctx: Context ) : ClassTag[SelectOuter]

final given def

given_IsInstanceOf_SimpleSelector

( implicit ctx: Context ) : ClassTag[SimpleSelector]

final given def

given_IsInstanceOf_Singleton

( implicit ctx: Context ) : ClassTag[Singleton]

final given def

given_IsInstanceOf_Statement

( implicit ctx: Context ) : ClassTag[Statement]

final given def

given_IsInstanceOf_Super

( implicit ctx: Context ) : ClassTag[Super]

final given def

given_IsInstanceOf_SuperType

( implicit ctx: Context ) : ClassTag[SuperType]

final given def

given_IsInstanceOf_Term

( implicit ctx: Context ) : ClassTag[Term]

final given def

given_IsInstanceOf_TermRef

( implicit ctx: Context ) : ClassTag[TermRef]

final given def

given_IsInstanceOf_This

( implicit ctx: Context ) : ClassTag[This]

final given def

given_IsInstanceOf_ThisType

( implicit ctx: Context ) : ClassTag[ThisType]

final given def

given_IsInstanceOf_Try

( implicit ctx: Context ) : ClassTag[Try]

final given def

given_IsInstanceOf_Type

( implicit ctx: Context ) : ClassTag[Type]

final given def

given_IsInstanceOf_TypeApply

( implicit ctx: Context ) : ClassTag[TypeApply]

final given def

given_IsInstanceOf_TypeBind

( implicit ctx: Context ) : ClassTag[TypeBind]

final given def

given_IsInstanceOf_TypeBlock

( implicit ctx: Context ) : ClassTag[TypeBlock]

final given def

given_IsInstanceOf_TypeBounds

( implicit ctx: Context ) : ClassTag[TypeBounds]

final given def

given_IsInstanceOf_TypeBoundsTree

( implicit ctx: Context ) : ClassTag[TypeBoundsTree]

final given def

given_IsInstanceOf_TypeCaseDef

( implicit ctx: Context ) : ClassTag[TypeCaseDef]

final given def

given_IsInstanceOf_TypeDef

( implicit ctx: Context ) : ClassTag[TypeDef]

final given def

given_IsInstanceOf_TypeIdent

( implicit ctx: Context ) : ClassTag[TypeIdent]

final given def

given_IsInstanceOf_TypeLambda

( implicit ctx: Context ) : ClassTag[TypeLambda]

final given def

given_IsInstanceOf_TypeRef

( implicit ctx: Context ) : ClassTag[TypeRef]

final given def

given_IsInstanceOf_TypeSelect

( implicit ctx: Context ) : ClassTag[TypeSelect]

final given def

given_IsInstanceOf_TypeTree

( implicit ctx: Context ) : ClassTag[TypeTree]

final given def

given_IsInstanceOf_Typed

( implicit ctx: Context ) : ClassTag[Typed]

final given def

given_IsInstanceOf_Unapply

( implicit ctx: Context ) : ClassTag[Unapply]

final given def

given_IsInstanceOf_ValDef

( implicit ctx: Context ) : ClassTag[ValDef]

final given def

given_IsInstanceOf_While

( implicit ctx: Context ) : ClassTag[While]

final given def

given_IsInstanceOf_WildcardTypeTree

( implicit ctx: Context ) : ClassTag[WildcardTypeTree]

def

let

( rhs: Term ) ( body: Ident => Term ) ( implicit ctx: Context ) : Term

Bind the rhs to a val and use it in body

def

lets

( terms: List[Term] ) ( body: List[Term] => Term ) ( implicit ctx: Context ) : Term

Bind the given terms to names and use them in the body

def

rootContext

: Context

Context of the macro expansion

def

rootPosition

: Position

Root position of this tasty context. For macros it corresponds to the expansion site.

def

searchImplicit

( tpe: Type ) ( implicit ctx: Context ) : ImplicitSearchResult

def

typeOf

[T] ( implicit qtype: Type[T] , ctx: Context ) : Type

Returns the type (Type) of T

def

warning

( msg: => String , pos: Position ) ( implicit ctx: Context ) : Unit

Emits an error message

def

warning

( msg: => String , source: SourceFile , start: Int , end: Int ) ( implicit ctx: Context ) : Unit

Emits a warning at a specific range of a file

Supertypes

Constructors

Reflection

Members