Dotty Documentation

0.17.0-bin-SNAPSHOT

trait Kernel
extends Object

Tasty reflect abstract types


+- Tree -+- PackageClause
         +- Import
         +- Statement -+- Definition --+- PackageDef
         |             |               +- ClassDef
         |             |               +- TypeDef
         |             |               +- DefDef
         |             |               +- ValDef
         |             |
         |             +- Term --------+- Ref -+- Ident
         |                             |       +- Select
         |                             |
         |                             +- Literal
         |                             +- This
         |                             +- New
         |                             +- NamedArg
         |                             +- Apply
         |                             +- TypeApply
         |                             +- Super
         |                             +- Typed
         |                             +- Assign
         |                             +- Block
         |                             +- Closure
         |                             +- If
         |                             +- Match
         |                             +- ImpliedMatch
         |                             +- Try
         |                             +- Return
         |                             +- Repeated
         |                             +- Inlined
         |                             +- SelectOuter
         |                             +- While
         |
         |
         +- TypeTree ----+- Inferred
         |               +- TypeIdent
         |               +- TypeSelect
         |               +- Projection
         |               +- Singleton
         |               +- Refined
         |               +- Applied
         |               +- Annotated
         |               +- MatchTypeTree
         |               +- ByName
         |               +- LambdaTypeTree
         |               +- TypeBind
         |               +- TypeBlock
         |
         +- TypeBoundsTree
         +- WildcardTypeTree
         +- CaseDef
         +- TypeCaseDef

+- Pattern --+- Value
             +- Bind
             +- Unapply
             +- Alternatives
             +- TypeTest
             +- WildcardPattern


                 +- NoPrefix
+- TypeOrBounds -+- TypeBounds
                 |
                 +- Type -------+- ConstantType
                                +- SymRef
                                +- TermRef
                                +- TypeRef
                                +- SuperType
                                +- Refinement
                                +- AppliedType
                                +- AnnotatedType
                                +- AndType
                                +- OrType
                                +- MatchType
                                +- ByNameType
                                +- ParamRef
                                +- ThisType
                                +- RecursiveThis
                                +- RecursiveType
                                +- LambdaType[ParamInfo <: TypeOrBounds] -+- MethodType
                                                                          +- PolyType
                                                                          +- TypeLambda

+- ImportSelector -+- SimpleSelector
                   +- RenameSelector
                   +- OmitSelector

+- Id

+- Signature

+- Position

+- Comment

+- Constant

+- Symbol --+- PackageDefSymbol
            |
            +- TypeSymbol -+- ClassDefSymbol
            |              +- TypeDefSymbol
            |              +- TypeBindSymbol
            |
            +- TermSymbol -+- DefDefSymbol
            |              +- ValDefSymbol
            |              +- BindSymbol
            |
            +- NoSymbol

+- Flags

[-] Constructors

[-] Members

[+] type Alternatives = Nothing <: Pattern

Pattern representing X | Y | ... alternatives.

[+] type AmbiguousImplicits = Nothing <: ImplicitSearchFailure
[+] type AndType = Nothing <: Type

Intersection type T & U

[+] type Annotated = Nothing <: TypeTree

Type tree representing an annotated type

[+] type AnnotatedType = Nothing <: Type

A type with an anottation T @foo

[+] type Applied = Nothing <: TypeTree

Type tree representing a type application

[+] type AppliedType = Nothing <: Type

A higher kinded type applied to some types T[U]

[+] type Apply = Nothing <: Term

Tree an application of arguments. It represents a single list of arguments, multiple argument lists will have nested Applys

[+] type Assign = Nothing <: Term

Tree representing an assignment x = y in the source code

[+] type Bind = Nothing <: Pattern

Pattern representing a _ @ _ binding.

[+] type BindSymbol = Nothing <: TermSymbol

Symbol representing a bind definition.

[+] type Block = Nothing <: Term

Tree representing a block { ... } in the source code

[+] type ByName = Nothing <: TypeTree

Type tree representing a by name parameter

[+] type ByNameType = Nothing <: Type

Type of a by by name parameter

[+] type CaseDef = Nothing <: Tree

Branch of a pattern match or catch clause

[+] type ClassDef = Nothing <: Definition

Tree representing a class definition. This includes annonymus class definitions and the class of a module object

[+] type ClassDefSymbol = Nothing <: TypeSymbol

Symbol of a class definition. This includes anonymous class definitions and the class of a module object.

[+] type Closure = Nothing <: Term

A lambda (...) => ... in the source code is represented as a local method and a closure:

{ def m(...) = ... closure(m) }

[+] type Comment = Nothing <: AnyRef

Comment

[+] type Constant = Nothing <: AnyRef

Constant value represented as the constant itself

[+] type ConstantType = Nothing <: Type

A singleton type representing a known constant value

[+] type Context = Nothing <: AnyRef

Compilation context

[+] type DefDef = Nothing <: Definition

Tree representing a method definition in the source code

[+] type DefDefSymbol = Nothing <: TermSymbol

Symbol representing a method definition.

[+] type Definition = Nothing <: Statement

Tree representing a definition in the source code. It can be PackageDef, ClassDef, TypeDef, DefDef or ValDef

[+] type DivergingImplicit = Nothing <: ImplicitSearchFailure
[+] type Flags =

FlagSet of a Symbol

[+] type Id = Nothing <: AnyRef

