scala
.
tools
.
nsc
.
typechecker
.
ParadiseAnalyzer
ParadiseTyper
Related Doc:
package ParadiseAnalyzer
class
ParadiseTyper
extends
Typer
Linear Supertypes
ParadiseAnalyzer.Typer
,
ParadiseAnalyzer.TyperContextErrors
,
ParadiseAnalyzer.PatternTyper
,
ParadiseAnalyzer.Tag
,
ParadiseAnalyzer.Adaptation
,
ParadiseAnalyzer.TyperDiagnostics
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
ParadiseTyper
Typer
TyperContextErrors
PatternTyper
Tag
Adaptation
TyperDiagnostics
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
ParadiseTyper
(
context0:
ParadiseAnalyzer.Context
)
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
object
TyperErrorGen
Definition Classes
TyperContextErrors
def
adapt
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
,
original:
Global.Tree
)
:
Global.Tree
Attributes
protected
Definition Classes
Typer
def
adaptAfterOverloadResolution
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
,
original:
Global.Tree
)
:
Global.Tree
Definition Classes
Typer
def
adaptCase
(
cdef:
Global.CaseDef
,
mode:
Mode
,
tpe:
Global.Type
)
:
Global.CaseDef
Definition Classes
Typer
def
adaptToArguments
(
qual:
Global.Tree
,
name:
Global.Name
,
args:
List
[
Global.Tree
]
,
pt:
Global.Type
,
reportAmbiguous:
Boolean
,
saveErrors:
Boolean
)
:
Global.Tree
Definition Classes
Typer
def
adaptToMember
(
qual:
Global.Tree
,
searchTemplate:
Global.Type
,
reportAmbiguous:
Boolean
,
saveErrors:
Boolean
)
:
Global.Tree
Definition Classes
Typer
def
adaptToMemberWithArgs
(
tree:
Global.Tree
,
qual:
Global.Tree
,
name:
Global.Name
,
mode:
Mode
,
reportAmbiguous:
Boolean
,
saveErrors:
Boolean
)
:
Global.Tree
Definition Classes
Typer
def
adaptToName
(
qual:
Global.Tree
,
name:
Global.Name
)
:
Global.Tree
Definition Classes
Typer
def
applyImplicitArgs
(
fun:
Global.Tree
)
:
Global.Tree
Definition Classes
Typer
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
atOwner
(
tree:
Global.Tree
,
owner:
Global.Symbol
)
:
ParadiseAnalyzer.Typer
Definition Classes
Typer
def
atOwner
(
owner:
Global.Symbol
)
:
ParadiseAnalyzer.Typer
Definition Classes
Typer
def
callToCompanionConstr
(
context:
ParadiseAnalyzer.Context
,
calledFun:
Global.Symbol
)
:
Boolean
Definition Classes
Typer
def
canAdaptConstantTypeToLiteral
:
Boolean
Definition Classes
Typer
def
canTranslateEmptyListToNil
:
Boolean
Definition Classes
Typer
def
checkClassType
(
tpt:
Global.Tree
)
:
Boolean
Definition Classes
Typer
def
checkExistentialsFeature
(
pos:
Global.Position
,
tpe:
Global.Type
,
prefix:
String
)
:
AnyVal
Definition Classes
Typer
def
checkFeature
(
pos:
Global.Position
,
featureTrait:
Global.Symbol
,
construct: ⇒
String
,
immediate:
Boolean
)
:
Boolean
Definition Classes
Typer
def
checkFinitary
(
classinfo:
Global.ClassInfoType
)
:
Unit
Definition Classes
Typer
def
checkMethodStructuralCompatible
(
ddef:
Global.DefDef
)
:
Unit
Definition Classes
Typer
def
checkNonCyclic
(
defn:
Global.Tree
,
tpt:
Global.Tree
)
:
Unit
Definition Classes
Typer
def
checkNonCyclic
(
sym:
Global.Symbol
)
:
Unit
Definition Classes
Typer
def
checkNonCyclic
(
pos:
Global.Position
,
tp:
Global.Type
,
lockedSym:
Global.Symbol
)
:
Boolean
Definition Classes
Typer
def
checkNonCyclic
(
pos:
Global.Position
,
tp:
Global.Type
)
:
Boolean
Definition Classes
Typer
def
checkParamsConvertible
(
tree:
Global.Tree
,
tpe0:
Global.Type
)
:
Unit
Definition Classes
Typer
def
checkStablePrefixClassType
(
tpt:
Global.Tree
)
:
Boolean
Definition Classes
Typer
def
checkValidAdaptation
(
t:
Global.Tree
,
args:
List
[
Global.Tree
]
)
:
Boolean
Definition Classes
Adaptation
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
computeMacroDefType
(
ddef:
Global.DefDef
,
pt:
Global.Type
)
:
Global.Type
Definition Classes
Typer
def
computeParamAliases
(
clazz:
Global.Symbol
,
vparamss:
List
[
List
[
Global.ValDef
]]
,
rhs:
Global.Tree
)
:
Unit
Definition Classes
Typer
def
computeType
(
tree:
Global.Tree
,
pt:
Global.Type
)
:
Global.Type
Definition Classes
Typer
final
def
constrTyperIf
(
inConstr:
Boolean
)
:
ParadiseAnalyzer.Typer
Definition Classes
Typer
var
context
:
ParadiseAnalyzer.Context
Definition Classes
Typer
def
context1
:
ParadiseAnalyzer.Context
Definition Classes
Typer
def
cyclicReferenceMessage
(
sym:
Global.Symbol
,
tree:
Global.Tree
)
:
Option
[
String
]
Definition Classes
TyperDiagnostics
def
doTypedApply
(
tree:
Global.Tree
,
fun0:
Global.Tree
,
args:
List
[
Global.Tree
]
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
doTypedUnapply
(
tree:
Global.Tree
,
fun0:
Global.Tree
,
fun:
Global.Tree
,
args:
List
[
Global.Tree
]
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
PatternTyper
def
dropExistential
(
tp:
Global.Type
)
:
Global.Type
Definition Classes
Typer
def
enterSym
(
txt:
ParadiseAnalyzer.Context
,
tree:
Global.Tree
)
:
ParadiseAnalyzer.Context
Attributes
protected
Definition Classes
Typer
def
enterSyms
(
txt:
ParadiseAnalyzer.Context
,
trees:
List
[
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:
Global.Position
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
PatternTyper
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
finishMethodSynthesis
(
templ:
Global.Template
,
clazz:
Global.Symbol
,
context:
ParadiseAnalyzer.Context
)
:
Global.Template
Attributes
protected
Definition Classes
Typer
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
val
infer
:
ParadiseAnalyzer.Inferencer
Definition Classes
Typer
def
inferView
(
tree:
Global.Tree
,
from:
Global.Type
,
to:
Global.Type
,
reportAmbiguous:
Boolean
,
saveErrors:
Boolean
)
:
Global.Tree
Definition Classes
Typer
def
inferView
(
tree:
Global.Tree
,
from:
Global.Type
,
to:
Global.Type
,
reportAmbiguous:
Boolean
)
:
Global.Tree
Definition Classes
Typer
def
instantiate
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
instantiateExpectingUnit
(
tree:
Global.Tree
,
mode:
Mode
)
:
Global.Tree
Definition Classes
Typer
def
instantiatePossiblyExpectingUnit
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
isCapturedExistential
(
sym:
Global.Symbol
)
:
Boolean
Definition Classes
Typer
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
isNamedApplyBlock
(
tree:
Global.Tree
)
:
Boolean
Definition Classes
Typer
def
isReferencedFrom
(
ctx:
ParadiseAnalyzer.Context
,
sym:
Global.Symbol
)
:
Boolean
Definition Classes
Typer
def
isStale
(
sym:
Global.Symbol
)
:
Boolean
Definition Classes
Typer
def
labelTyper
(
ldef:
Global.LabelDef
)
:
ParadiseAnalyzer.Typer
Definition Classes
Typer
def
macroImplementationNotFoundMessage
(
name:
Global.Name
)
:
String
Attributes
protected
Definition Classes
TyperContextErrors
def
member
(
qual:
Global.Tree
,
name:
Global.Name
)
:
Global.Symbol
Definition Classes
Typer
def
missingSelectErrorTree
(
tree:
Global.Tree
,
qual:
Global.Tree
,
name:
Global.Name
)
:
Global.Tree
Definition Classes
Typer
def
namer
:
ParadiseAnalyzer.Namer
Definition Classes
Typer
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
needsInstantiation
(
tparams:
List
[
Global.Symbol
]
,
formals:
List
[
Global.Type
]
,
args:
List
[
Global.Tree
]
)
:
Boolean
Definition Classes
Typer
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
packCaptured
(
tpe:
Global.Type
)
:
Global.Type
Definition Classes
Typer
def
packSymbols
(
hidden:
List
[
Global.Symbol
]
,
tp:
Global.Type
)
:
Global.Type
Definition Classes
Typer
def
packedType
(
tree:
Global.Tree
,
owner:
Global.Symbol
)
:
Global.Type
Definition Classes
Typer
def
packedTypes
(
trees:
List
[
Global.Tree
]
)
:
List
[
Global.Type
]
Definition Classes
Typer
def
permanentlyHiddenWarning
(
pos:
Global.Position
,
hidden:
Global.Name
,
defn:
Global.Symbol
)
:
Unit
Definition Classes
TyperDiagnostics
def
qualifyingClass
(
tree:
Global.Tree
,
qual:
Global.Name
,
packageOK:
Boolean
)
:
Global.Symbol
Definition Classes
Typer
def
reallyExists
(
sym:
Global.Symbol
)
:
Boolean
Definition Classes
Typer
def
reenterTypeParams
(
tparams:
List
[
Global.TypeDef
]
)
:
List
[
Global.Symbol
]
Definition Classes
Typer
def
reenterValueParams
(
vparamss:
List
[
List
[
Global.ValDef
]]
)
:
Unit
Definition Classes
Typer
def
reportTypeError
(
context0:
ParadiseAnalyzer.Context
,
pos:
Global.Position
,
ex:
Global.TypeError
)
:
Unit
Definition Classes
TyperDiagnostics
def
resolveClassTag
(
pos:
Global.Position
,
tp:
Global.Type
,
allowMaterialization:
Boolean
)
:
Global.Tree
Definition Classes
Tag
def
resolveTypeTag
(
pos:
Global.Position
,
pre:
Global.Type
,
tp:
Global.Type
,
concrete:
Boolean
,
allowMaterialization:
Boolean
)
:
Global.Tree
Definition Classes
Tag
def
rewrappingWrapperTrees
(
f: (
Global.Tree
) ⇒
List
[
Global.Tree
]
)
: (
Global.Tree
) ⇒
List
[
Global.Tree
]
Definition Classes
Typer
val
runDefinitions
:
reflect.internal.Definitions.definitions.RunDefinitions
Definition Classes
Typer
def
samToFunctionType
(
tp:
Global.Type
,
sam:
Global.Symbol
)
:
Global.Type
Definition Classes
Typer
def
silent
[
T
]
(
op: (
ParadiseAnalyzer.Typer
) ⇒
T
,
reportAmbiguousErrors:
Boolean
,
newtree:
Global.Tree
)
:
ParadiseAnalyzer.SilentResult
[
T
]
Definition Classes
Typer
def
stabilize
(
tree:
Global.Tree
,
pre:
Global.Type
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Attributes
protected
Definition Classes
Typer
def
stabilizeFun
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
synthesizePartialFunction
(
paramName:
Global.TermName
,
paramPos:
Global.Position
,
paramSynthetic:
Boolean
,
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
synthesizeSAMFunction
(
sam:
Global.Symbol
,
fun:
Global.Function
,
resPt:
Global.Type
,
samClassTp:
Global.Type
,
mode:
Mode
)
:
Global.Tree
Definition Classes
Typer
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
transformedOr
(
tree:
Global.Tree
,
op: ⇒
Global.Tree
)
:
Global.Tree
Definition Classes
Typer
def
transformedOrTyped
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
typed
(
tree:
Global.Tree
,
mode:
Mode
)
:
Global.Tree
Definition Classes
Typer
def
typed
(
tree:
Global.Tree
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
typed
(
tree:
Global.Tree
)
:
Global.Tree
Definition Classes
Typer
def
typed
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
typed1
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
typedAnnotation
(
ann:
Global.Tree
,
mode:
Mode
)
:
Global.AnnotationInfo
Definition Classes
Typer
def
typedArg
(
arg:
Global.Tree
,
mode:
Mode
,
newmode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
typedArgs
(
args:
List
[
Global.Tree
]
,
mode:
Mode
)
:
collection.immutable.List
[
Global.Tree
]
Definition Classes
Typer
def
typedArgsForFormals
(
args:
List
[
Global.Tree
]
,
formals:
List
[
Global.Type
]
,
mode:
Mode
)
:
List
[
Global.Tree
]
Definition Classes
PatternTyper
def
typedBlock
(
block0:
Global.Block
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Block
Definition Classes
Typer
def
typedByValueExpr
(
tree:
Global.Tree
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
typedCase
(
cdef:
Global.CaseDef
,
pattpe:
Global.Type
,
pt:
Global.Type
)
:
Global.CaseDef
Definition Classes
Typer
def
typedCases
(
cases:
List
[
Global.CaseDef
]
,
pattp:
Global.Type
,
pt:
Global.Type
)
:
List
[
Global.CaseDef
]
Definition Classes
Typer
def
typedClassDef
(
cdef:
Global.ClassDef
)
:
Global.Tree
Definition Classes
Typer
def
typedClassOf
(
tree:
Global.Tree
,
tpt:
Global.Tree
,
noGen:
Boolean
)
:
Global.Tree
Definition Classes
Typer
def
typedConstructorPattern
(
fun0:
Global.Tree
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
PatternTyper
def
typedDefDef
(
ddef:
Global.DefDef
)
:
Global.DefDef
Definition Classes
ParadiseTyper
→ Typer
def
typedDocDef
(
docDef:
Global.DocDef
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
typedExistentialTypeTree
(
tree:
Global.ExistentialTypeTree
,
mode:
Mode
)
:
Global.Tree
Attributes
protected
Definition Classes
Typer
def
typedHigherKindedType
(
tree:
Global.Tree
,
mode:
Mode
)
:
Global.Tree
Definition Classes
Typer
def
typedHigherKindedType
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
typedImport
(
imp:
Global.Import
)
:
Global.Import
Definition Classes
Typer
def
typedInPattern
(
tree:
Global.Typed
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Attributes
protected
Definition Classes
PatternTyper
def
typedLabelDef
(
ldef:
Global.LabelDef
)
:
Global.LabelDef
Definition Classes
Typer
def
typedMatch
(
selector:
Global.Tree
,
cases:
List
[
Global.CaseDef
]
,
mode:
Mode
,
pt:
Global.Type
,
tree:
Global.Tree
)
:
Global.Match
Definition Classes
Typer
def
typedModifiers
(
mods:
Global.Modifiers
)
:
Global.Modifiers
Definition Classes
Typer
def
typedModuleDef
(
mdef:
Global.ModuleDef
)
:
Global.Tree
Definition Classes
Typer
def
typedOperator
(
tree:
Global.Tree
)
:
Global.Tree
Definition Classes
Typer
def
typedParentTypes
(
templ:
Global.Template
)
:
List
[
Global.Tree
]
Definition Classes
Typer
def
typedPattern
(
tree:
Global.Tree
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
typedPos
(
pos:
Global.Position
)
(
tree:
Global.Tree
)
:
Global.Tree
Definition Classes
Typer
def
typedPos
(
pos:
Global.Position
,
mode:
Mode
,
pt:
Global.Type
)
(
tree:
Global.Tree
)
:
Global.Tree
Definition Classes
Typer
def
typedQualifier
(
tree:
Global.Tree
)
:
Global.Tree
Definition Classes
Typer
def
typedQualifier
(
tree:
Global.Tree
,
mode:
Mode
)
:
Global.Tree
Definition Classes
Typer
def
typedQualifier
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
Typer
def
typedRefinement
(
templ:
Global.Template
)
:
Unit
Definition Classes
Typer
def
typedStarInPattern
(
tree:
Global.Tree
,
mode:
Mode
,
pt:
Global.Type
)
:
Global.Tree
Attributes
protected
Definition Classes
PatternTyper
def
typedStats
(
stats:
List
[
Global.Tree
]
,
exprOwner:
Global.Symbol
)
:
List
[
Global.Tree
]
Definition Classes
Typer
def
typedTemplate
(
templ0:
Global.Template
,
parents1:
List
[
Global.Tree
]
)
:
Global.Template
Definition Classes
Typer
def
typedType
(
tree:
Global.Tree
)
:
Global.Tree
Definition Classes
Typer
def
typedType
(
tree:
Global.Tree
,
mode:
Mode
)
:
Global.Tree
Definition Classes
Typer
def
typedTypeApply
(
tree:
Global.Tree
,
mode:
Mode
,
fun:
Global.Tree
,
args:
List
[
Global.Tree
]
)
:
Global.Tree
Attributes
protected
Definition Classes
Typer
def
typedTypeConstructor
(
tree:
Global.Tree
)
:
Global.Tree
Definition Classes
Typer
def
typedTypeConstructor
(
tree:
Global.Tree
,
mode:
Mode
)
:
Global.Tree
Definition Classes
Typer
def
typedTypeDef
(
tdef:
Global.TypeDef
)
:
Global.TypeDef
Definition Classes
Typer
def
typedValDef
(
vdef:
Global.ValDef
)
:
Global.ValDef
Definition Classes
Typer
final
def
typerWithCondLocalContext
[
T
]
(
c: ⇒
ParadiseAnalyzer.Context
)
(
cond:
Boolean
)
(
f: (
ParadiseAnalyzer.Typer
) ⇒
T
)
:
T
Definition Classes
Typer
Annotations
@inline
()
final
def
typerWithLocalContext
[
T
]
(
c:
ParadiseAnalyzer.Context
)
(
f: (
ParadiseAnalyzer.Typer
) ⇒
T
)
:
T
Definition Classes
Typer
Annotations
@inline
()
def
validateParentClasses
(
parents:
List
[
Global.Tree
]
,
selfType:
Global.Type
)
:
Unit
Definition Classes
Typer
def
viewExists
(
from:
Global.Type
,
to:
Global.Type
)
:
Boolean
Definition Classes
Typer
def
virtualizedMatch
(
match_:
Global.Match
,
mode:
Mode
,
pt:
Global.Type
)
:
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
(
...
)
def
warnTypeParameterShadow
(
tparams:
List
[
Global.TypeDef
]
,
sym:
Global.Symbol
)
:
Unit
Definition Classes
TyperDiagnostics
final
def
withCondConstrTyper
[
T
]
(
inConstr:
Boolean
)
(
f: (
ParadiseAnalyzer.Typer
) ⇒
T
)
:
T
Definition Classes
Typer
Annotations
@inline
()
def
wrapClassTagUnapply
(
uncheckedPattern:
Global.Tree
,
classTagExtractor:
Global.Tree
,
pt:
Global.Type
)
:
Global.Tree
Definition Classes
PatternTyper
Inherited from
ParadiseAnalyzer.Typer
Inherited from
ParadiseAnalyzer.TyperContextErrors
Inherited from
ParadiseAnalyzer.PatternTyper
Inherited from
ParadiseAnalyzer.Tag
Inherited from
ParadiseAnalyzer.Adaptation
Inherited from
ParadiseAnalyzer.TyperDiagnostics
Inherited from
AnyRef
Inherited from
Any
Ungrouped