org
.
scalamacros
.
paradise
.
typechecker
.
Typers
ParadiseTyper
trait
ParadiseTyper
extends
Analyzer.Typer
with
Analyzer.ParadiseTyperContextErrors
Linear Supertypes
Analyzer.ParadiseTyperContextErrors
,
Analyzer.Typer
,
Analyzer.TyperContextErrors
,
Analyzer.Tag
,
Analyzer.Adaptation
,
Analyzer.TyperDiagnostics
,
AnyRef
,
Any
Known Subclasses
ParadiseImplicitSearch
Ordering
Alphabetic
By inheritance
Inherited
ParadiseTyper
ParadiseTyperContextErrors
Typer
TyperContextErrors
Tag
Adaptation
TyperDiagnostics
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
object
ParadiseTyperErrorGen
Definition Classes
ParadiseTyperContextErrors
def
adapt
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
,
original:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Attributes
protected
Definition Classes
Typer
def
adaptCase
(
cdef:
scala.tools.nsc.Global.CaseDef
,
mode:
Int
,
tpe:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.CaseDef
Definition Classes
Typer
def
adaptToArguments
(
qual:
scala.tools.nsc.Global.Tree
,
name:
scala.tools.nsc.Global.Name
,
args:
List
[
scala.tools.nsc.Global.Tree
]
,
pt:
scala.tools.nsc.Global.Type
,
reportAmbiguous:
Boolean
,
saveErrors:
Boolean
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
adaptToMember
(
qual:
scala.tools.nsc.Global.Tree
,
searchTemplate:
scala.tools.nsc.Global.Type
,
reportAmbiguous:
Boolean
,
saveErrors:
Boolean
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
adaptToMemberWithArgs
(
tree:
scala.tools.nsc.Global.Tree
,
qual:
scala.tools.nsc.Global.Tree
,
name:
scala.tools.nsc.Global.Name
,
mode:
Int
,
reportAmbiguous:
Boolean
,
saveErrors:
Boolean
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
adaptToName
(
qual:
scala.tools.nsc.Global.Tree
,
name:
scala.tools.nsc.Global.Name
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
applyImplicitArgs
(
fun:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
atOwner
(
tree:
scala.tools.nsc.Global.Tree
,
owner:
scala.tools.nsc.Global.Symbol
)
:
Analyzer.Typer
Definition Classes
Typer
def
atOwner
(
owner:
scala.tools.nsc.Global.Symbol
)
:
Analyzer.Typer
Definition Classes
Typer
def
callToCompanionConstr
(
context:
Analyzer.Context
,
calledFun:
scala.tools.nsc.Global.Symbol
)
:
Boolean
Definition Classes
Typer
def
checkClassType
(
tpt:
scala.tools.nsc.Global.Tree
)
:
Boolean
Definition Classes
Typer
def
checkExistentialsFeature
(
pos:
scala.tools.nsc.Global.Position
,
tpe:
scala.tools.nsc.Global.Type
,
prefix:
String
)
:
Unit
Definition Classes
ParadiseTyper
→ Typer
def
checkFeature
(
pos:
scala.tools.nsc.Global.Position
,
featureTrait:
scala.tools.nsc.Global.Symbol
,
construct: ⇒
String
,
immediate:
Boolean
)
:
Boolean
Definition Classes
Typer
def
checkFinitary
(
classinfo:
scala.tools.nsc.Global.ClassInfoType
)
:
Unit
Definition Classes
Typer
def
checkMethodStructuralCompatible
(
ddef:
scala.tools.nsc.Global.DefDef
)
:
Unit
Definition Classes
Typer
def
checkNonCyclic
(
defn:
scala.tools.nsc.Global.Tree
,
tpt:
scala.tools.nsc.Global.Tree
)
:
Unit
Definition Classes
Typer
def
checkNonCyclic
(
sym:
scala.tools.nsc.Global.Symbol
)
:
Unit
Definition Classes
Typer
def
checkNonCyclic
(
pos:
scala.tools.nsc.Global.Position
,
tp:
scala.tools.nsc.Global.Type
,
lockedSym:
scala.tools.nsc.Global.Symbol
)
:
Boolean
Definition Classes
Typer
def
checkNonCyclic
(
pos:
scala.tools.nsc.Global.Position
,
tp:
scala.tools.nsc.Global.Type
)
:
Boolean
Definition Classes
Typer
def
checkParamsConvertible
(
tree:
scala.tools.nsc.Global.Tree
,
tpe0:
scala.tools.nsc.Global.Type
)
:
Unit
Definition Classes
Typer
def
checkStable
(
tree:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
checkStablePrefixClassType
(
tpt:
scala.tools.nsc.Global.Tree
)
:
Boolean
Definition Classes
Typer
def
checkValidAdaptation
(
t:
scala.tools.nsc.Global.Tree
,
args:
List
[
scala.tools.nsc.Global.Tree
]
)
:
Boolean
Definition Classes
Adaptation
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
computeMacroDefType
(
tree:
scala.tools.nsc.Global.Tree
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Type
Definition Classes
Typer
def
computeParamAliases
(
clazz:
scala.tools.nsc.Global.Symbol
,
vparamss:
List
[
List
[
scala.tools.nsc.Global.ValDef
]]
,
rhs:
scala.tools.nsc.Global.Tree
)
:
Unit
Definition Classes
Typer
def
computeType
(
tree:
scala.tools.nsc.Global.Tree
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Type
Definition Classes
Typer
final
def
constrTyperIf
(
inConstr:
Boolean
)
:
Analyzer.Typer
Definition Classes
Typer
var
context
:
Analyzer.Context
Definition Classes
Typer
val
context0
:
Analyzer.Context
def
context1
:
Analyzer.Context
Definition Classes
Typer
def
cyclicReferenceMessage
(
sym:
scala.tools.nsc.Global.Symbol
,
tree:
scala.tools.nsc.Global.Tree
)
:
Option
[
String
]
Definition Classes
TyperDiagnostics
final
def
deindentTyping
()
:
Unit
Definition Classes
Typer
def
doTypedApply
(
tree:
scala.tools.nsc.Global.Tree
,
fun0:
scala.tools.nsc.Global.Tree
,
args:
List
[
scala.tools.nsc.Global.Tree
]
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
doTypedUnapply
(
tree:
scala.tools.nsc.Global.Tree
,
fun0:
scala.tools.nsc.Global.Tree
,
fun:
scala.tools.nsc.Global.Tree
,
args:
List
[
scala.tools.nsc.Global.Tree
]
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
ParadiseTyper
→ Typer
def
dropExistential
(
tp:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Type
Definition Classes
Typer
def
enterSym
(
txt:
Analyzer.Context
,
tree:
scala.tools.nsc.Global.Tree
)
:
Analyzer.Context
Attributes
protected
Definition Classes
Typer
def
enterSyms
(
txt:
Analyzer.Context
,
trees:
List
[
scala.tools.nsc.Global.Tree
]
)
:
Unit
Attributes
protected
Definition Classes
Typer
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
extractorForUncheckedType
(
pos:
scala.tools.nsc.Global.Position
,
pt:
scala.tools.nsc.Global.Type
)
:
Option
[
scala.tools.nsc.Global.Tree
]
Definition Classes
Typer
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
finishMethodSynthesis
(
templ:
scala.tools.nsc.Global.Template
,
clazz:
scala.tools.nsc.Global.Symbol
,
context:
Analyzer.Context
)
:
scala.tools.nsc.Global.Template
Attributes
protected
Definition Classes
Typer
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
indentTyping
()
:
Unit
Definition Classes
Typer
val
infer
:
Analyzer.ParadiseInferencer
Definition Classes
ParadiseTyper
→ Typer
def
inferView
(
tree:
scala.tools.nsc.Global.Tree
,
from:
scala.tools.nsc.Global.Type
,
to:
scala.tools.nsc.Global.Type
,
reportAmbiguous:
Boolean
,
saveErrors:
Boolean
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
inferView
(
tree:
scala.tools.nsc.Global.Tree
,
from:
scala.tools.nsc.Global.Type
,
to:
scala.tools.nsc.Global.Type
,
reportAmbiguous:
Boolean
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
instantiate
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
instantiateExpectingUnit
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
instantiatePossiblyExpectingUnit
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
isCapturedExistential
(
sym:
scala.tools.nsc.Global.Symbol
)
:
Boolean
Definition Classes
Typer
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
isNamedApplyBlock
(
tree:
scala.tools.nsc.Global.Tree
)
:
Boolean
Definition Classes
Typer
def
isReferencedFrom
(
ctx:
Analyzer.Context
,
sym:
scala.tools.nsc.Global.Symbol
)
:
Boolean
Definition Classes
Typer
def
isStableExceptVolatile
(
tree:
scala.tools.nsc.Global.Tree
)
:
Boolean
Attributes
protected
Definition Classes
Typer
def
isStale
(
sym:
scala.tools.nsc.Global.Symbol
)
:
Boolean
Definition Classes
Typer
def
labelTyper
(
ldef:
scala.tools.nsc.Global.LabelDef
)
:
Analyzer.Typer
Definition Classes
Typer
def
member
(
qual:
scala.tools.nsc.Global.Tree
,
name:
scala.tools.nsc.Global.Name
)
:
scala.tools.nsc.Global.Symbol
Definition Classes
Typer
def
namer
:
Analyzer.ParadiseNamer
Definition Classes
ParadiseTyper
→ Typer
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
needsInstantiation
(
tparams:
List
[
scala.tools.nsc.Global.Symbol
]
,
formals:
List
[
scala.tools.nsc.Global.Type
]
,
args:
List
[
scala.tools.nsc.Global.Tree
]
)
:
Boolean
Definition Classes
Typer
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
packCaptured
(
tpe:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Type
Definition Classes
Typer
def
packSymbols
(
hidden:
List
[
scala.tools.nsc.Global.Symbol
]
,
tp:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Type
Definition Classes
Typer
def
packedType
(
tree:
scala.tools.nsc.Global.Tree
,
owner:
scala.tools.nsc.Global.Symbol
)
:
scala.tools.nsc.Global.Type
Definition Classes
Typer
def
parentTypes
(
templ:
scala.tools.nsc.Global.Template
)
:
List
[
scala.tools.nsc.Global.Tree
]
Definition Classes
Typer
def
permanentlyHiddenWarning
(
pos:
scala.tools.nsc.Global.Position
,
hidden:
scala.tools.nsc.Global.Name
,
defn:
scala.tools.nsc.Global.Symbol
)
:
Unit
Definition Classes
TyperDiagnostics
final
def
printInference
(
s: ⇒
String
)
:
Unit
Definition Classes
Typer
Annotations
@inline
()
final
def
printTyping
(
s: ⇒
String
)
:
Unit
Definition Classes
Typer
Annotations
@inline
()
def
ptOrLub
(
tps:
List
[
scala.tools.nsc.Global.Type
]
,
pt:
scala.tools.nsc.Global.Type
)
: (
scala.tools.nsc.Global.Type
,
Boolean
)
Definition Classes
Typer
def
ptOrLubPacked
(
trees:
List
[
scala.tools.nsc.Global.Tree
]
,
pt:
scala.tools.nsc.Global.Type
)
: (
scala.tools.nsc.Global.Type
,
Boolean
)
Definition Classes
Typer
def
qualifyingClass
(
tree:
scala.tools.nsc.Global.Tree
,
qual:
scala.tools.nsc.Global.Name
,
packageOK:
Boolean
)
:
scala.tools.nsc.Global.Symbol
Definition Classes
Typer
def
reallyExists
(
sym:
scala.tools.nsc.Global.Symbol
)
:
Boolean
Definition Classes
ParadiseTyper
→ Typer
def
reenterTypeParams
(
tparams:
List
[
scala.tools.nsc.Global.TypeDef
]
)
:
List
[
scala.tools.nsc.Global.Symbol
]
Definition Classes
Typer
def
reenterValueParams
(
vparamss:
List
[
List
[
scala.tools.nsc.Global.ValDef
]]
)
:
Unit
Definition Classes
Typer
def
reportTypeError
(
context0:
Analyzer.Context
,
pos:
scala.tools.nsc.Global.Position
,
ex:
scala.tools.nsc.Global.TypeError
)
:
Unit
Definition Classes
TyperDiagnostics
def
resolveClassTag
(
pos:
scala.tools.nsc.Global.Position
,
tp:
scala.tools.nsc.Global.Type
,
allowMaterialization:
Boolean
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Tag
def
resolveTypeTag
(
pos:
scala.tools.nsc.Global.Position
,
pre:
scala.tools.nsc.Global.Type
,
tp:
scala.tools.nsc.Global.Type
,
concrete:
Boolean
,
allowMaterialization:
Boolean
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Tag
def
rewrappingWrapperTrees
(
f: (
scala.tools.nsc.Global.Tree
) ⇒
List
[
scala.tools.nsc.Global.Tree
]
)
: (
scala.tools.nsc.Global.Tree
) ⇒
List
[
scala.tools.nsc.Global.Tree
]
Definition Classes
Typer
def
silent
[
T
]
(
op: (
Analyzer.Typer
) ⇒
T
,
reportAmbiguousErrors:
Boolean
,
newtree:
scala.tools.nsc.Global.Tree
)
:
Analyzer.SilentResult
[
T
]
Definition Classes
Typer
def
stabilizeFun
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
synthesizePartialFunction
(
paramName:
scala.tools.nsc.Global.TermName
,
paramPos:
scala.tools.nsc.Global.Position
,
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
pt0:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
transformedOr
(
tree:
scala.tools.nsc.Global.Tree
,
op: ⇒
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
transformedOrTyped
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typed
(
tree:
scala.tools.nsc.Global.Tree
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typed
(
tree:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typed
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typed1
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
ParadiseTyper
→ Typer
def
typedAnnotation
(
ann:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
selfsym:
scala.tools.nsc.Global.Symbol
,
annClass:
scala.tools.nsc.Global.Symbol
,
requireJava:
Boolean
)
:
scala.tools.nsc.Global.AnnotationInfo
Definition Classes
Typer
def
typedArg
(
arg:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
newmode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedArgs
(
args0:
List
[
scala.tools.nsc.Global.Tree
]
,
mode:
Int
,
formals0:
List
[
scala.tools.nsc.Global.Type
]
,
adapted0:
List
[
scala.tools.nsc.Global.Type
]
)
:
List
[
scala.tools.nsc.Global.Tree
]
Definition Classes
Typer
def
typedArgs
(
args:
List
[
scala.tools.nsc.Global.Tree
]
,
mode:
Int
)
:
List
[
scala.tools.nsc.Global.Tree
]
Definition Classes
Typer
def
typedBlock
(
block:
scala.tools.nsc.Global.Block
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Block
Definition Classes
ParadiseTyper
→ Typer
def
typedCase
(
cdef:
scala.tools.nsc.Global.CaseDef
,
pattpe:
scala.tools.nsc.Global.Type
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.CaseDef
Definition Classes
Typer
def
typedCases
(
cases:
List
[
scala.tools.nsc.Global.CaseDef
]
,
pattp:
scala.tools.nsc.Global.Type
,
pt:
scala.tools.nsc.Global.Type
)
:
List
[
scala.tools.nsc.Global.CaseDef
]
Definition Classes
Typer
def
typedClassDef
(
cdef:
scala.tools.nsc.Global.ClassDef
)
:
scala.tools.nsc.Global.Tree
Definition Classes
ParadiseTyper
→ Typer
def
typedClassOf
(
tree:
scala.tools.nsc.Global.Tree
,
tpt:
scala.tools.nsc.Global.Tree
,
noGen:
Boolean
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedDefDef
(
ddef:
scala.tools.nsc.Global.DefDef
)
:
scala.tools.nsc.Global.DefDef
Definition Classes
Typer
def
typedExistentialTypeTree
(
tree:
scala.tools.nsc.Global.ExistentialTypeTree
,
mode:
Int
)
:
scala.tools.nsc.Global.Tree
Attributes
protected
Definition Classes
Typer
def
typedHigherKindedType
(
tree:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedHigherKindedType
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedHigherKindedType
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedImport
(
imp:
scala.tools.nsc.Global.Import
)
:
scala.tools.nsc.Global.Import
Definition Classes
Typer
def
typedLabelDef
(
ldef:
scala.tools.nsc.Global.LabelDef
)
:
scala.tools.nsc.Global.LabelDef
Definition Classes
Typer
def
typedMatch
(
selector:
scala.tools.nsc.Global.Tree
,
cases:
List
[
scala.tools.nsc.Global.CaseDef
]
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
,
tree:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Match
Definition Classes
Typer
def
typedModifiers
(
mods:
scala.tools.nsc.Global.Modifiers
)
:
scala.tools.nsc.Global.Modifiers
Definition Classes
Typer
def
typedModuleDef
(
mdef:
scala.tools.nsc.Global.ModuleDef
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedOperator
(
tree:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedPattern
(
tree:
scala.tools.nsc.Global.Tree
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedPos
(
pos:
scala.tools.nsc.Global.Position
)
(
tree:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedPos
(
pos:
scala.tools.nsc.Global.Position
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
(
tree:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedQualifier
(
tree:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedQualifier
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedQualifier
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedRefinement
(
templ:
scala.tools.nsc.Global.Template
)
:
Unit
Definition Classes
Typer
def
typedStats
(
stats:
List
[
scala.tools.nsc.Global.Tree
]
,
exprOwner:
scala.tools.nsc.Global.Symbol
)
:
List
[
scala.tools.nsc.Global.Tree
]
Definition Classes
Typer
def
typedTemplate
(
templ:
scala.tools.nsc.Global.Template
,
parents1:
List
[
scala.tools.nsc.Global.Tree
]
)
:
scala.tools.nsc.Global.Template
Definition Classes
ParadiseTyper
→ Typer
def
typedType
(
tree:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedType
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedTypeApply
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
,
fun:
scala.tools.nsc.Global.Tree
,
args:
List
[
scala.tools.nsc.Global.Tree
]
)
:
scala.tools.nsc.Global.Tree
Attributes
protected
Definition Classes
Typer
def
typedTypeConstructor
(
tree:
scala.tools.nsc.Global.Tree
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedTypeConstructor
(
tree:
scala.tools.nsc.Global.Tree
,
mode:
Int
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
def
typedTypeDef
(
tdef:
scala.tools.nsc.Global.TypeDef
)
:
scala.tools.nsc.Global.TypeDef
Definition Classes
Typer
def
typedUseCase
(
useCase:
scala.tools.nsc.Global.UseCase
)
:
Unit
Definition Classes
Typer
def
typedValDef
(
vdef:
scala.tools.nsc.Global.ValDef
)
:
scala.tools.nsc.Global.ValDef
Definition Classes
Typer
final
def
typerReportAnyContextErrors
[
T
]
(
c:
Analyzer.Context
)
(
f: (
Analyzer.Typer
) ⇒
T
)
:
T
Definition Classes
Typer
Annotations
@inline
()
final
def
typerWithCondLocalContext
[
T
]
(
c: ⇒
Analyzer.Context
)
(
cond:
Boolean
)
(
f: (
Analyzer.Typer
) ⇒
T
)
:
T
Definition Classes
Typer
Annotations
@inline
()
final
def
typerWithLocalContext
[
T
]
(
c:
Analyzer.Context
)
(
f: (
Analyzer.Typer
) ⇒
T
)
:
T
Definition Classes
Typer
Annotations
@inline
()
def
validateParentClasses
(
parents:
List
[
scala.tools.nsc.Global.Tree
]
,
selfType:
scala.tools.nsc.Global.Type
)
:
Unit
Definition Classes
Typer
def
virtualizedMatch
(
match_:
scala.tools.nsc.Global.Match
,
mode:
Int
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
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
(
...
)
final
def
withCondConstrTyper
[
T
]
(
inConstr:
Boolean
)
(
f: (
Analyzer.Typer
) ⇒
T
)
:
T
Definition Classes
Typer
Annotations
@inline
()
final
def
withSavedContext
[
T
]
(
c:
Analyzer.Context
)
(
f: ⇒
T
)
:
T
Definition Classes
Typer
Annotations
@inline
()
def
wrapClassTagUnapply
(
uncheckedPattern:
scala.tools.nsc.Global.Tree
,
classTagExtractor:
scala.tools.nsc.Global.Tree
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Typer
final
val
xtypes
: Boolean(false)
Definition Classes
Typer
Inherited from
Analyzer.ParadiseTyperContextErrors
Inherited from
Analyzer.Typer
Inherited from
Analyzer.TyperContextErrors
Inherited from
Analyzer.Tag
Inherited from
Analyzer.Adaptation
Inherited from
Analyzer.TyperDiagnostics
Inherited from
AnyRef
Inherited from
Any
Ungrouped