T trait

CompilerInterface

extends Object with Types

Part of the reflection interface that needs to be implemented by the compiler

Supertypes

Object, Types

Members

def 

Alternatives_TypeTest

: TypeTest[Tree,Alternatives]

def 

AmbiguousImplicits_TypeTest

: TypeTest[ImplicitSearchResult,AmbiguousImplicits]

def 

AndType_TypeTest

: TypeTest[Type,AndType]

def 

AndType_apply

( lhs: Type rhs: Type ) : AndType

def 

AndType_left

( self: AndType ) : Type

def 

AndType_right

( self: AndType ) : Type

def 

AnnotatedType_TypeTest

: TypeTest[Type,AnnotatedType]

def 

AnnotatedType_annot

( self: AnnotatedType ) : Term

def 

AnnotatedType_apply

( underlying: Type annot: Term ) : AnnotatedType

def 

AnnotatedType_underlying

( self: AnnotatedType ) : Type

def 

Annotated_TypeTest

: TypeTest[Tree,Annotated]

def 

Annotated_annotation

( self: Annotated ) : Term

def 

Annotated_apply

( arg: TypeTree annotation: Term ) : Annotated

def 

Annotated_arg

( self: Annotated ) : TypeTree

def 

Annotated_copy

( original: Tree ) ( arg: TypeTree annotation: Term ) : Annotated

def 

AppliedType_TypeTest

: TypeTest[Type,AppliedType]

def 

AppliedType_args

( self: AppliedType ) : List[Type]

def 

AppliedType_tycon

( self: AppliedType ) : Type

def 

Applied_TypeTest

: TypeTest[Tree,Applied]

def 

Applied_apply

( tpt: TypeTree args: List[Tree] ) : Applied

def 

Applied_args

( self: Applied ) : List[Tree]

def 

Applied_copy

( original: Tree ) ( tpt: TypeTree args: List[Tree] ) : Applied

def 

Applied_tpt

( self: Applied ) : TypeTree

def 

Apply_TypeTest

: TypeTest[Tree,Apply]

def 

Apply_apply

( fn: Term args: List[Term] ) : Apply

def 

Apply_args

( self: Apply ) : List[Term]

def 

Apply_copy

( original: Tree ) ( fun: Term args: List[Term] ) : Apply

def 

Apply_fun

( self: Apply ) : Term

def 

Assign_TypeTest

: TypeTest[Tree,Assign]

def 

Assign_apply

( lhs: Term rhs: Term ) : Assign

def 

Assign_copy

( original: Tree ) ( lhs: Term rhs: Term ) : Assign

def 

Assign_lhs

( self: Assign ) : Term

def 

Assign_rhs

( self: Assign ) : Term

def 

Bind_TypeTest

: TypeTest[Tree,Bind]

def 

Block_TypeTest

: TypeTest[Tree,Block]

def 

Block_apply

( stats: List[Statement] expr: Term ) : Block

def 

Block_copy

( original: Tree ) ( stats: List[Statement] expr: Term ) : Block

def 

Block_expr

( self: Block ) : Term

def 

Block_statements

( self: Block ) : List[Statement]

def 

ByNameType_TypeTest

: TypeTest[Type,ByNameType]

def 

ByNameType_apply

( underlying: Type ) : Type

def 

ByNameType_underlying

( self: ByNameType ) : Type

def 

ByName_TypeTest

: TypeTest[Tree,ByName]

def 

ByName_apply

( result: TypeTree ) : ByName

def 

ByName_copy

( original: Tree ) ( result: TypeTree ) : ByName

def 

ByName_result

( self: ByName ) : TypeTree

def 

CaseDef_TypeTest

: TypeTest[Tree,CaseDef]

def 

CaseDef_guard

( self: CaseDef ) : Option[Term]

def 

CaseDef_module_apply

( pattern: Tree guard: Option[Term] body: Term ) : CaseDef

def 

CaseDef_module_copy

( original: Tree ) ( pattern: Tree guard: Option[Term] body: Term ) : CaseDef

def 

