ScalahostAnalyzer

Type Members

abstract class AbsAmbiguousTypeError extends Analyzer.AbsTypeError

Definition Classes
ContextErrors
sealed abstract class AbsTypeError extends Throwable

Definition Classes
ContextErrors
case class AccessTypeError extends Analyzer.TreeTypeError with Product with Serializable

Definition Classes
ContextErrors
trait Adaptation extends AnyRef

Definition Classes
Adaptations
case class AmbiguousImplicitTypeError extends Analyzer.AbsAmbiguousTypeError with Product with Serializable

Definition Classes
ContextErrors
case class AmbiguousTypeError extends Analyzer.AbsAmbiguousTypeError with Product with Serializable

Definition Classes
ContextErrors
trait AnalyzerPlugin extends AnyRef

Definition Classes
AnalyzerPlugins
trait Attachable[-T] extends AnyRef

Definition Classes
ReflectionToolkit
class ClassForCaseCompanionAttachment extends AnyRef

Definition Classes
Unapplies
class ClassMethodSynthesis extends AnyRef

Definition Classes
MethodSynthesis
class CompilationUnitCache extends AnyRef

Definition Classes
ReflectionToolkit
class ConstructorDefaultsAttachment extends AnyRef

Definition Classes
NamesDefaults
class Context extends AnyRef

Definition Classes
Contexts
abstract class ContextReporter extends Reporter

Definition Classes
Contexts
class DefMacroExpander extends Analyzer.MacroExpander

Definition Classes
Macros
class DefaultsOfLocalMethodAttachment extends AnyRef

Definition Classes
NamesDefaults
case class Delayed extends Analyzer.MacroStatus with Product with Serializable

Definition Classes
Macros
case class DivergentImplicitTypeError extends Analyzer.TreeTypeError with Product with Serializable

Definition Classes
ContextErrors
case class Failure extends Analyzer.MacroStatus with Product with Serializable

Definition Classes
Macros
case class Fallback extends Analyzer.MacroStatus with Product with Serializable

Definition Classes
Macros
class ImplicitInfo extends AnyRef

Definition Classes
Implicits
class ImplicitSearch extends Analyzer.Typer with Analyzer.ImplicitsContextErrors

Definition Classes
Implicits
trait ImplicitsContextErrors extends AnyRef

Definition Classes
ContextErrors
trait ImportContext extends Analyzer.Context

Definition Classes
Contexts
class ImportInfo extends AnyRef

Definition Classes
Contexts
type ImportType = Global.ImportType

Definition Classes
Contexts
trait InferCheckable extends AnyRef

Definition Classes
Checkable
abstract class Inferencer extends Analyzer.InferencerContextErrors with Analyzer.InferCheckable

Definition Classes
Infer
trait InferencerContextErrors extends AnyRef

Definition Classes
ContextErrors
trait JavaReflectionResolvers extends AnyRef

Definition Classes
JavaReflectionRuntimes
trait LockingTypeCompleter extends Analyzer.TypeCompleter

Definition Classes
Namers
case class MacroArgs extends Product with Serializable

Definition Classes
Macros
type MacroContext = UnaffiliatedMacroContext { val universe: ScalahostAnalyzer.this.global.type }

Definition Classes
StdAttachments
abstract class MacroExpander extends AnyRef

Definition Classes
Macros
case class MacroExpanderAttachment extends Product with Serializable

Definition Classes
StdAttachments
case class MacroExpansionAttachment extends Product with Serializable

Definition Classes
StdAttachments
case class MacroImplBinding extends Product with Serializable

Definition Classes
Macros
trait MacroPlugin extends AnyRef

Definition Classes
AnalyzerPlugins
type MacroRuntime = (MacroArgs) ⇒ Any

Definition Classes
MacroRuntimes
case class MacroRuntimeAttachment extends Product with Serializable

Definition Classes
StdAttachments
class MacroRuntimeResolver extends Analyzer.JavaReflectionResolvers

Definition Classes
MacroRuntimes
sealed abstract class MacroStatus extends AnyRef

Definition Classes
Macros
class Metadata[T] extends AnyRef

Definition Classes
ReflectionToolkit
trait MethodSynth extends AnyRef

Definition Classes
MethodSynthesis
case class NamedApplyInfo extends Product with Serializable

Definition Classes
NamesDefaults
abstract class Namer extends Analyzer.MethodSynth with Analyzer.NamerContextErrors

Definition Classes
Namers
trait NamerContextErrors extends AnyRef

Definition Classes
ContextErrors
class NoInstance extends Throwable with ControlThrowable

Definition Classes
Infer
case class NormalTypeError extends Analyzer.TreeTypeError with Product with Serializable

Definition Classes
ContextErrors
class NormalTypeErrorFromCyclicReference extends Analyzer.NormalTypeError