Untyped identifier

[+] type Ident = Nothing <: Ref

Tree representing a reference to definition with a given name

[+] type If = Nothing <: Term

Tree representing an if/then/else if (...) ... else ... in the source code

[+] type ImplicitSearchFailure = Nothing <: ImplicitSearchResult
[+] type ImplicitSearchResult = Nothing <: AnyRef
[+] type ImplicitSearchSuccess = Nothing <: ImplicitSearchResult
[+] type ImpliedMatch = Nothing <: Term

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

[+] type Import = Nothing <: Statement

Tree representing an import in the source code

[+] type ImportSelector = Nothing <: AnyRef

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

[+] type Inferred = Nothing <: TypeTree

Type tree representing an inferred type

[+] type Inlined = Nothing <: Term

Tree representing the scope of an inlined tree

[+] type LambdaType = Nothing <: Type

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

[+] type LambdaTypeTree = Nothing <: TypeTree

Type tree representing a lambda abstraction type

[+] type Literal = Nothing <: Term

Tree representing a literal value in the source code

[+] type Match = Nothing <: Term

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

[+] type MatchType = Nothing <: Type

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

[+] type MatchTypeTree = Nothing <: TypeTree

Type tree representing a type match

[+] type MethodType = Nothing <: LambdaType [ Type ]

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

[+] type NamedArg = Nothing <: Term

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

[+] type New = Nothing <: Term

Tree representing new in the source code

[+] type NoMatchingImplicits = Nothing <: ImplicitSearchFailure
[+] type NoPrefix = Nothing <: TypeOrBounds

NoPrefix for a type selection

[+] type NoSymbol = Nothing <: Symbol

No symbol available.

[+] type OmitSelector = Nothing <: ImportSelector
[+] type OrType = Nothing <: Type

Union type T | U

[+] type PackageClause = Nothing <: Tree

Tree representing a pacakage clause in the source code

[+] type PackageDef = Nothing <: Definition

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

[+] type PackageDefSymbol = Nothing <: Symbol

Symbol of a package definition

[+] type ParamRef = Nothing <: Type

Type of a parameter reference

[+] type Pattern = Nothing <: AnyRef

Pattern tree of the pattern part of a CaseDef

[+] type PolyType = Nothing <: LambdaType [ TypeBounds ]

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

[+] type Position = Nothing <: AnyRef

Position in a source file

[+] type Projection = Nothing <: TypeTree

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

[+] type RecursiveThis = Nothing <: Type

A type that is recursively defined this

[+] type RecursiveType = Nothing <: Type

A type that is recursively defined

[+] type Ref = Nothing <: Term

Tree representing a reference to definition

[+] type Refined = Nothing <: TypeTree

Type tree representing a type refinement

[+] type Refinement = Nothing <: Type

A type with a type refinement T { type U }

[+] type RenameSelector = Nothing <: ImportSelector
[+] type Repeated = Nothing <: Term

Tree representing a variable argument list in the source code

[+] type Return = Nothing <: Term

Tree representing a return in the source code

[+] type Select = Nothing <: Ref

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

[+] type SelectOuter = Nothing <: Term

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

[+] type Settings = Nothing <: AnyRef

Settings

[+] type Signature = Nothing <: AnyRef

JVM signature of a method

[+] type SimpleSelector = Nothing <: ImportSelector
[+] type Singleton = Nothing <: TypeTree

Type tree representing a singleton type

[+] type SourceFile = Nothing <: AnyRef

Scala source file

[+] type Statement = Nothing <: Tree

Tree representing a statement in the source code

[+] type Super = Nothing <: Term

Tree representing super in the source code

[+] type SuperType = Nothing <: Type

Type of a super refernce

[+] type SymRef = Nothing <: Type

Type of a reference to a symbol

[+] type Symbol = Nothing <: AnyRef

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

[+] type Term = Nothing <: Statement

Tree representing an expression in the source code

[+] type TermRef = Nothing <: Type

Type of a reference to a term

[+] type TermSymbol = Nothing <: Symbol
[+] type This = Nothing <: Term

Tree representing this in the source code

[+] type ThisType = Nothing <: Type

Type of this

[+] type Tree = Nothing <: AnyRef

Tree representing code written in the source

[+] type Try = Nothing <: Term

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

[+] type Type = Nothing <: TypeOrBounds

A type

[+] type TypeApply = Nothing <: Term

Tree an application of type arguments

[+] type TypeBind = Nothing <: TypeTree

Type tree representing a type binding

[+] type TypeBindSymbol = Nothing <: TypeSymbol

Symbol representing a bind definition.

[+] type TypeBlock = Nothing <: TypeTree

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

[+] type TypeBounds = Nothing <: TypeOrBounds

Type bounds

[+] type TypeBoundsTree = Nothing <: Tree

Type tree representing a type bound written in the source

[+] type TypeCaseDef = Nothing <: Tree

Branch of a type pattern match

[+] type TypeDef = Nothing <: Definition

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

[+] type TypeDefSymbol = Nothing <: TypeSymbol

Symbol of a type (parameter or member) definition.

[+] type TypeIdent = Nothing <: TypeTree

Type tree representing a reference to definition with a given name

[+] type TypeLambda = Nothing <: LambdaType [ TypeBounds ]

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

[+] type TypeOrBounds = Nothing <: AnyRef

Type or bounds