CaseDef_pattern

( self: CaseDef ) : Tree

def 

CaseDef_rhs

( self: CaseDef ) : Term

def 

ClassDef_TypeTest

: TypeTest[Tree,ClassDef]

def 

ClassDef_body

( self: ClassDef ) : List[Statement]

def 

ClassDef_constructor

( self: ClassDef ) : DefDef

def 

ClassDef_copy

( original: Tree ) ( name: String constr: DefDef parents: List[Tree] derived: List[TypeTree] selfOpt: Option[ValDef] body: List[Statement] ) : ClassDef

def 

ClassDef_derived

( self: ClassDef ) : List[TypeTree]

def 

ClassDef_parents

( self: ClassDef ) : List[Tree]

def 

ClassDef_self

( self: ClassDef ) : Option[ValDef]

def 

Closure_TypeTest

: TypeTest[Tree,Closure]

def 

Closure_apply

( meth: Term tpe: Option[Type] ) : Closure

def 

Closure_copy

( original: Tree ) ( meth: Tree tpe: Option[Type] ) : Closure

def 

Closure_meth

( self: Closure ) : Term

def 

Closure_tpeOpt

( self: Closure ) : 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_TypeTest

: TypeTest[Type,ConstantType]

def 

ConstantType_apply

( const: Constant ) : ConstantType

def 

ConstantType_constant

( self: ConstantType ) : 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 

Constraints_add

( syms: List[Symbol] ) : Boolean

def 

Constraints_approximation

( sym: Symbol fromBelow: Boolean ) : Type

def 

Constraints_context

[T] : QuoteContext

def 

DefDef_TypeTest

: TypeTest[Tree,DefDef]

def 

DefDef_apply

( symbol: Symbol rhsFn: List[Type] => List[List[Term]] => Option[Term] ) : DefDef

def 

DefDef_copy

( original: Tree ) ( name: String typeParams: List[TypeDef] paramss: List[List[ValDef]] tpt: TypeTree rhs: Option[Term] ) : DefDef

def 

DefDef_paramss

( self: DefDef ) : List[List[ValDef]]

def 

DefDef_returnTpt

( self: DefDef ) : TypeTree

def 

DefDef_rhs

( self: DefDef ) : Option[Term]

def 

DefDef_typeParams

( self: DefDef ) : List[TypeDef]

def 

Definition_TypeTest

: TypeTest[Tree,Definition]

def 

Definition_name

( self: Definition ) : String

def 

Definitions_AnyClass

: Symbol

def 

Definitions_AnyRefClass

: Symbol

def 

Definitions_AnyRefType

: Type

The type of core type AnyRef.

The type of core type AnyRef.

def 

Definitions_AnyType

: Type

The type of core type Any.

The type of core type Any.

def 

Definitions_AnyValClass

: Symbol

def 

Definitions_AnyValType

: Type

The type of core type AnyVal.

The type of core type AnyVal.

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

The type of primitive type Boolean.

The type of primitive type Boolean.

def 

Definitions_ByteClass

: Symbol

def 

Definitions_ByteType

: Type

The type of primitive type Byte.

The type of primitive type Byte.

def 

Definitions_CharClass

: Symbol

def 

Definitions_CharType

: Type

The type of primitive type Char.

The type of primitive type Char.

def 

Definitions_ClassClass

: Symbol

def 

Definitions_DoubleClass

: Symbol

def 

Definitions_DoubleType

: Type

The type of primitive type Double.

The type of primitive type Double.

def 

Definitions_EmptyPackageClass

: Symbol

def 

Definitions_EmptyTupleType

: Type

The type for scala.EmptyTuple.

The type for scala.EmptyTuple.

def 

Definitions_FloatClass

: Symbol

def 

Definitions_FloatType

: Type

The type of primitive type Float.

The type of primitive type Float.

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

The type of primitive type Int.

The type of primitive type Int.

def 

Definitions_InternalQuotedMatcher_fromAboveAnnot

: Symbol

Symbol of scala.internal.CompileTime.fromAbove

