CompilerInterface
extends Object with TypesPart of the reflection interface that needs to be implemented by the compiler
Supertypes
Object, TypesMembers
AmbiguousImplicits_TypeTest
( implicit ctx: Context ) : TypeTest[ImplicitSearchResult,AmbiguousImplicits]AnnotatedType_apply
( underlying: Type , annot: Term ) ( implicit ctx: Context ) : AnnotatedTypeAnnotatedType_underlying
( self: AnnotatedType ) ( implicit ctx: Context ) : TypeAnnotated_copy
( original: Tree ) ( arg: TypeTree , annotation: Term ) ( implicit ctx: Context ) : AnnotatedAppliedType_apply
( tycon: Type , args: List[TypeOrBounds] ) ( implicit ctx: Context ) : AppliedTypeApplied_copy
( original: Tree ) ( tpt: TypeTree , args: List[Tree] ) ( implicit ctx: Context ) : AppliedApply_copy
( original: Tree ) ( fun: Term , args: List[Term] ) ( implicit ctx: Context ) : ApplyBlock_copy
( original: Tree ) ( stats: List[Statement] , expr: Term ) ( implicit ctx: Context ) : BlockByNameType_underlying
( self: ByNameType ) ( implicit ctx: Context ) : TypeCaseDef_module_apply
( pattern: Tree , guard: Option[Term] , body: Term ) ( implicit ctx: Context ) : CaseDefCaseDef_module_copy
( original: Tree ) ( pattern: Tree , guard: Option[Term] , body: Term ) ( implicit ctx: Context ) : CaseDefClassDef_copy
( original: Tree ) ( name: String , constr: DefDef , parents: List[Tree] , derived: List[TypeTree] , selfOpt: Option[ValDef] , body: List[Statement] ) ( implicit ctx: Context ) : ClassDefClosure_copy
( original: Tree ) ( meth: Tree , tpe: Option[Type] ) ( implicit ctx: Context ) : ClosureComment_expanded
( self: Comment ) : Option[String]Constant_apply
( x: Unit | Null | Int | Boolean | Byte | Short | Int | Long | Float | Double | Char | String | Type ) : ConstantDefDef_apply
( symbol: Symbol , rhsFn: List[Type] => List[List[Term]] => Option[Term] ) ( implicit ctx: Context ) : DefDefDefDef_copy
( original: Tree ) ( name: String , typeParams: List[TypeDef] , paramss: List[List[ValDef]] , tpt: TypeTree , rhs: Option[Term] ) ( implicit ctx: Context ) : DefDefDefinitions_BooleanType
: TypeThe type of primitive type Boolean.
The type of primitive type Boolean.
Definitions_DoubleType
: TypeThe type of primitive type Double.
The type of primitive type Double.
Definitions_FloatType
: TypeThe type of primitive type Float.
The type of primitive type Float.
Definitions_FunctionClass$default$2
: BooleanDefinitions_FunctionClass$default$3
: BooleanDefinitions_InternalQuotedMatcher_fromAboveAnnot
: SymbolSymbol of scala.internal.CompileTime.fromAbove
Symbol of scala.internal.CompileTime.fromAbove
Definitions_InternalQuotedMatcher_higherOrderHole
: SymbolSymbol of scala.internal.CompileTime.higherOrderHole
Symbol of scala.internal.CompileTime.higherOrderHole
Definitions_InternalQuotedMatcher_patternHole
: SymbolSymbol of scala.internal.CompileTime.patternHole
Symbol of scala.internal.CompileTime.patternHole
Definitions_InternalQuotedMatcher_patternTypeAnnot
: SymbolSymbol of scala.internal.CompileTime.patternType
Symbol of scala.internal.CompileTime.patternType
Definitions_NonEmptyTupleType
: TypeThe type for scala.NonEmptyTuple.
The type for scala.NonEmptyTuple.
Definitions_RepeatedAnnot
: SymbolThe class symbol of class scala.annotation.internal.Repeated
The class symbol of class scala.annotation.internal.Repeated
Definitions_RepeatedParamClass
: SymbolA 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.
Definitions_ShortType
: TypeThe type of primitive type Short.
The type of primitive type Short.
DivergingImplicit_TypeTest
( implicit ctx: Context ) : TypeTest[ImplicitSearchResult,DivergingImplicit]Flags_and
( self: Flags ) ( that: Flags ) : FlagsIntersection of the two flag sets
Intersection of the two flag sets
Flags_is
( self: Flags ) ( that: Flags ) : BooleanIs the given flag set a subset of this flag sets
Is the given flag set a subset of this flag sets
Flags_or
( self: Flags ) ( that: Flags ) : FlagsUnion of the two flag sets
Union of the two flag sets
GivenMatch_copy
( original: Tree ) ( cases: List[CaseDef] ) ( implicit ctx: Context ) : GivenMatchId_name
( self: Id ) ( implicit ctx: Context ) : StringName of the identifier
Name of the identifier
Id_pos
( self: Id ) ( implicit ctx: Context ) : PositionPosition in the source code
Position in the source code
If_copy
( original: Tree ) ( cond: Term , thenp: Term , elsep: Term ) ( implicit ctx: Context ) : IfImplicitSearchFailure_TypeTest
( implicit ctx: Context ) : TypeTest[ImplicitSearchResult,ImplicitSearchFailure]ImplicitSearchFailure_explanation
( self: ImplicitSearchFailure ) ( implicit ctx: Context ) : StringImplicitSearchSuccess_TypeTest
( implicit ctx: Context ) : TypeTest[ImplicitSearchResult,ImplicitSearchSuccess]Import_apply
( iexpr: Term , selectors: List[ImportSelector] ) ( implicit ctx: Context ) : ImportImport_copy
( original: Tree ) ( expr: Term , selectors: List[ImportSelector] ) ( implicit ctx: Context ) : ImportInlined_apply
( call: Option[Tree] , bindings: List[Definition] , expansion: Term ) ( implicit ctx: Context ) : InlinedInlined_copy
( original: Tree ) ( call: Option[Tree] , bindings: List[Definition] , expansion: Term ) ( implicit ctx: Context ) : InlinedLambdacopy
( original: Tree ) ( tparams: List[TypeDef] , body: Tree ) ( implicit ctx: Context ) : LambdaTypeTreeMatchTypeTree_apply
( bound: Option[TypeTree] , selector: TypeTree , cases: List[TypeCaseDef] ) ( implicit ctx: Context ) : MatchTypeTreeMatchTypeTree_copy
( original: Tree ) ( bound: Option[TypeTree] , selector: TypeTree , cases: List[TypeCaseDef] ) ( implicit ctx: Context ) : MatchTypeTreeMatchType_apply
( bound: Type , scrutinee: Type , cases: List[Type] ) ( implicit ctx: Context ) : MatchTypeMatch_copy
( original: Tree ) ( selector: Term , cases: List[CaseDef] ) ( implicit ctx: Context ) : MatchMethodType_apply
( paramNames: List[String] ) ( paramInfosExp: MethodType => List[Type] , resultTypeExp: MethodType => Type ) : MethodTypeNamedArg_copy
( original: Tree ) ( name: String , arg: Term ) ( implicit ctx: Context ) : NamedArgNoMatchingImplicits_TypeTest
( implicit ctx: Context ) : TypeTest[ImplicitSearchResult,NoMatchingImplicits]PackageClause_copy
( original: Tree ) ( pid: Ref , stats: List[Tree] ) ( implicit ctx: Context ) : PackageClausePolyType_apply
( paramNames: List[String] ) ( paramBoundsExp: PolyType => List[TypeBounds] , resultTypeExp: PolyType => Type ) ( implicit ctx: Context ) : PolyTypePosition_end
( self: Position ) : IntThe end offset in the source file
The end offset in the source file
Position_endColumn
( self: Position ) : IntThe end column in the source file
The end column in the source file
Position_endLine
( self: Position ) : IntThe end line in the source file
The end line in the source file
Position_sourceCode
( self: Position ) : StringSource code within the position
Source code within the position
Position_sourceFile
( self: Position ) : SourceFileSource file in which this position is located
Source file in which this position is located
Position_start
( self: Position ) : IntThe start offset in the source file
The start offset in the source file
Position_startColumn
( self: Position ) : IntThe start column in the source file
The start column in the source file
Position_startLine
( self: Position ) : IntThe start line in the source file
The start line in the source file
Projection_copy
( original: Tree ) ( qualifier: TypeTree , name: String ) ( implicit ctx: Context ) : ProjectionRecursiveType_apply
( parentExp: RecursiveType => Type ) ( implicit ctx: Context ) : RecursiveTypeCreate a RecType, normalizing its contents. This means:
- Nested Rec types on the type's spine are merged with the outer one.
- Any refinement of the form
type T = z.Ton the spine of the type wherezrefers to the created rec-type is replaced bytype T. This avoids infinite recursions later when we try to follow these references.
Create a RecType, normalizing its contents. This means:
- Nested Rec types on the type's spine are merged with the outer one.
- Any refinement of the form
type T = z.Ton the spine of the type wherezrefers to the created rec-type is replaced bytype T. This avoids infinite recursions later when we try to follow these references.
RecursiveType_underlying
( self: RecursiveType ) ( implicit ctx: Context ) : TypeRef_term
( tp: TermRef ) ( implicit ctx: Context ) : RefA tree representing the same reference as the given type
A tree representing the same reference as the given type
Refined_copy
( original: Tree ) ( tpt: TypeTree , refinements: List[Definition] ) ( implicit ctx: Context ) : RefinedRefinement_apply
( parent: Type , name: String , info: TypeOrBounds ) ( implicit ctx: Context ) : RefinementRepeated_copy
( original: Tree ) ( elems: List[Term] , elemtpt: TypeTree ) ( implicit ctx: Context ) : RepeatedSelectOuter_apply
( qualifier: Term , name: String , levels: Int ) ( implicit ctx: Context ) : SelectOuterSelectOuter_copy
( original: Tree ) ( qualifier: Term , name: String , levels: Int ) ( implicit ctx: Context ) : SelectOuterSelect_copy
( original: Tree ) ( qualifier: Term , name: String ) ( implicit ctx: Context ) : SelectSelect_overloaded
( qualifier: Term , name: String , targs: List[Type] , args: List[Term] ) ( implicit ctx: Context ) : ApplySourceFile_content
( self: SourceFile ) : StringContent of a source file
Content of a source file
Source_compilationUnitClassname
( implicit ctx: Context ) : StringClass name of the current CompilationUnit
Class name of the current CompilationUnit
Source_isAlreadyLoadedCompilationUnit
( implicit ctx: Context ) : BooleanReturns true if we've tried to reflect on a class that's already loaded (e.g. Option).
Returns true if we've tried to reflect on a class that's already loaded (e.g. Option).
Source_isJavaCompilationUnit
( implicit ctx: Context ) : BooleanReturns true if we've tried to reflect on a Java class.
Returns true if we've tried to reflect on a Java class.
Source_isScala2CompilationUnit
( implicit ctx: Context ) : BooleanReturns true if we've tried to reflect on a Scala2 (non-Tasty) class.
Returns true if we've tried to reflect on a Scala2 (non-Tasty) class.
Source_path
( implicit ctx: Context ) : PathReturns the source file being compiled. The path is relative to the current working directory.
Returns the source file being compiled. The path is relative to the current working directory.
Super_copy
( original: Tree ) ( qual: Term , mix: Option[Id] ) ( implicit ctx: Context ) : SuperSymbol_annots
( self: Symbol ) ( implicit ctx: Context ) : List[Term]Annotations attached to this symbol
Annotations attached to this symbol
Symbol_caseFields
( self: Symbol ) ( implicit ctx: Context ) : List[Symbol]Fields of a case class type -- only the ones declared in primary constructor
Fields of a case class type -- only the ones declared in primary constructor
Symbol_children
( self: Symbol ) ( implicit ctx: Context ) : List[Symbol]Case class or case object children of a sealed trait
Case class or case object children of a sealed trait
Symbol_classMethod
( self: Symbol ) ( name: String ) ( implicit ctx: Context ) : List[Symbol]Get non-private named methods defined directly inside the class
Get non-private named methods defined directly inside the class
Symbol_classMethods
( self: Symbol ) ( implicit ctx: Context ) : List[Symbol]Get all non-private methods defined directly inside the class, excluding constructors
Get all non-private methods defined directly inside the class, excluding constructors
Symbol_comment
( self: Symbol ) ( implicit ctx: Context ) : Option[Comment]The comment of the symbol
Symbol_companionClass
( self: Symbol ) ( implicit ctx: Context ) : SymbolThe symbol of the companion class
The symbol of the companion class
Symbol_companionModule
( self: Symbol ) ( implicit ctx: Context ) : SymbolThe symbol of the companion module
The symbol of the companion module
Symbol_currentOwner
( implicit ctx: Context ) : SymbolReturns the symbol of the enclosing definition of the given context
Returns the symbol of the enclosing definition of the given context
Symbol_field
( self: Symbol ) ( name: String ) ( implicit ctx: Context ) : SymbolField with the given name directly declared in the class
Field with the given name directly declared in the class
Symbol_fields
( self: Symbol ) ( implicit ctx: Context ) : List[Symbol]Fields directly declared in the class
Fields directly declared in the class
Symbol_flags
( self: Symbol ) ( implicit ctx: Context ) : FlagsFlags of this symbol
Flags of this symbol
Symbol_fullName
( self: Symbol ) ( implicit ctx: Context ) : StringThe full name of this symbol up to the root package.
The full name of this symbol up to the root package.
Symbol_isBind
( symbol: Symbol ) ( implicit ctx: Context ) : BooleanIs this the definition of a Bind pattern?
Is this the definition of a Bind pattern?
Symbol_isClassDef
( symbol: Symbol ) ( implicit ctx: Context ) : BooleanIs this the definition of a ClassDef tree?
Is this the definition of a ClassDef tree?
Symbol_isDefDef
( symbol: Symbol ) ( implicit ctx: Context ) : BooleanIs this the definition of a DefDef tree?
Is this the definition of a DefDef tree?
Symbol_isTerm
( symbol: Symbol ) ( implicit ctx: Context ) : BooleanIs this the definition of a term?
Is this the definition of a term?
Symbol_isType
( symbol: Symbol ) ( implicit ctx: Context ) : BooleanIs this the definition of a type?
Is this the definition of a type?
Symbol_isTypeDef
( symbol: Symbol ) ( implicit ctx: Context ) : BooleanIs this the definition of a TypeDef tree?
Is this the definition of a TypeDef tree?
Symbol_isValDef
( symbol: Symbol ) ( implicit ctx: Context ) : BooleanIs this the definition of a ValDef tree?
Is this the definition of a ValDef tree?
Symbol_maybeOwner
( self: Symbol ) ( implicit ctx: Context ) : SymbolOwner of this symbol. The owner is the symbol in which this symbol is defined. Returns NoSymbol if this symbol does not have an owner.
Owner of this symbol. The owner is the symbol in which this symbol is defined. Returns NoSymbol if this symbol does not have an owner.
Symbol_method
( self: Symbol ) ( name: String ) ( implicit ctx: Context ) : List[Symbol]Get named non-private methods declared or inherited
Get named non-private methods declared or inherited
Symbol_methods
( self: Symbol ) ( implicit ctx: Context ) : List[Symbol]Get all non-private methods declared or inherited
Get all non-private methods declared or inherited
Symbol_moduleClass
( self: Symbol ) ( implicit ctx: Context ) : SymbolThe class symbol of the companion module class
The class symbol of the companion module class
Symbol_name
( self: Symbol ) ( implicit ctx: Context ) : StringThe name of this symbol.
The name of this symbol.
Symbol_newBind
( parent: Symbol , name: String , flags: Flags , tpe: Type ) ( implicit ctx: Context ) : SymbolSymbol_newMethod
( parent: Symbol , name: String , flags: Flags , tpe: Type , privateWithin: Symbol ) ( implicit ctx: Context ) : SymbolSymbol_newVal
( parent: Symbol , name: String , flags: Flags , tpe: Type , privateWithin: Symbol ) ( implicit ctx: Context ) : SymbolSymbol_owner
( self: Symbol ) ( implicit ctx: Context ) : SymbolOwner of this symbol. The owner is the symbol in which this symbol is defined. Throws if this symbol does not have an owner.
Owner of this symbol. The owner is the symbol in which this symbol is defined. Throws if this symbol does not have an owner.
Symbol_paramSymss
( self: Symbol ) ( implicit ctx: Context ) : List[List[Symbol]]The symbols of each type parameter list and value parameter list of this method, or Nil if this isn't a method.
The symbols of each type parameter list and value parameter list of this method, or Nil if this isn't a method.
Symbol_pos
( self: Symbol ) ( implicit ctx: Context ) : PositionThe position of this symbol
The position of this symbol
Symbol_primaryConstructor
( self: Symbol ) ( implicit x$2: Context ) : SymbolThe primary constructor of a class or trait, noSymbol if not applicable.
The primary constructor of a class or trait, noSymbol if not applicable.
Symbol_privateWithin
( self: Symbol ) ( implicit ctx: Context ) : Option[Type]This symbol is private within the resulting type.
This symbol is private within the resulting type.
Symbol_protectedWithin
( self: Symbol ) ( implicit ctx: Context ) : Option[Type]This symbol is protected within the resulting type.
This symbol is protected within the resulting type.
Symbol_requiredClass
( path: String ) ( implicit ctx: Context ) : SymbolGet class symbol if class is either defined in current compilation run or present on classpath.
Get class symbol if class is either defined in current compilation run or present on classpath.
Symbol_requiredMethod
( path: String ) ( implicit ctx: Context ) : SymbolGet method symbol if method is either defined in current compilation run or present on classpath. Throws if the method has an overload.
Get method symbol if method is either defined in current compilation run or present on classpath. Throws if the method has an overload.
Symbol_requiredModule
( path: String ) ( implicit ctx: Context ) : SymbolGet module symbol if module is either defined in current compilation run or present on classpath.
Get module symbol if module is either defined in current compilation run or present on classpath.
Symbol_requiredPackage
( path: String ) ( implicit ctx: Context ) : SymbolGet package symbol if package is either defined in current compilation run or present on classpath.
Get package symbol if package is either defined in current compilation run or present on classpath.
Symbol_signature
( self: Symbol ) ( implicit ctx: Context ) : SignatureSignature of this definition
Signature of this definition
Symbol_typeMember
( self: Symbol ) ( name: String ) ( implicit ctx: Context ) : SymbolType member with the given name directly declared in the class
Type member with the given name directly declared in the class
Symbol_typeMembers
( self: Symbol ) ( implicit ctx: Context ) : List[Symbol]Type member directly declared in the class
Type member directly declared in the class
Tree_Alternatives_module_apply
( patterns: List[Tree] ) ( implicit ctx: Context ) : AlternativesTree_Alternatives_module_copy
( original: Tree ) ( patterns: List[Tree] ) ( implicit ctx: Context ) : AlternativesTree_Bind_module_copy
( original: Tree ) ( name: String , pattern: Tree ) ( implicit ctx: Context ) : BindTree_Unapply_module_copy
( original: Tree ) ( fun: Term , implicits: List[Term] , patterns: List[Tree] ) ( implicit ctx: Context ) : UnapplyTry_apply
( expr: Term , cases: List[CaseDef] , finalizer: Option[Term] ) ( implicit ctx: Context ) : TryTry_copy
( original: Tree ) ( expr: Term , cases: List[CaseDef] , finalizer: Option[Term] ) ( implicit ctx: Context ) : TryTypeApply_copy
( original: Tree ) ( fun: Term , args: List[TypeTree] ) ( implicit ctx: Context ) : TypeApplyTypeBind_copy
( original: Tree ) ( name: String , tpt: Tree ) ( implicit ctx: Context ) : TypeBindTypeBlock_apply
( aliases: List[TypeDef] , tpt: TypeTree ) ( implicit ctx: Context ) : TypeBlockTypeBlock_copy
( original: Tree ) ( aliases: List[TypeDef] , tpt: TypeTree ) ( implicit ctx: Context ) : TypeBlockTypeCaseDef_module_apply
( pattern: TypeTree , body: TypeTree ) ( implicit ctx: Context ) : TypeCaseDefTypeCaseDef_module_copy
( original: Tree ) ( pattern: TypeTree , body: TypeTree ) ( implicit ctx: Context ) : TypeCaseDefTypeDef_copy
( original: Tree ) ( name: String , rhs: Tree ) ( implicit ctx: Context ) : TypeDefTypeLambda_apply
( paramNames: List[String] , boundsFn: TypeLambda => List[TypeBounds] , bodyFn: TypeLambda => Type ) : TypeLambdaTypeSelect_copy
( original: Tree ) ( qualifier: Term , name: String ) ( implicit ctx: Context ) : TypeSelectType_baseClasses
( self: Type ) ( implicit ctx: Context ) : List[Symbol]The base classes of this type with the class itself as first element.
The base classes of this type with the class itself as first element.
Type_baseType
( self: Type ) ( cls: Symbol ) ( implicit ctx: Context ) : TypeThe least type instance of given class which is a super-type of this type. Example: {{{ class D[T] class C extends p.D[Int] ThisType(C).baseType(D) = p.D[Int] }}...
The least type instance of given class which is a super-type of this type. Example: {{{ class D[T] class C extends p.D[Int] ThisType(C).baseType(D) = p.D[Int] }}}
Type_dealias
( self: Type ) ( implicit ctx: Context ) : TypeFollow aliases and dereferences LazyRefs, annotated types and instantiated TypeVars until type is no longer alias type, annotated type, LazyRef, or inst...
Follow aliases and dereferences LazyRefs, annotated types and instantiated TypeVars until type is no longer alias type, annotated type, LazyRef, or instantiated type variable.
Type_derivesFrom
( self: Type ) ( cls: Symbol ) ( implicit ctx: Context ) : BooleanIs this type an instance of a non-bottom subclass of the given class cls?
Is this type an instance of a non-bottom subclass of the given class cls?
Type_isContextFunctionType
( self: Type ) ( implicit ctx: Context ) : BooleanIs this type an context function type?
Is this type an context function type?
Type_isDependentFunctionType
( self: Type ) ( implicit ctx: Context ) : BooleanIs this type a dependent function type?
Is this type a dependent function type?
Type_isErasedFunctionType
( self: Type ) ( implicit ctx: Context ) : BooleanIs this type an erased function type?
Is this type an erased function type?
Type_isFunctionType
( self: Type ) ( implicit ctx: Context ) : BooleanIs this type a function type?
Is this type a function type?
Type_isSubType
( self: Type ) ( that: Type ) ( implicit ctx: Context ) : BooleanIs this type a subtype of that type?
Is this type a subtype of that type?
Type_isTypeEq
( self: Type ) ( that: Type ) ( implicit ctx: Context ) : BooleanIs self type the same as that type?
This is the case iff Type_isSubType(self, that) and Type_isSubType(that, self).
Is self type the same as that type?
This is the case iff Type_isSubType(self, that) and Type_isSubType(that, self).
Type_select
( self: Type ) ( sym: Symbol ) ( implicit ctx: Context ) : TypeThe type <this . sym>, reduced if possible
The type <this . sym>, reduced if possible
Type_widen
( self: Type ) ( implicit ctx: Context ) : TypeWiden from singleton type to its underlying non-singleton
base type by applying one or more underlying dereferences,
Also go from => T to T.
Identity for...
Widen from singleton type to its underlying non-singleton
base type by applying one or more underlying dereferences,
Also go from => T to T.
Identity for all other types. Example:
class Outer { class C ; val x: C } def o: Outer <o.x.type>.widen = o.C
Type_widenTermRefExpr
( self: Type ) ( implicit ctx: Context ) : TypeWiden from TermRef to its underlying non-termref base type, while also skipping Expr types.
Widen from TermRef to its underlying non-termref base type, while also skipping Expr types.
ValDef_copy
( original: Tree ) ( name: String , tpt: TypeTree , rhs: Option[Term] ) ( implicit ctx: Context ) : ValDefbetaReduce
( tree: Term ) ( implicit x$2: Context ) : Option[Term]Returns Some with a beta-reduced application or None
Returns Some with a beta-reduced application or None
compilerId
: Interror
( msg: => String , pos: Position ) ( implicit ctx: Context ) : UnitReport a compilation error with the given message at the given position
Report a compilation error with the given message at the given position
error
( msg: => String , source: SourceFile , start: Int , end: Int ) ( implicit ctx: Context ) : UnitReport a compilation error with the given message at the given position range
Report a compilation error with the given message at the given position range
lambdaExtractor
( term: Term , paramTypes: List[Type] ) ( implicit ctx: Context ) : Option[List[Term] => Term]matchConstant
( constant: Constant ) : Option[Unit | Null | Int | Boolean | Byte | Short | Int | Long | Float | Double | Char | String | Type]rootPosition
: PositionRoot position of this tasty context. For macros it corresponds to the expansion site.
Root position of this tasty context. For macros it corresponds to the expansion site.
searchImplicit
( tpe: Type ) ( implicit ctx: Context ) : ImplicitSearchResultFind an implicit of type T in the current scope given by ctx.
Return an ImplicitSearchResult.
Find an implicit of type T in the current scope given by ctx.
Return an ImplicitSearchResult.
unpickleExpr
( repr: PickledQuote , args: PickledArgs ) : TermUnpickle repr which represents a pickled Expr tree,
replacing splice nodes with args
Unpickle repr which represents a pickled Expr tree,
replacing splice nodes with args
unpickleType
( repr: PickledQuote , args: PickledArgs ) : TypeTreeUnpickle repr which represents a pickled Type tree,
replacing splice nodes with args
Unpickle repr which represents a pickled Type tree,
replacing splice nodes with args
warning
( msg: => String , pos: Position ) ( implicit ctx: Context ) : UnitReport a compilation warning with the given message at the given position
Report a compilation warning with the given message at the given position
warning
( msg: => String , source: SourceFile , start: Int , end: Int ) ( implicit ctx: Context ) : UnitReport a compilation warning with the given message at the given position range
Report a compilation warning with the given message at the given position range
The comment of the symbol