[+] type TypeRef = Nothing <: Type

Type of a reference to a type

[+] type TypeSelect = Nothing <: TypeTree

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

[+] type TypeSymbol = Nothing <: Symbol
[+] type TypeTest = Nothing <: Pattern

Pattern representing a x: Y type test.

[+] type TypeTree = Nothing <: Tree

Type tree representing a type written in the source

[+] type Typed = Nothing <: Term

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

[+] type Unapply = Nothing <: Pattern

Pattern representing a Xyz(...) unapply.

[+] type ValDef = Nothing <: Definition

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

[+] type ValDefSymbol = Nothing <: TermSymbol

Symbol representing a value definition. This includes val, lazy val, var, object and parameter definitions.

[+] type Value = Nothing <: Pattern

Pattern representing a value. This includes 1, x and _

[+] type While = Nothing <: Term

Tree representing a while loop

[+] type WildcardPattern = Nothing <: Pattern

Pattern representing a _ pattern

[+] type WildcardTypeTree = Nothing <: Tree

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.

[+] def AndType_left ( self: AndType ) ( implicit ctx: Context ) : Type
[+] def AndType_right ( self: AndType ) ( implicit ctx: Context ) : Type
[+] def AnnotatedType_annot ( self: AnnotatedType ) ( implicit ctx: Context ) : Term
[+] def AnnotatedType_underlying ( self: AnnotatedType ) ( implicit ctx: Context ) : Type
[+] def Annotated_annotation ( self: Annotated ) ( implicit ctx: Context ) : Term
[+] def Annotated_apply ( arg: TypeTree , annotation: Term ) ( implicit ctx: Context ) : Annotated
[+] def Annotated_arg ( self: Annotated ) ( implicit ctx: Context ) : TypeTree
[+] def Annotated_copy ( original: Annotated ) ( arg: TypeTree , annotation: Term ) ( implicit ctx: Context ) : Annotated
[+] def AppliedType_args ( self: AppliedType ) ( implicit ctx: Context ) : List [ TypeOrBounds ]
[+] def AppliedType_tycon ( self: AppliedType ) ( implicit ctx: Context ) : Type
[+] def Applied_apply ( tpt: TypeTree , args: List [ Tree ] ) ( implicit ctx: Context ) : Applied
[+] def Applied_args ( self: Applied ) ( implicit ctx: Context ) : List [ Tree ]
[+] def Applied_copy ( original: Applied ) ( tpt: TypeTree , args: List [ Tree ] ) ( implicit ctx: Context ) : Applied
[+] def Applied_tpt ( self: Applied ) ( implicit ctx: Context ) : TypeTree
[+] def Apply_apply ( fn: Term , args: List [ Term ] ) ( implicit ctx: Context ) : Apply
[+] def Apply_args ( self: Apply ) ( implicit ctx: Context ) : List [ Term ]
[+] def Apply_copy ( original: Tree ) ( fun: Term , args: List [ Term ] ) ( implicit ctx: Context ) : Apply
[+] def Apply_fun ( self: Apply ) ( implicit ctx: Context ) : Term
[+] def Assign_apply ( lhs: Term , rhs: Term ) ( implicit ctx: Context ) : Assign
[+] def Assign_copy ( original: Tree ) ( lhs: Term , rhs: Term ) ( implicit ctx: Context ) : Assign
[+] def Assign_lhs ( self: Assign ) ( implicit ctx: Context ) : Term
[+] def Assign_rhs ( self: Assign ) ( implicit ctx: Context ) : Term
[+] def BindSymbol_tree ( self: BindSymbol ) ( implicit ctx: Context ) : Bind

Bind pattern of this definition

[+] def Block_apply ( stats: List [ Statement ] , expr: Term ) ( implicit ctx: Context ) : Block
[+] def Block_copy ( original: Tree ) ( stats: List [ Statement ] , expr: Term ) ( implicit ctx: Context ) : Block
[+] def Block_expr ( self: Block ) ( implicit ctx: Context ) : Term
[+] def Block_statements ( self: Block ) ( implicit ctx: Context ) : List [ Statement ]
[+] def ByNameType_underlying ( self: ByNameType ) ( implicit ctx: Context ) : Type
[+] def ByName_apply ( result: TypeTree ) ( implicit ctx: Context ) : ByName
[+] def ByName_copy ( original: ByName ) ( result: TypeTree ) ( implicit ctx: Context ) : ByName
[+] def ByName_result ( self: ByName ) ( implicit ctx: Context ) : TypeTree
[+] def CaseDef_guard ( self: CaseDef ) ( implicit ctx: Context ) : Option [ Term ]
[+] def CaseDef_module_apply ( pattern: Pattern , guard: Option [ Term ] , body: Term ) ( implicit ctx: Context ) : CaseDef
[+] def CaseDef_module_copy ( original: CaseDef ) ( pattern: Pattern , guard: Option [ Term ] , body: Term ) ( implicit ctx: Context ) : CaseDef
[+] def CaseDef_pattern ( self: CaseDef ) ( implicit ctx: Context ) : Pattern
[+] def CaseDef_rhs ( self: CaseDef ) ( implicit ctx: Context ) : Term
[+] def ClassDefSymbol_caseFields ( self: Symbol ) ( implicit ctx: Context ) : List [ ValDefSymbol ]

Fields of a case class type -- only the ones declared in primary constructor