Symbol of scala.internal.CompileTime.fromAbove

def 

Definitions_InternalQuotedMatcher_higherOrderHole

: Symbol

Symbol of scala.internal.CompileTime.higherOrderHole

Symbol of scala.internal.CompileTime.higherOrderHole

def 

Definitions_InternalQuotedMatcher_patternHole

: Symbol

Symbol of scala.internal.CompileTime.patternHole

Symbol of scala.internal.CompileTime.patternHole

def 

Definitions_InternalQuotedMatcher_patternTypeAnnot

: Symbol

Symbol of scala.internal.CompileTime.patternType

Symbol of scala.internal.CompileTime.patternType

def 

Definitions_JavaLangPackage

: Symbol

def 

Definitions_LongClass

: Symbol

def 

Definitions_LongType

: Type

The type of primitive type Long.

The type of primitive type Long.

def 

Definitions_NonEmptyTupleType

: Type

The type for scala.NonEmptyTuple.

The type for scala.NonEmptyTuple.

def 

Definitions_NoneModule

: Symbol

def 

Definitions_NothingClass

: Symbol

def 

Definitions_NothingType

: Type

The type of core type Nothing.

The type of core type Nothing.

def 

Definitions_NullClass

: Symbol

def 

Definitions_NullType

: Type

The type of core type Null.

The type of core type Null.

def 

Definitions_ObjectClass

: Symbol

def 

Definitions_ObjectType

: Type

The type of core type Object.

The type of core type Object.

def 

Definitions_OptionClass

: Symbol

def 

Definitions_PredefModule

: Symbol

def 

Definitions_Predef_classOf

: Symbol

def 

Definitions_ProductClass

: Symbol

def 

Definitions_RepeatedAnnot

: Symbol

The class symbol of class scala.annotation.internal.Repeated

The class symbol of class scala.annotation.internal.Repeated

def 

Definitions_RepeatedParamClass

: Symbol

A dummy class symbol that is used to indicate repeated parameters compiled by the Scala compiler.

A dummy class symbol that is used to indicate repeated parameters compiled by the Scala compiler.

def 

Definitions_RootClass

: Symbol

def 

Definitions_RootPackage

: Symbol

def 

Definitions_ScalaPackage

: Symbol

def 

Definitions_ScalaPackageClass

: Symbol

def 

Definitions_ShortClass

: Symbol

def 

Definitions_ShortType

: Type

The type of primitive type Short.

The type of primitive type Short.

def 

Definitions_SomeModule

: Symbol

def 

Definitions_StringClass

: Symbol

def 

Definitions_StringType

: Type

The type for scala.String.

The type for scala.String.

def 

Definitions_TupleClass

( arity: Int ) : Symbol

def 

Definitions_TupleConsType

: Type

The type for scala.*:.

The type for scala.*:.

def 

Definitions_TupleType

: Type

The type for scala.Tuple.

The type for scala.Tuple.

def 

Definitions_UnitClass

: Symbol

def 

Definitions_UnitType

: Type

The type of primitive type Unit.

The type of primitive type Unit.

def 

Definitions_isTupleClass

( sym: Symbol ) : Boolean

def 

DivergingImplicit_TypeTest

: TypeTest[ImplicitSearchResult,DivergingImplicit]

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_EmptyFlags

: Flags

def 

Flags_Enum

: Flags

def 

Flags_Erased

: Flags

def 

Flags_ExtensionMethod

: Flags

def 

Flags_FieldAccessor

: Flags

def 

Flags_Final

: Flags

def 

Flags_Given

: Flags

def 

Flags_HasDefault

: Flags

def 

Flags_Implicit

: 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

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

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

Union of the two flag sets

def 

GivenMatch_TypeTest

: TypeTest[Tree,GivenMatch]

def 

GivenMatch_apply

( cases: List[CaseDef] ) : GivenMatch

def 

GivenMatch_cases

( self: GivenMatch ) : List[CaseDef]

def 

GivenMatch_copy

( original: Tree ) ( cases: List[CaseDef] ) : GivenMatch

