org
.
scalajs
.
core
.
tools
.
optimizer
IRChecker
Related Docs:
object IRChecker
|
package optimizer
class
IRChecker
extends
AnyRef
Checker for the validity of the IR.
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
IRChecker
AnyRef
Any
Hide All
Show all
Visibility
Public
All
Instance Constructors
new
IRChecker
(
unit:
LinkingUnit
,
logger:
Logger
)
Type Members
class
CheckedClass
extends
AnyRef
class
CheckedField
extends
AnyRef
class
Env
extends
AnyRef
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
CheckedClass
object
Env
def
arrayElemType
(
arrayType:
ArrayType
)
(
implicit
ctx:
ErrorContext
)
:
Type
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
check
()
:
Boolean
def
checkConstructorExportDef
(
ctorDef:
ConstructorExportDef
,
classDef:
LinkedClass
)
:
Unit
def
checkExportedMethodDef
(
methodDef:
MethodDef
,
classDef:
LinkedClass
)
:
Unit
def
checkExportedPropertyDef
(
propDef:
PropertyDef
,
classDef:
LinkedClass
)
:
Unit
def
checkFieldDef
(
fieldDef:
FieldDef
,
classDef:
LinkedClass
)
:
Unit
def
checkMethodDef
(
methodDef:
MethodDef
,
classDef:
LinkedClass
)
:
Unit
def
checkModuleExportDef
(
moduleDef:
ModuleExportDef
,
classDef:
LinkedClass
)
:
Unit
def
checkScalaClassDef
(
classDef:
LinkedClass
)
:
Unit
def
checkStaticMembers
(
classDef:
LinkedClass
)
:
Unit
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
decodeType
(
encodedName:
String
)
(
implicit
ctx:
ErrorContext
)
:
Type
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
errorCount
:
Int
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
inferMethodType
(
encodedName:
String
,
isStatic:
Boolean
)
(
implicit
ctx:
ErrorContext
)
: (
List
[
Type
],
Type
)
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
isSubclass
(
lhs:
String
,
rhs:
String
)
(
implicit
ctx:
ErrorContext
)
:
Boolean
def
isSubtype
(
lhs:
Type
,
rhs:
Type
)
(
implicit
ctx:
ErrorContext
)
:
Boolean
def
lookupClass
(
classType:
ClassType
)
(
implicit
ctx:
ErrorContext
)
:
CheckedClass
def
lookupClass
(
className:
String
)
(
implicit
ctx:
ErrorContext
)
:
CheckedClass
def
lookupInfo
(
className:
String
)
(
implicit
ctx:
ErrorContext
)
:
ClassInfo
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
reportError
(
msg:
String
)
(
implicit
ctx:
ErrorContext
)
:
Unit
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
tryLookupClass
(
className:
String
)
(
implicit
ctx:
ErrorContext
)
:
Either
[
ClassInfo
,
CheckedClass
]
def
typecheck
(
tree:
Tree
,
env:
Env
)
:
Type
def
typecheckExpect
(
tree:
Tree
,
env:
Env
,
expectedType:
Type
)
(
implicit
ctx:
ErrorContext
)
:
Unit
def
typecheckExpr
(
tree:
Tree
,
env:
Env
)
:
Type
def
typecheckStat
(
tree:
Tree
,
env:
Env
)
:
Env
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
(
...
)
Inherited from
AnyRef
Inherited from
Any
Ungrouped
Checker for the validity of the IR.