Definition Classes
ContextErrors
case class OpenImplicit extends Product with Serializable

Definition Classes
Implicits
trait PatternTyper extends AnyRef

Definition Classes
PatternTypers
class PolyTypeCompleter extends Analyzer.TypeCompleter with Analyzer.LockingTypeCompleter with Global.FlagAgnosticCompleter

Definition Classes
Namers
case class PosAndMsgTypeError extends Analyzer.AbsTypeError with Product with Serializable

Definition Classes
ContextErrors
class ScalahostNamer extends Namer
class ScalahostTyper extends Typer
class SearchResult extends AnyRef

Definition Classes
Implicits
sealed abstract class SilentResult[+T] extends AnyRef

Definition Classes
Typers
case class SilentResultValue[+T] extends Analyzer.SilentResult[T] with Product with Serializable

Definition Classes
Typers
class SilentTypeError extends Analyzer.SilentResult[Nothing]

Definition Classes
Typers
case class Skipped extends Analyzer.MacroStatus with Product with Serializable

Definition Classes
Macros
case class Success extends Analyzer.MacroStatus with Product with Serializable

Definition Classes
Macros
case class SuperArgsAttachment extends Product with Serializable

Definition Classes
StdAttachments
case class SymbolTypeError extends Analyzer.AbsTypeError with Product with Serializable

Definition Classes
ContextErrors
trait Tag extends AnyRef

Definition Classes
Tags
sealed abstract class TreeTypeError extends Analyzer.AbsTypeError

Definition Classes
ContextErrors
abstract class TypeCompleter extends Global.LazyType

Definition Classes
Namers
case class TypeDiag extends Ordered[Analyzer.TypeDiag] with Product with Serializable

Definition Classes
TypeDiagnostics
case class TypeErrorWithUnderlyingTree extends Analyzer.AbsTypeError with Product with Serializable

Definition Classes
ContextErrors
case class TypeErrorWrapper extends Analyzer.AbsTypeError with Product with Serializable

Definition Classes
ContextErrors
abstract class Typer extends Analyzer.TyperDiagnostics with Analyzer.Adaptation with Analyzer.Tag with Analyzer.PatternTyper with Analyzer.TyperContextErrors

Definition Classes
Typers
trait TyperContextErrors extends AnyRef

Definition Classes
ContextErrors
trait TyperDiagnostics extends AnyRef

Definition Classes
TypeDiagnostics
type UnaffiliatedMacroContext = reflect.macros.contexts.Context

Definition Classes
StdAttachments
implicit class XtensionAttachable[T] extends AnyRef

Definition Classes
ReflectionToolkit
implicit class XtensionCompilationUnitCache extends AnyRef

Definition Classes
ReflectionToolkit
implicit class XtensionDesugarings[T] extends AnyRef

Definition Classes
ReflectionToolkit
implicit class XtensionMetadataAttachable[T] extends AnyRef

Definition Classes
ReflectionToolkit

Abstract Value Members

abstract val global: Global

Definition Classes
ReflectionToolkit

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to any2stringadd[ScalahostAnalyzer] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (ScalahostAnalyzer, B)

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to ArrowAssoc[ScalahostAnalyzer] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
lazy val AmbiguousSearchFailure: SearchResult

Definition Classes
Implicits
object AnnotatedOf

Definition Classes
ReflectionToolkit
object Attachable

Definition Classes
ReflectionToolkit
object ClassOf

Definition Classes
ReflectionToolkit
object CompoundTypeTreeOf

Definition Classes
ReflectionToolkit
object ConstfoldOf

Definition Classes
ReflectionToolkit
def Delay(expanded: Global.Tree): Delayed

Definition Classes
Macros
lazy val DivergentSearchFailure: SearchResult

Definition Classes
Implicits
object ExistentialTypeTreeOf

Definition Classes
ReflectionToolkit
val ImportType: Global.ImportType.type

Definition Classes
Contexts
def MacroCantExpand210xMacrosError(internalMessage: String): Nothing

Definition Classes
ContextErrors
def MacroCantExpandIncompatibleMacrosError(internalMessage: String): Nothing

Definition Classes
ContextErrors
object NewArrayOf

Definition Classes
ReflectionToolkit
def NoImplicitFoundError(tree: Global.Tree, param: Global.Symbol)(implicit context: Context): Unit

Definition Classes
ContextErrors
val NoImplicitInfo: ImplicitInfo

Definition Classes
Implicits
lazy val SearchFailure: SearchResult

Definition Classes
Implicits
object SelectOf

Definition Classes
ReflectionToolkit
object SelfTypeOf

Definition Classes
ReflectionToolkit
object SilentTypeError

Definition Classes
Typers
object SingletonTypeTreeOf