[+] def ClassDefSymbol_classMethod ( self: Symbol ) ( name: String ) ( implicit ctx: Context ) : List [ DefDefSymbol ]

Get non-private named methods defined directly inside the class

[+] def ClassDefSymbol_classMethods ( self: Symbol ) ( implicit ctx: Context ) : List [ DefDefSymbol ]

Get all non-private methods defined directly inside the class, excluding constructors

[+] def ClassDefSymbol_companionClass ( self: Symbol ) ( implicit ctx: Context ) : Option [ ClassDefSymbol ]

The class symbol of the companion module class

[+] def ClassDefSymbol_companionModule ( self: Symbol ) ( implicit ctx: Context ) : Option [ ValDefSymbol ]

The symbol of the companion module

[+] def ClassDefSymbol_field ( self: Symbol ) ( name: String ) ( implicit ctx: Context ) : Option [ Symbol ]

Field with the given name directly declared in the class

[+] def ClassDefSymbol_fields ( self: Symbol ) ( implicit ctx: Context ) : List [ Symbol ]

Fields directly declared in the class

[+] def ClassDefSymbol_method ( self: Symbol ) ( name: String ) ( implicit ctx: Context ) : List [ DefDefSymbol ]

Get named non-private methods declared or inherited

[+] def ClassDefSymbol_methods ( self: Symbol ) ( implicit ctx: Context ) : List [ DefDefSymbol ]

Get all non-private methods declared or inherited

[+] def ClassDefSymbol_moduleClass ( self: Symbol ) ( implicit ctx: Context ) : Option [ Symbol ]

The symbol of the class of the companion module

[+] def ClassDefSymbol_of ( fullName: String ) ( implicit ctx: Context ) : ClassDefSymbol
[+] def ClassDefSymbol_tree ( self: ClassDefSymbol ) ( implicit ctx: Context ) : ClassDef

ClassDef tree of this definition

[+] def ClassDef_body ( self: ClassDef ) ( implicit ctx: Context ) : List [ Statement ]
[+] def ClassDef_constructor ( self: ClassDef ) ( implicit ctx: Context ) : DefDef
[+] def ClassDef_copy ( original: ClassDef ) ( name: String , constr: DefDef , parents: List [ Tree ] , derived: List [ TypeTree ] , selfOpt: Option [ ValDef ] , body: List [ Statement ] ) ( implicit ctx: Context ) : ClassDef
[+] def ClassDef_derived ( self: ClassDef ) ( implicit ctx: Context ) : List [ TypeTree ]
[+] def ClassDef_parents ( self: ClassDef ) ( implicit ctx: Context ) : List [ Tree ]
[+] def ClassDef_self ( self: ClassDef ) ( implicit ctx: Context ) : Option [ ValDef ]
[+] def ClassDef_symbol ( self: ClassDef ) ( implicit ctx: Context ) : ClassDefSymbol
[+] def Closure_apply ( meth: Term , tpe: Option [ Type ] ) ( implicit ctx: Context ) : Closure
[+] def Closure_copy ( original: Tree ) ( meth: Tree , tpe: Option [ Type ] ) ( implicit ctx: Context ) : Closure
[+] def Closure_meth ( self: Closure ) ( implicit ctx: Context ) : Term
[+] def Closure_tpeOpt ( self: Closure ) ( implicit ctx: Context ) : Option [ Type ]
[+] def Comment_expanded ( self: Comment ) : Option [ String ]
[+] def Comment_raw ( self: Comment ) : String
[+] def Comment_usecases ( self: Comment ) : List [ ( String, Option [ DefDef ] ) ]
[+] def ConstantType_constant ( self: ConstantType ) ( implicit ctx: Context ) : Constant
[+] def Constant_ClassTag_apply ( x: Type ) : Constant
[+] def Constant_apply ( x: Unit | Null | Int | Boolean | Byte | Short | Int | Long | Float | Double | Char | String | Type ) : Constant
[+] def Constant_value ( const: Constant ) : Any
[+] def Context_GADT_addToConstraint ( self: Context ) ( syms: List [ Symbol ] ) : Boolean
[+] def Context_GADT_approximation ( self: Context ) ( sym: Symbol , fromBelow: Boolean ) : Type
[+] def Context_GADT_setFreshGADTBounds ( self: Context ) : Context
[+] def Context_owner ( self: Context ) : Symbol

Returns the owner of the context

[+] def Context_source ( self: Context ) : Path

Returns the source file being compiled. The path is relative to the current working directory.

[+] def DefDefSymbol_signature ( self: DefDefSymbol ) ( implicit ctx: Context ) : Signature

Signature of this definition

[+] def DefDefSymbol_tree ( self: DefDefSymbol ) ( implicit ctx: Context ) : DefDef

DefDef tree of this definition