def 

Id_name

( self: Id ) : String

Name of the identifier

Name of the identifier

def 

Id_pos

( self: Id ) : Position

Position in the source code

Position in the source code

def 

Ident_TypeTest

: TypeTest[Tree,Ident]

def 

Ident_apply

( tmref: TermRef ) : Term

def 

Ident_copy

( original: Tree ) ( name: String ) : Ident

def 

Ident_name

( self: Ident ) : String

def 

If_TypeTest

: TypeTest[Tree,If]

def 

If_apply

( cond: Term thenp: Term elsep: Term ) : If

def 

If_cond

( self: If ) : Term

def 

If_copy

( original: Tree ) ( cond: Term thenp: Term elsep: Term ) : If

def 

If_elsep

( self: If ) : Term

def 

If_thenp

( self: If ) : Term

def 

ImplicitSearchFailure_TypeTest

: TypeTest[ImplicitSearchResult,ImplicitSearchFailure]

def 

ImplicitSearchFailure_explanation

( self: ImplicitSearchFailure ) : String

def 

ImplicitSearchSuccess_TypeTest

: TypeTest[ImplicitSearchResult,ImplicitSearchSuccess]

def 

ImplicitSearchSuccess_tree

( self: ImplicitSearchSuccess ) : Term

def 

Import_TypeTest

: TypeTest[Tree,Import]

def 

Import_apply

( iexpr: Term selectors: List[ImportSelector] ) : Import

def 

Import_copy

( original: Tree ) ( expr: Term selectors: List[ImportSelector] ) : Import

def 

Import_expr

( self: Import ) : Term

def 

Import_implied

( self: Import ) : Boolean

def 

Import_selectors

( self: Import ) : List[ImportSelector]

def 

Inferred_TypeTest

: TypeTest[Tree,Inferred]

def 

Inferred_apply

( tpe: Type ) : Inferred

def 

Inlined_TypeTest

: TypeTest[Tree,Inlined]

def 

Inlined_apply

( call: Option[Tree] bindings: List[Definition] expansion: Term ) : Inlined

def 

Inlined_bindings

( self: Inlined ) : List[Definition]

def 

Inlined_body

( self: Inlined ) : Term

def 

Inlined_call

( self: Inlined ) : Option[Tree]

def 

Inlined_copy

( original: Tree ) ( call: Option[Tree] bindings: List[Definition] expansion: Term ) : Inlined

def 

LambdaTypeTree_TypeTest

: TypeTest[Tree,LambdaTypeTree]

def 

Lambda_apply

( tpe: MethodType rhsFn: List[Tree] => Tree ) : Block

def 

Lambdaapply

( tparams: List[TypeDef] body: Tree ) : LambdaTypeTree

def 

Lambdabody

( self: LambdaTypeTree ) : Tree

def 

Lambdacopy

( original: Tree ) ( tparams: List[TypeDef] body: Tree ) : LambdaTypeTree

def 

Lambdatparams

( self: LambdaTypeTree ) : List[TypeDef]

def 

Literal_TypeTest

: TypeTest[Tree,Literal]

def 

Literal_apply

( constant: Constant ) : Literal

def 

Literal_constant

( self: Literal ) : Constant

def 

Literal_copy

( original: Tree ) ( constant: Constant ) : Literal

def 

MatchTypeTree_TypeTest

: TypeTest[Tree,MatchTypeTree]

def 

MatchTypeTree_apply

( bound: Option[TypeTree] selector: TypeTree cases: List[TypeCaseDef] ) : MatchTypeTree

def 

MatchTypeTree_bound

( self: MatchTypeTree ) : Option[TypeTree]

def 

MatchTypeTree_cases

( self: MatchTypeTree ) : List[TypeCaseDef]

def 

MatchTypeTree_copy

( original: Tree ) ( bound: Option[TypeTree] selector: TypeTree cases: List[TypeCaseDef] ) : MatchTypeTree

def 

MatchTypeTree_selector

( self: MatchTypeTree ) : TypeTree