Definition Classes
ReflectionToolkit
def Skip(expanded: Global.Tree): Skipped

Definition Classes
Macros
var _lockedCount: Int

Definition Classes
Namers
var _openMacros: collection.immutable.List[reflect.macros.contexts.Context { val universe: ScalahostAnalyzer.this.global.type }]

Definition Classes
Macros
def abstractVarMessage(sym: Global.Symbol): String

Definition Classes
TypeDiagnostics
def adaptAnnotations(tree: Global.Tree, typer: Typer, mode: Mode, pt: Global.Type): Global.Tree

Definition Classes
AnalyzerPlugins
def addAnalyzerPlugin(plugin: AnalyzerPlugin): Unit

Definition Classes
AnalyzerPlugins
def addDefaults(givenArgs: List[Global.Tree], qual: Option[Global.Tree], targs: List[Global.Tree], previousArgss: List[List[Global.Tree]], params: List[Global.Symbol], pos: Position, context: Context): (List[Global.Tree], List[Global.Symbol])

Definition Classes
NamesDefaults
def addMacroPlugin(plugin: MacroPlugin): Unit

Definition Classes
AnalyzerPlugins
def addSyntheticMethods(templ: Global.Template, clazz0: Global.Symbol, context: Context): Global.Template

Definition Classes
SyntheticMethods
def allArgsArePositional(a: Array[Int]): Boolean

Definition Classes
NamesDefaults
def allViewsFrom(tp: Global.Type, context: Context, tpars: List[Global.Symbol]): List[(SearchResult, List[Global.TypeConstraint])]

Definition Classes
Implicits
def alternatives(tree: Global.Tree): List[Global.Type]

Definition Classes
TypeDiagnostics
def alternativesString(tree: Global.Tree): String

Definition Classes
TypeDiagnostics
def ambiguousDefnAndImport(owner: Global.Symbol, imp: ImportInfo): Global.LookupAmbiguous

Definition Classes
Contexts
def ambiguousImports(imp1: ImportInfo, imp2: ImportInfo): Global.LookupAmbiguous

Definition Classes
Contexts
final def asInstanceOf[T0]: T0

Definition Classes
Any
def bindMacroImpl(macroDef: Global.Symbol, macroImplRef: Global.Tree): Unit

Definition Classes
Macros
def canAdaptAnnotations(tree: Global.Tree, typer: Typer, mode: Mode, pt: Global.Type): Boolean

Definition Classes
AnalyzerPlugins
final def caseAccessorName(caseclazz: Global.Symbol, paramName: Global.TermName): Global.TermName

Definition Classes
SyntheticMethods
def caseClassCopyMeth(cdef: Global.ClassDef): Option[Global.DefDef]

Definition Classes
Unapplies
def caseModuleApplyMeth(cdef: Global.ClassDef): Global.DefDef

Definition Classes
Unapplies
def caseModuleDef(cdef: Global.ClassDef): Global.ModuleDef

Definition Classes
Unapplies
def caseModuleUnapplyMeth(cdef: Global.ClassDef): Global.DefDef

Definition Classes
Unapplies
final def clearRenamedCaseAccessors(caseclazz: Global.Symbol): Unit

Definition Classes
SyntheticMethods
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def companionModuleDef(cdef: Global.ClassDef, parents: List[Global.Tree], body: List[Global.Tree]): Global.ModuleDef

Definition Classes
Unapplies
def companionSymbolOf(original: Global.Symbol, ctx: Context): Global.Symbol

Definition Classes
Namers
def computeMacroDefTypeFromMacroImplRef(macroDdef: Global.DefDef, macroImplRef: Global.Tree): Global.Type

Definition Classes
Macros
def decodeWithKind(name: Global.Name, owner: Global.Symbol): String

Definition Classes
TypeDiagnostics
def decreaseMetalevel(tp: Global.Type): Global.Type

Definition Classes
Helpers
def defaultGetter(param: Global.Symbol, context: Context): Global.Symbol

Definition Classes
NamesDefaults
lazy val defaultMacroClassloader: ClassLoader

Definition Classes
MacroRuntimes
def deriveAnnotations(initial: List[Global.AnnotationInfo], category: Global.Symbol, keepClean: Boolean): List[Global.AnnotationInfo]

Definition Classes
MethodSynthesis
def directUnapplyMember(tp: Global.Type): Global.Symbol

Definition Classes
Unapplies
def disambiguate(ss: List[String]): collection.immutable.List[String]

Definition Classes
TypeDiagnostics
def enclosingMacroPosition: Position