[+] def DefDef_apply ( symbol: DefDefSymbol , rhsFn: List [ Type ] => List [ List [ Term ] ] => Option [ Term ] ) ( implicit ctx: Context ) : DefDef
[+] def DefDef_copy ( original: DefDef ) ( name: String , typeParams: List [ TypeDef ] , paramss: List [ List [ ValDef ] ] , tpt: TypeTree , rhs: Option [ Term ] ) ( implicit ctx: Context ) : DefDef
[+] def DefDef_paramss ( self: DefDef ) ( implicit ctx: Context ) : List [ List [ ValDef ] ]
[+] def DefDef_returnTpt ( self: DefDef ) ( implicit ctx: Context ) : TypeTree
[+] def DefDef_rhs ( self: DefDef ) ( implicit ctx: Context ) : Option [ Term ]
[+] def DefDef_symbol ( self: DefDef ) ( implicit ctx: Context ) : DefDefSymbol
[+] def DefDef_typeParams ( self: DefDef ) ( implicit ctx: Context ) : List [ TypeDef ]
[+] def Definition_name ( self: Definition ) ( implicit ctx: Context ) : String
[+] def Definitions_AnyClass : Symbol
[+] def Definitions_AnyRefClass : Symbol
[+] def Definitions_AnyRefType : Type
[+] def Definitions_AnyType : Type
[+] def Definitions_AnyValClass : Symbol
[+] def Definitions_AnyValType : Type
[+] def Definitions_ArrayClass : Symbol
[+] def Definitions_ArrayModule : Symbol
[+] def Definitions_Array_apply : Symbol
[+] def Definitions_Array_clone : Symbol
[+] def Definitions_Array_length : Symbol
[+] def Definitions_Array_update : Symbol
[+] def Definitions_BooleanClass : Symbol
[+] def Definitions_BooleanType : Type
[+] def Definitions_ByteClass : Symbol
[+] def Definitions_ByteType : Type
[+] def Definitions_CharClass : Symbol
[+] def Definitions_CharType : Type
[+] def Definitions_ClassClass : Symbol
[+] def Definitions_DoubleClass : Symbol
[+] def Definitions_DoubleType : Type
[+] def Definitions_EmptyPackageClass : Symbol
[+] def Definitions_FloatClass : Symbol
[+] def Definitions_FloatType : Type
[+] def Definitions_FunctionClass ( arity: Int , isImplicit: Boolean , isErased: Boolean ) : Symbol
[+] def Definitions_FunctionClass$default$2 : Boolean
[+] def Definitions_FunctionClass$default$3 : Boolean
[+] def Definitions_IntClass : Symbol
[+] def Definitions_IntType : Type
[+] def Definitions_InternalQuoted_patternBindHoleAnnot : Symbol

Symbol of scala.internal.Quoted.patternBindHole

[+] def Definitions_InternalQuoted_patternHole : Symbol

Symbol of scala.internal.Quoted.patternHole

[+] def Definitions_JavaLangPackage : Symbol
[+] def Definitions_LongClass : Symbol
[+] def Definitions_LongType : Type
[+] def Definitions_NoneModule : Symbol
[+] def Definitions_NothingClass : Symbol
[+] def Definitions_NothingType : Type
[+] def Definitions_NullClass : Symbol
[+] def Definitions_NullType : Type
[+] def Definitions_ObjectClass : Symbol
[+] def Definitions_ObjectType : Type
[+] def Definitions_OptionClass : Symbol
[+] def Definitions_PredefModule : Symbol
[+] def Definitions_Predef_classOf : Symbol
[+] def Definitions_ProductClass : Symbol
[+] def Definitions_RepeatedParamClass : ClassDefSymbol
[+] def Definitions_RootClass : Symbol
[+] def Definitions_RootPackage : Symbol
[+] def Definitions_ScalaPackage : Symbol
[+] def Definitions_ScalaPackageClass : Symbol
[+] def Definitions_ShortClass : Symbol
[+] def Definitions_ShortType : Type
[+] def Definitions_SomeModule : Symbol
[+] def Definitions_StringClass : Symbol
[+] def Definitions_StringType : Type
[+] def Definitions_TupleClass ( arity: Int ) : Symbol
[+] def Definitions_UnitClass : Symbol
[+] def Definitions_UnitType : Type
[+] def Flags_Abstract : Flags
[+] def Flags_Artifact : Flags
[+] def Flags_Case : Flags
[+] def Flags_CaseAcessor : Flags
[+] def Flags_Contravariant : Flags
[+] def Flags_Covariant : Flags
[+] def Flags_DefaultParameterized : Flags
[+] def Flags_EmptyFlags : Flags
[+] def Flags_Enum : Flags
[+] def Flags_Erased : Flags
[+] def Flags_FieldAccessor : Flags
[+] def Flags_Final : Flags
[+] def Flags_Given : Flags
[+] def Flags_Implicit : Flags
[+] def Flags_Implied : Flags
[+] def Flags_Inline : Flags
[+] def Flags_JavaDefined : Flags
[+] def Flags_Lazy : Flags
[+] def Flags_Local : Flags
[+] def Flags_Macro : Flags
[+] def Flags_ModuleClass : Flags
[+] def Flags_Mutable : Flags
[+] def Flags_Object : Flags
[+] def Flags_Override : Flags
[+] def Flags_Package : Flags
[+] def Flags_Param : Flags
[+] def Flags_ParamAccessor : Flags
[+] def Flags_Private : Flags
[+] def Flags_PrivateLocal : Flags
[+] def Flags_Protected : Flags
[+] def Flags_Scala2X : Flags
[+] def Flags_Sealed : Flags
[+] def Flags_StableRealizable : Flags
[+] def Flags_Static : Flags
[+] def Flags_Synthetic : Flags
[+] def Flags_Trait : Flags
[+] def Flags_and ( self: Flags ) ( that: Flags ) : Flags

Intersection of the two flag sets