Definition Classes
Macros
def ensuring(cond: (ScalahostAnalyzer) ⇒ Boolean, msg: ⇒ Any): ScalahostAnalyzer

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to Ensuring[ScalahostAnalyzer] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (ScalahostAnalyzer) ⇒ Boolean): ScalahostAnalyzer

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to Ensuring[ScalahostAnalyzer] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): ScalahostAnalyzer

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to Ensuring[ScalahostAnalyzer] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): ScalahostAnalyzer

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to Ensuring[ScalahostAnalyzer] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def etaExpand(unit: Global.CompilationUnit, tree: Global.Tree, typer: Typer): Global.Tree

Definition Classes
EtaExpansion
final def exampleTuplePattern(names: List[Global.Name]): String

Definition Classes
TypeDiagnostics
def existentialContext(tp: Global.Type): String

Definition Classes
TypeDiagnostics
def explainAlias(tp: Global.Type): String

Definition Classes
TypeDiagnostics
def explainAnyVsAnyRef(found: Global.Type, req: Global.Type): String

Definition Classes
TypeDiagnostics
def explainVariance(found: Global.Type, req: Global.Type): String

Definition Classes
TypeDiagnostics
def factoryMeth(mods: Global.Modifiers, name: Global.TermName, cdef: Global.ClassDef): Global.DefDef

Definition Classes
Unapplies
final def falseIfNoInstance(body: ⇒ Boolean): Boolean

Definition Classes
Infer
Annotations
@inline()
lazy val fastTrack: FastTrack[ScalahostAnalyzer.this.type]

Definition Classes
Macros
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def findMacroClassLoader(): ClassLoader

Attributes
protected
Definition Classes
Macros
final def forArgMode(fun: Global.Tree, mode: Mode): reflect.internal.Mode

Definition Classes
Typers
def formalTypes(formals: List[Global.Type], numArgs: Int, removeByName: Boolean, removeRepeated: Boolean): List[Global.Type]

Definition Classes
Infer
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to StringFormat[ScalahostAnalyzer] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
def foundReqMsg(found: Global.Type, req: Global.Type): String

Definition Classes
TypeDiagnostics
def freshVar(tparam: Global.Symbol): Global.TypeVar

Definition Classes
Infer
def fullSiteString(context: Context): String

Definition Classes
TypersTracking
lazy val g: global.type

Definition Classes
ReflectionToolkit
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def globalSettings: Settings

Definition Classes
Macros → Traces
def hasMacroExpansionAttachment(any: Any): Boolean

Definition Classes
StdAttachments
var hasPendingMacroExpansions: Boolean

Definition Classes
Macros
def hasSuperArgs(tree: Global.Tree): Boolean

Definition Classes
StdAttachments
def hashCode(): Int

Definition Classes
AnyRef → Any
def increaseMetalevel(pre: Global.Type, tp: Global.Type): Global.Type

Definition Classes
Helpers
def inferImplicit(tree: Global.Tree, pt: Global.Type, isView: Boolean, context: Context, silent: Boolean, withMacrosDisabled: Boolean, pos: Global.Position, onError: (Global.Position, String) ⇒ Unit): Global.Tree

Definition Classes
Implicits
def inferImplicit(tree: Global.Tree, pt: Global.Type, reportAmbiguous: Boolean, isView: Boolean, context: Context, saveAmbiguousDivergent: Boolean, pos: Global.Position): SearchResult

Definition Classes
Implicits
def inferImplicit(tree: Global.Tree, pt: Global.Type, reportAmbiguous: Boolean, isView: Boolean, context: Context, saveAmbiguousDivergent: Boolean): SearchResult

Definition Classes
Implicits
def inferImplicit(tree: Global.Tree, pt: Global.Type, reportAmbiguous: Boolean, isView: Boolean, context: Context): SearchResult

Definition Classes
Implicits
def isBlackbox(macroDef: Global.Symbol): Boolean

Definition Classes
Macros
def isBlackbox(expandee: Global.Tree): Boolean

Definition Classes
Macros
def isDynamicRewrite(tree: Global.Tree): Boolean

Definition Classes
StdAttachments
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isMacroExpansionSuppressed(tree: Global.Tree): Boolean

Definition Classes
StdAttachments
def isMacroImplRef(tree: Global.Tree): Boolean

Definition Classes
StdAttachments
def isNamedArg(arg: Global.Tree): Boolean

Definition Classes
NamesDefaults
var lastAccessCheckDetails: String

Definition Classes
Contexts
var lastTreeToTyper: Global.Tree

Definition Classes
TypersTracking
def linePrecedes(t1: Global.Tree, t2: Global.Tree): Boolean

Definition Classes
TypeDiagnostics
def linkExpandeeAndDesugared(expandee: Global.Tree, desugared: Global.Tree): Unit

Definition Classes
StdAttachments
def linkExpandeeAndExpanded(expandee: Global.Tree, expanded: Any): Unit

Definition Classes
StdAttachments
final def linkedClassOfClassOf(original: Global.Symbol, ctx: Context): Global.Symbol