[+] def Flags_is ( self: Flags ) ( that: Flags ) : Boolean

Is the given flag set a subset of this flag sets

[+] def Flags_or ( self: Flags ) ( that: Flags ) : Flags

Union of the two flag sets

[+] def Id_name ( self: Id ) ( implicit ctx: Context ) : String

Name of the identifier

[+] def Id_pos ( self: Id ) ( implicit ctx: Context ) : Position

Position in the source code

[+] def Ident_apply ( tmref: TermRef ) ( implicit ctx: Context ) : Term
[+] def Ident_copy ( original: Tree ) ( name: String ) ( implicit ctx: Context ) : Ident
[+] def Ident_name ( self: Ident ) ( implicit ctx: Context ) : String
[+] def If_apply ( cond: Term , thenp: Term , elsep: Term ) ( implicit ctx: Context ) : If
[+] def If_cond ( self: If ) ( implicit ctx: Context ) : Term
[+] def If_copy ( original: Tree ) ( cond: Term , thenp: Term , elsep: Term ) ( implicit ctx: Context ) : If
[+] def If_elsep ( self: If ) ( implicit ctx: Context ) : Term
[+] def If_thenp ( self: If ) ( implicit ctx: Context ) : Term
[+] def ImplicitMatch_apply ( cases: List [ CaseDef ] ) ( implicit ctx: Context ) : ImpliedMatch
[+] def ImplicitMatch_cases ( self: ImpliedMatch ) ( implicit ctx: Context ) : List [ CaseDef ]
[+] def ImplicitMatch_copy ( original: Tree ) ( cases: List [ CaseDef ] ) ( implicit ctx: Context ) : ImpliedMatch
[+] def ImplicitSearchFailure_explanation ( self: ImplicitSearchFailure ) ( implicit ctx: Context ) : String
[+] def ImplicitSearchSuccess_tree ( self: ImplicitSearchSuccess ) ( implicit ctx: Context ) : Term
[+] def Import_apply ( importImplied: Boolean , expr: Term , selectors: List [ ImportSelector ] ) ( implicit ctx: Context ) : Import
[+] def Import_copy ( original: Import ) ( importImplied: Boolean , expr: Term , selectors: List [ ImportSelector ] ) ( implicit ctx: Context ) : Import
[+] def Import_expr ( self: Import ) ( implicit ctx: Context ) : Term
[+] def Import_implied ( self: Import ) : Boolean
[+] def Import_selectors ( self: Import ) ( implicit ctx: Context ) : List [ ImportSelector ]
[+] def Inferred_apply ( tpe: Type ) ( implicit ctx: Context ) : Inferred
[+] def Inlined_apply ( call: Option [ Tree ] , bindings: List [ Definition ] , expansion: Term ) ( implicit ctx: Context ) : Inlined
[+] def Inlined_bindings ( self: Inlined ) ( implicit ctx: Context ) : List [ Definition ]
[+] def Inlined_body ( self: Inlined ) ( implicit ctx: Context ) : Term
[+] def Inlined_call ( self: Inlined ) ( implicit ctx: Context ) : Option [ Tree ]
[+] def Inlined_copy ( original: Tree ) ( call: Option [ Tree ] , bindings: List [ Definition ] , expansion: Term ) ( implicit ctx: Context ) : Inlined
[+] def Lambdaapply ( tparams: List [ TypeDef ] , body: Tree ) ( implicit ctx: Context ) : LambdaTypeTree
[+] def Lambdabody ( self: LambdaTypeTree ) ( implicit ctx: Context ) : Tree
[+] def Lambdacopy ( original: LambdaTypeTree ) ( tparams: List [ TypeDef ] , body: Tree ) ( implicit ctx: Context ) : LambdaTypeTree
[+] def Lambdatparams ( self: LambdaTypeTree ) ( implicit ctx: Context ) : List [ TypeDef ]
[+] def Literal_apply ( constant: Constant ) ( implicit ctx: Context ) : Literal
[+] def Literal_constant ( self: Literal ) ( implicit ctx: Context ) : Constant
[+] def Literal_copy ( original: Tree ) ( constant: Constant ) ( implicit ctx: Context ) : Literal
[+] def MatchTypeTree_apply ( bound: Option [ TypeTree ] , selector: TypeTree , cases: List [ TypeCaseDef ] ) ( implicit ctx: Context ) : MatchTypeTree
[+] def MatchTypeTree_bound ( self: MatchTypeTree ) ( implicit ctx: Context ) : Option [ TypeTree ]
[+] def MatchTypeTree_cases ( self: MatchTypeTree ) ( implicit ctx: Context ) : List [ TypeCaseDef ]
[+] def MatchTypeTree_copy ( original: MatchTypeTree ) ( bound: Option [ TypeTree ] , selector: TypeTree , cases: List [ TypeCaseDef ] ) ( implicit ctx: Context ) : MatchTypeTree
[+] def MatchTypeTree_selector ( self: MatchTypeTree ) ( implicit ctx: Context ) : TypeTree
[+] def MatchType_bound ( self: MatchType ) ( implicit ctx: Context ) : Type
[+] def MatchType_cases ( self: MatchType ) ( implicit ctx: Context ) : List [ Type ]
[+] def MatchType_scrutinee ( self: MatchType ) ( implicit ctx: Context ) : Type
[+] def Match_apply ( selector: Term , cases: List [ CaseDef ] ) ( implicit ctx: Context ) : Match
[+] def Match_cases ( self: Match ) ( implicit ctx: Context ) : List [ CaseDef ]
[+] def Match_copy ( original: Tree ) ( selector: Term , cases: List [ CaseDef ] ) ( implicit ctx: Context ) : Match
[+] def Match_scrutinee ( self: Match ) ( implicit ctx: Context ) : Term
[+] def MethodType_isErased ( self: MethodType ) : Boolean
[+] def MethodType_isImplicit ( self: MethodType ) : Boolean
[+] def MethodType_paramNames ( self: MethodType ) ( implicit ctx: Context ) : List [ String ]
[+] def MethodType_paramTypes ( self: MethodType ) ( implicit ctx: Context ) : List [ Type ]
[+] def MethodType_resType ( self: MethodType ) ( implicit ctx: Context ) : Type
[+] def NamedArg_apply ( name: String , arg: Term ) ( implicit ctx: Context ) : NamedArg
[+] def NamedArg_copy ( tree: NamedArg ) ( name: String , arg: Term ) ( implicit ctx: Context ) : NamedArg
[+] def NamedArg_name ( self: NamedArg ) ( implicit ctx: Context ) : String
[+] def NamedArg_value ( self: NamedArg ) ( implicit ctx: Context ) : Term
[+] def New_apply ( tpt: TypeTree ) ( implicit ctx: Context ) : New
[+] def New_copy ( original: Tree ) ( tpt: TypeTree ) ( implicit ctx: Context ) : New
[+] def New_tpt ( self: New ) ( implicit ctx: Context ) : TypeTree
[+] def OrType_left ( self: OrType ) ( implicit ctx: Context ) : Type
[+] def OrType_right ( self: OrType ) ( implicit ctx: Context ) : Type
[+] def PackageClause_apply ( pid: Ref , stats: List [ Tree ] ) ( implicit ctx: Context ) : PackageClause
[+] def PackageClause_copy ( original: PackageClause ) ( pid: Ref , stats: List [ Tree ] ) ( implicit ctx: Context ) : PackageClause
[+] def PackageClause_pid ( self: PackageClause ) ( implicit ctx: Context ) : Ref
[+] def PackageClause_stats ( self: PackageClause ) ( implicit ctx: Context ) : List [ Tree ]
[+] def PackageDefSymbol_tree ( self: PackageDefSymbol ) ( implicit ctx: Context ) : PackageDef
[+] def PackageDef_members ( self: PackageDef ) ( implicit ctx: Context ) : List [ Statement ]
[+] def PackageDef_owner ( self: PackageDef ) ( implicit ctx: Context ) : PackageDef
[+] def PackageDef_symbol ( self: PackageDef ) ( implicit ctx: Context ) : PackageDefSymbol
[+] def ParamRef_binder ( self: ParamRef ) ( implicit ctx: Context ) : LambdaType [ TypeOrBounds ]
[+] def ParamRef_paramNum ( self: ParamRef ) ( implicit ctx: Context ) : Int
[+] def Pattern_Alternatives_module_apply ( patterns: List [ Pattern ] ) ( implicit ctx: Context ) : Alternatives
[+] def Pattern_Alternatives_module_copy ( original: Alternatives ) ( patterns: List [ Pattern ] ) ( implicit ctx: Context ) : Alternatives
[+] def Pattern_Alternatives_patterns ( self: Alternatives ) ( implicit ctx: Context ) : List [ Pattern ]
[+] def Pattern_Bind_module_copy ( original: Bind ) ( name: String , pattern: Pattern ) ( implicit ctx: Context ) : Bind
[+] def Pattern_Bind_name ( self: Bind ) ( implicit ctx: Context ) : String
[+] def Pattern_Bind_pattern ( self: Bind ) ( implicit ctx: Context ) : Pattern
[+] def Pattern_TypeTest_module_apply ( tpt: TypeTree ) ( implicit ctx: Context ) : TypeTest
[+] def Pattern_TypeTest_module_copy ( original: TypeTest ) ( tpt: TypeTree ) ( implicit ctx: Context ) : TypeTest
[+] def Pattern_TypeTest_tpt ( self: TypeTest ) ( implicit ctx: Context ) : TypeTree
[+] def Pattern_Unapply_fun ( self: Unapply ) ( implicit ctx: Context ) : Term
[+] def Pattern_Unapply_implicits ( self: Unapply ) ( implicit ctx: Context ) : List [ Term ]
[+] def Pattern_Unapply_module_copy ( original: Unapply ) ( fun: Term , implicits: List [ Term ] , patterns: List [ Pattern ] ) ( implicit ctx: Context ) : Unapply
[+] def Pattern_Unapply_patterns ( self: Unapply ) ( implicit ctx: Context ) : List [ Pattern ]
[+] def Pattern_Value_module_apply ( term: Term ) ( implicit ctx: Context ) : Value
[+] def Pattern_Value_module_copy ( original: Value ) ( term: Term ) ( implicit ctx: Context ) : Value
[+] def Pattern_Value_value ( self: Value ) ( implicit ctx: Context ) : Term
[+] def Pattern_WildcardPattern_module_apply ( tpe: TypeOrBounds ) ( implicit ctx: Context ) : WildcardPattern
[+] def Pattern_pos ( self: Pattern ) ( implicit ctx: Context ) : Position
[+] def Pattern_symbol ( self: Pattern ) ( implicit ctx: Context ) : Symbol
[+] def Pattern_tpe ( self: Pattern ) ( implicit ctx: Context ) : Type
[+] def PolyType_paramBounds ( self: PolyType ) ( implicit ctx: Context ) : List [ TypeBounds ]
[+] def PolyType_paramNames ( self: PolyType ) ( implicit ctx: Context ) : List [ String ]
[+] def PolyType_resType ( self: PolyType ) ( implicit ctx: Context ) : Type
[+] def Position_end ( self: Position ) : Int

The end offset in the source file

[+] def Position_endColumn ( self: Position ) : Int

The end column in the source file

[+] def Position_endLine ( self: Position ) : Int

The end line in the source file

[+] def Position_exists ( self: Position ) : Boolean

Does this position exist

[+] def Position_sourceCode ( self: Position ) : String

Source code within the position

[+] def Position_sourceFile ( self: Position ) : SourceFile

Source file in which this position is located

[+] def Position_start ( self: Position ) : Int

The start offset in the source file

[+] def Position_startColumn ( self: Position ) : Int

The start column in the source file

[+] def Position_startLine ( self: Position ) : Int

The start line in the source file

[+] def Projection_copy ( original: Projection ) ( qualifier: TypeTree , name: String ) ( implicit ctx: Context ) : Projection
[+] def Projection_name ( self: Projection ) ( implicit ctx: Context ) : String
[+] def Projection_qualifier ( self: Projection ) ( implicit ctx: Context ) : TypeTree
[+] def QuotedExpr_cast ( self: Expr [ Nothing <: Any ] ) ( implicit tp: Type [ U ] , ctx: Context ) : Expr [ U ]

Checked cast to a quoted.Expr[U]

[+] def QuotedExpr_seal ( self: Term ) ( implicit ctx: Context ) : Expr [ Any ]