Definition Classes
Namers
def loadMacroImplBinding(macroDef: Global.Symbol): Option[MacroImplBinding]

Definition Classes
Macros
def lockedCount: Int

Definition Classes
Namers
def macroArgs(typer: Typer, expandee: Global.Tree): MacroArgs

Definition Classes
Macros
def macroContext(typer: Typer, prefixTree: Global.Tree, expandeeTree: Global.Tree): MacroContext

Definition Classes
Macros
val macroDebugLite: Boolean

Definition Classes
Traces
val macroDebugVerbose: Boolean

Definition Classes
Traces
def macroEngine: String

Definition Classes
Macros
def macroExpand(typer: Typer, expandee: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

Definition Classes
Macros
def macroExpandAll(typer: Typer, expandee: Global.Tree): Global.Tree

Definition Classes
Macros
def macroExpandWithRuntime(typer: Typer, expandee: Global.Tree, runtime: MacroRuntime): MacroStatus

Definition Classes
Macros
def macroExpandWithoutRuntime(typer: Typer, expandee: Global.Tree): MacroStatus

Definition Classes
Macros
def macroExpandee(tree: Global.Tree): Global.Tree

Definition Classes
StdAttachments
def macroExpanderAttachment(tree: Global.Tree): MacroExpanderAttachment

Definition Classes
StdAttachments
final def macroLogLite(msg: ⇒ Any): Unit

Definition Classes
Traces
Annotations
@inline()
final def macroLogVerbose(msg: ⇒ Any): Unit

Definition Classes
Traces
Annotations
@inline()
def macroRuntime(expandee: Global.Tree): MacroRuntime

Definition Classes
MacroRuntimes
def makeNamedTypes(syms: List[Global.Symbol]): collection.immutable.List[Global.NamedType]

Definition Classes
NamesDefaults
def markDynamicRewrite(tree: Global.Tree): Global.Tree

Definition Classes
StdAttachments
def markMacroImplRef(tree: Global.Tree): Global.Tree

Definition Classes
StdAttachments
def memberWildcardType(name: Global.Name, tp: Global.Type): Global.Type

Definition Classes
Implicits
def missingParams[T](args: List[T], params: List[Global.Symbol], argName: (T) ⇒ Option[Global.Name]): (List[Global.Symbol], Boolean)

Definition Classes
NamesDefaults
def mkTypeCompleter(t: Global.Tree)(c: (Global.Symbol) ⇒ Unit): TypeCompleter with LockingTypeCompleter with Global.FlagAgnosticCompleter

Definition Classes
Namers
object namerFactory extends SubComponent

Definition Classes
Analyzer
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def newNamer(context: Context): ScalahostNamer

Definition Classes
ScalahostAnalyzer → Namers
def newTyper(context: Context): ScalahostTyper

Definition Classes
ScalahostAnalyzer → Typers
def noPrintAdapt(tree1: Global.Tree, tree2: Global.Tree): Boolean

Definition Classes
TypersTracking
def noPrintTyping(t: Global.Tree): Boolean

Definition Classes
TypersTracking
def normalize(tp: Global.Type): Global.Type

Definition Classes
Infer
def notAnyRefMessage(found: Global.Type): String

Definition Classes
ContextErrors
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def notifyUndetparamsAdded(newUndets: List[Global.Symbol]): Unit

Definition Classes
Macros
def notifyUndetparamsInferred(undetNoMore: List[Global.Symbol], inferreds: List[Global.Type]): Unit

Definition Classes
Macros
def onTreeCheckerError(pos: Global.Position, msg: String): Unit

Attributes
protected
Definition Classes
Contexts
def openMacros: collection.immutable.List[reflect.macros.contexts.Context { val universe: ScalahostAnalyzer.this.global.type }]

Definition Classes
Macros
object packageObjects extends SubComponent

Definition Classes
Analyzer
def parse[U](implicit convert: Convert[ScalahostAnalyzer, Input], parse: Parse[U], dialect: Dialect): Parsed[U]

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to meta.XtensionParseInputLike[ScalahostAnalyzer] performed by method XtensionParseInputLike in scala.meta.parsers.Api.
Definition Classes
XtensionParseInputLike
def pluginsEnsureCompanionObject(namer: Namer, cdef: Global.ClassDef, creator: (Global.ClassDef) ⇒ Global.Tree): Global.Symbol

Definition Classes
AnalyzerPlugins
def pluginsEnterStats(typer: Typer, stats: List[Global.Tree]): List[Global.Tree]

Definition Classes
AnalyzerPlugins
def pluginsEnterSym(namer: Namer, tree: Global.Tree): Context

Definition Classes
AnalyzerPlugins
def pluginsIsBlackbox(macroDef: Global.Symbol): Boolean

Definition Classes
AnalyzerPlugins
def pluginsMacroArgs(typer: Typer, expandee: Global.Tree): MacroArgs

Definition Classes
AnalyzerPlugins
def pluginsMacroExpand(typer: Typer, expandee: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

Definition Classes
AnalyzerPlugins
def pluginsMacroRuntime(expandee: Global.Tree): MacroRuntime

Definition Classes
AnalyzerPlugins
def pluginsPt(pt: Global.Type, typer: Typer, tree: Global.Tree, mode: Mode): Global.Type

Definition Classes
AnalyzerPlugins
def pluginsTypeSig(tpe: Global.Type, typer: Typer, defTree: Global.Tree, pt: Global.Type): Global.Type

Definition Classes
AnalyzerPlugins
def pluginsTypeSigAccessor(tpe: Global.Type, typer: Typer, tree: Global.ValDef, sym: Global.Symbol): Global.Type

Definition Classes
AnalyzerPlugins
def pluginsTyped(tpe: Global.Type, typer: Typer, tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Type

Definition Classes
AnalyzerPlugins
def pluginsTypedMacroBody(typer: Typer, ddef: Global.DefDef): Global.Tree

Definition Classes
AnalyzerPlugins
def pluginsTypedReturn(tpe: Global.Type, typer: Typer, tree: Global.Return, pt: Global.Type): Global.Type

Definition Classes
AnalyzerPlugins
def popMacroContext(): Unit

Definition Classes
Macros
def posPrecedes(p1: Global.Position, p2: Global.Position): Boolean

Definition Classes
TypeDiagnostics
def printingOk(t: Global.Tree): Boolean

Definition Classes
TypersTracking
def propagateKnownTypes(from: Global.Type, to: Global.Symbol): Global.Type

Definition Classes
Checkable
def pushMacroContext(c: MacroContext): Unit

Definition Classes
Macros
def removeNames(typer: Typer)(args: List[Global.Tree], params: List[Global.Symbol]): (List[Global.Tree], Array[Int])

Definition Classes
NamesDefaults
def reorderArgs[T](args: List[T], pos: (Int) ⇒ Int)(implicit arg0: ClassTag[T]): List[T]

Definition Classes
NamesDefaults
def resetContexts(): Unit

Definition Classes
Contexts
def resetDocComments(): Unit

Definition Classes
Typers
def resetImplicits(): Unit

Definition Classes
Implicits
def resetTyper(): Unit

Definition Classes
Typers
def restrictionError(pos: Global.Position, unit: Global.CompilationUnit, msg: String): Unit

Definition Classes
TypeDiagnostics
def restrictionWarning(pos: Global.Position, unit: Global.CompilationUnit, msg: String): Unit

Definition Classes
TypeDiagnostics
def rootContext(unit: Global.CompilationUnit, tree: Global.Tree, throwing: Boolean, checking: Boolean): Context

Definition Classes
Contexts
def rootContextPostTyper(unit: Global.CompilationUnit, tree: Global.Tree): Context

Definition Classes
Contexts
def rootImports(unit: Global.CompilationUnit): List[Global.Symbol]

Attributes
protected
Definition Classes
Contexts
def setAddendum(pos: Global.Position, msg: () ⇒ String): Unit

Definition Classes
TypeDiagnostics
final val shortenImports: Boolean(false)

Definition Classes
Typers
def show[Style[X] <: Show[X]](implicit style: Style[ScalahostAnalyzer]): String

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to meta.XtensionShow[ScalahostAnalyzer] performed by method XtensionShow in scala.meta.prettyprinters.Api.
Definition Classes
XtensionShow
def skipImplicit(tp: Global.Type): Global.Type

Definition Classes
Infer
def solvedTypes(tvars: List[Global.TypeVar], tparams: List[Global.Symbol], variances: List[Variance], upper: Boolean, depth: Depth): List[Global.Type]

Definition Classes
Infer
def standardIsBlackbox(macroDef: Global.Symbol): Boolean

Definition Classes
Macros
def standardMacroArgs(typer: Typer, expandee: Global.Tree): MacroArgs

Definition Classes
Macros
def standardMacroExpand(typer: Typer, expandee: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

Definition Classes
Macros
def standardMacroRuntime(expandee: Global.Tree): MacroRuntime

Definition Classes
MacroRuntimes
def standardTypedMacroBody(typer: Typer, macroDdef: Global.DefDef): Global.Tree

Definition Classes
Macros
def superArgs(tree: Global.Tree): Option[List[List[Global.Tree]]]

Definition Classes
StdAttachments
def suppressMacroExpansion(tree: Global.Tree): Global.Tree

Definition Classes
StdAttachments
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def tokenize(implicit convert: Convert[ScalahostAnalyzer, Input], tokenize: Tokenize, dialect: Dialect): Tokenized

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to meta.XtensionTokenizeInputLike[ScalahostAnalyzer] performed by method XtensionTokenizeInputLike in scala.meta.tokenizers.Api.
Definition Classes
XtensionTokenizeInputLike
def tpe_s(tp: Global.Type, colorize: (String) ⇒ String): String

Definition Classes
TypersTracking
def transformNamedApplication(typer: Typer, mode: Mode, pt: Global.Type)(tree: Global.Tree, argPos: (Int) ⇒ Int): Global.Tree

Definition Classes
NamesDefaults
def transformTypeTagEvidenceParams(macroImplRef: Global.Tree, transform: (Global.Symbol, Global.Symbol) ⇒ Global.Symbol): List[List[Global.Symbol]]

Definition Classes
Helpers
val transformed: AnyRefMap[Global.Tree, Global.Tree]

Definition Classes
Typers
def treeSymTypeMsg(tree: Global.Tree): String

Definition Classes
TypeDiagnostics
def typePatternAdvice(sym: Global.Symbol, ptSym: Global.Symbol): String

Definition Classes
TypeDiagnostics
def typedMacroBody(typer: Typer, macroDdef: Global.DefDef): Global.Tree

Definition Classes
Macros
object typerFactory extends SubComponent

Definition Classes
Analyzer
def typingInPattern[T](body: ⇒ T): T

Definition Classes
TypeDiagnostics
object typingStack

Definition Classes
TypersTracking
def unapplyMember(tp: Global.Type): Global.Symbol

Definition Classes
Unapplies
def underlyingSymbol(member: Global.Symbol): Global.Symbol

Definition Classes
TypeDiagnostics
def unmarkDynamicRewrite(tree: Global.Tree): Global.Tree

Definition Classes
StdAttachments
def unmarkMacroImplRef(tree: Global.Tree): Global.Tree

Definition Classes
StdAttachments
def unsuppressMacroExpansion(tree: Global.Tree): Global.Tree

Definition Classes
StdAttachments
def untypeMetalevel(tp: Global.Type): Global.Type

Definition Classes
Helpers
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def warnUnusedImports(unit: Global.CompilationUnit): Unit

Definition Classes
Contexts
def withAddendum(pos: Global.Position): (String) ⇒ String

Definition Classes
TypeDiagnostics
def withDisambiguation[T](locals: List[Global.Symbol], types: Global.Type*)(op: ⇒ T): T

Definition Classes
TypeDiagnostics
def →[B](y: B): (ScalahostAnalyzer, B)

Implicit information
This member is added by an implicit conversion from ScalahostAnalyzer to ArrowAssoc[ScalahostAnalyzer] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Inherited from ReflectionToolkit

Inherited from Analyzer

Inherited from AnalyzerPlugins

Inherited from StdAttachments

Inherited from ContextErrors

Inherited from TypeDiagnostics

Inherited from NamesDefaults

Inherited from Macros

Inherited from Helpers

Inherited from Traces

Inherited from MacroRuntimes

Inherited from JavaReflectionRuntimes

Inherited from Unapplies

Inherited from SyntheticMethods

Inherited from TreeDSL

Inherited from EtaExpansion

Inherited from Implicits

Inherited from Infer

Inherited from Checkable

Inherited from Typers

Inherited from PatternTypers

Inherited from TypersTracking

Inherited from Tags

Inherited from Adaptations

Inherited from Namers

Inherited from MethodSynthesis

Inherited from Contexts

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion XtensionTokenizeInputLike from ScalahostAnalyzer to meta.XtensionTokenizeInputLike[ScalahostAnalyzer]

Inherited by implicit conversion XtensionShow from ScalahostAnalyzer to meta.XtensionShow[ScalahostAnalyzer]

Inherited by implicit conversion XtensionParseInputLike from ScalahostAnalyzer to meta.XtensionParseInputLike[ScalahostAnalyzer]

Inherited by implicit conversion any2stringadd from ScalahostAnalyzer to any2stringadd[ScalahostAnalyzer]

Inherited by implicit conversion StringFormat from ScalahostAnalyzer to StringFormat[ScalahostAnalyzer]

Inherited by implicit conversion Ensuring from ScalahostAnalyzer to Ensuring[ScalahostAnalyzer]

Inherited by implicit conversion ArrowAssoc from ScalahostAnalyzer to ArrowAssoc[ScalahostAnalyzer]

Ungrouped

Related Doc: package typechecker

trait ScalahostAnalyzer extends Analyzer with ReflectionToolkit

Type Members

abstract class AbsAmbiguousTypeError extends Analyzer.AbsTypeError

sealed abstract class AbsTypeError extends Throwable

case class AccessTypeError extends Analyzer.TreeTypeError with Product with Serializable

trait Adaptation extends AnyRef

case class AmbiguousImplicitTypeError extends Analyzer.AbsAmbiguousTypeError with Product with Serializable

case class AmbiguousTypeError extends Analyzer.AbsAmbiguousTypeError with Product with Serializable

trait AnalyzerPlugin extends AnyRef

trait Attachable[-T] extends AnyRef

class ClassForCaseCompanionAttachment extends AnyRef

class ClassMethodSynthesis extends AnyRef

class CompilationUnitCache extends AnyRef

class ConstructorDefaultsAttachment extends AnyRef

class Context extends AnyRef

abstract class ContextReporter extends Reporter

class DefMacroExpander extends Analyzer.MacroExpander

class DefaultsOfLocalMethodAttachment extends AnyRef

case class Delayed extends Analyzer.MacroStatus with Product with Serializable

case class DivergentImplicitTypeError extends Analyzer.TreeTypeError with Product with Serializable

case class Failure extends Analyzer.MacroStatus with Product with Serializable

case class Fallback extends Analyzer.MacroStatus with Product with Serializable

class ImplicitInfo extends AnyRef

class ImplicitSearch extends Analyzer.Typer with Analyzer.ImplicitsContextErrors

trait ImplicitsContextErrors extends AnyRef

trait ImportContext extends Analyzer.Context

class ImportInfo extends AnyRef

type ImportType = Global.ImportType

trait InferCheckable extends AnyRef

abstract class Inferencer extends Analyzer.InferencerContextErrors with Analyzer.InferCheckable

trait InferencerContextErrors extends AnyRef

trait JavaReflectionResolvers extends AnyRef

trait LockingTypeCompleter extends Analyzer.TypeCompleter

case class MacroArgs extends Product with Serializable

type MacroContext = UnaffiliatedMacroContext { val universe: ScalahostAnalyzer.this.global.type }

abstract class MacroExpander extends AnyRef

case class MacroExpanderAttachment extends Product with Serializable

case class MacroExpansionAttachment extends Product with Serializable

case class MacroImplBinding extends Product with Serializable

trait MacroPlugin extends AnyRef

type MacroRuntime = (MacroArgs) ⇒ Any

case class MacroRuntimeAttachment extends Product with Serializable

class MacroRuntimeResolver extends Analyzer.JavaReflectionResolvers

sealed abstract class MacroStatus extends AnyRef

class Metadata[T] extends AnyRef

trait MethodSynth extends AnyRef

case class NamedApplyInfo extends Product with Serializable

abstract class Namer extends Analyzer.MethodSynth with Analyzer.NamerContextErrors

trait NamerContextErrors extends AnyRef

class NoInstance extends Throwable with ControlThrowable

case class NormalTypeError extends Analyzer.TreeTypeError with Product with Serializable

class NormalTypeErrorFromCyclicReference extends Analyzer.NormalTypeError

case class OpenImplicit extends Product with Serializable

trait PatternTyper extends AnyRef

class PolyTypeCompleter extends Analyzer.TypeCompleter with Analyzer.LockingTypeCompleter with Global.FlagAgnosticCompleter

case class PosAndMsgTypeError extends Analyzer.AbsTypeError with Product with Serializable

class ScalahostNamer extends Namer

class ScalahostTyper extends Typer

class SearchResult extends AnyRef

sealed abstract class SilentResult[+T] extends AnyRef

case class SilentResultValue[+T] extends Analyzer.SilentResult[T] with Product with Serializable

class SilentTypeError extends Analyzer.SilentResult[Nothing]

case class Skipped extends Analyzer.MacroStatus with Product with Serializable

case class Success extends Analyzer.MacroStatus with Product with Serializable

case class SuperArgsAttachment extends Product with Serializable

case class SymbolTypeError extends Analyzer.AbsTypeError with Product with Serializable

trait Tag extends AnyRef

sealed abstract class TreeTypeError extends Analyzer.AbsTypeError

abstract class TypeCompleter extends Global.LazyType

case class TypeDiag extends Ordered[Analyzer.TypeDiag] with Product with Serializable

case class TypeErrorWithUnderlyingTree extends Analyzer.AbsTypeError with Product with Serializable

case class TypeErrorWrapper extends Analyzer.AbsTypeError with Product with Serializable

abstract class Typer extends Analyzer.TyperDiagnostics with Analyzer.Adaptation with Analyzer.Tag with Analyzer.PatternTyper with Analyzer.TyperContextErrors

trait TyperContextErrors extends AnyRef

trait TyperDiagnostics extends AnyRef

type UnaffiliatedMacroContext = reflect.macros.contexts.Context

implicit class XtensionAttachable[T] extends AnyRef

implicit class XtensionCompilationUnitCache extends AnyRef