Convert Term to an quoted.Expr[Any]

[+] def QuotedExpr_unseal ( self: Expr [ Nothing <: Any ] ) ( implicit ctx: Context ) : Term

View this expression quoted.Expr[_] as a Term

[+] def QuotedType_seal ( self: Type ) ( implicit ctx: Context ) : Type [ Nothing <: AnyKind ]

Convert Type to an quoted.Type[_]

[+] def QuotedType_unseal ( self: Type [ Nothing <: AnyKind ] ) ( implicit ctx: Context ) : TypeTree

View this expression quoted.Type[T] as a TypeTree

[+] def RecursiveThis_binder ( self: RecursiveThis ) ( implicit ctx: Context ) : RecursiveType
[+] def RecursiveType_underlying ( self: RecursiveType ) ( implicit ctx: Context ) : Type
[+] def Ref_apply ( sym: Symbol ) ( implicit ctx: Context ) : Ref
[+] def Refined_copy ( original: Refined ) ( tpt: TypeTree , refinements: List [ Definition ] ) ( implicit ctx: Context ) : Refined
[+] def Refined_refinements ( self: Refined ) ( implicit ctx: Context ) : List [ Definition ]
[+] def Refined_tpt ( self: Refined ) ( implicit ctx: Context ) : TypeTree
[+] def Refinement_info ( self: Refinement ) ( implicit ctx: Context ) : TypeOrBounds
[+] def Refinement_name ( self: Refinement ) ( implicit ctx: Context ) : String
[+] def Refinement_parent ( self: Refinement ) ( implicit ctx: Context ) : Type
[+] def RenameSelector_from ( self: RenameSelector ) ( implicit ctx: Context ) : Id
[+] def RenameSelector_to ( self: RenameSelector ) ( implicit ctx: Context ) : Id
[+] def Repeated_apply ( elems: List [ Term ] , elemtpt: TypeTree ) ( implicit ctx: Context ) : Repeated
[+] def Repeated_copy ( original: Tree ) ( elems: List [ Term ] , elemtpt: TypeTree ) ( implicit ctx: Context ) : Repeated
[+] def Repeated_elems ( self: Repeated ) ( implicit ctx: Context ) : List [ Term ]
[+] def Repeated_elemtpt ( self: Repeated ) ( implicit ctx: Context ) : TypeTree
[+] def Return_apply ( expr: Term ) ( implicit ctx: Context ) : Return
[+] def Return_copy ( original: Tree ) ( expr: Term ) ( implicit ctx: Context ) : Return
[+] def Return_expr ( self: Return ) ( implicit ctx: Context ) : Term
[+] def SelectOuter_apply ( qualifier: Term , name: String , levels: Int ) ( implicit ctx: Context ) : SelectOuter
[+] def SelectOuter_copy ( original: Tree ) ( qualifier: Term , name: String , levels: Int ) ( implicit ctx: Context ) : SelectOuter
[+] def SelectOuter_level ( self: SelectOuter ) ( implicit ctx: Context ) : Int
[+] def SelectOuter_qualifier ( self: SelectOuter ) ( implicit ctx: Context ) : Term
[+] def SelectOuter_tpe ( self: SelectOuter ) ( implicit ctx: Context ) : Type
[+] def Select_apply ( qualifier: Term , symbol: Symbol ) ( implicit ctx: Context ) : Select
[+] def Select_copy ( original: Tree ) ( qualifier: Term , name: String ) ( implicit ctx: Context ) : Select