tools
tools
scala.scalanative.build
Build
BuildException
BuildTarget
BuildTarget
Config
Config
Discover
ContextBasedCache
GC
GC
LTO
LTO
Logger
Logger
Mode
Mode
NativeConfig
NativeConfig
OptimizerConfig
OptimizerConfig
Platform
scala.scalanative.buildinfo
ScalaNativeBuildInfo
scala.scalanative.checker
Check
Check
Error
NIRCheck
QuickCheck
scala.scalanative.codegen
CodeGen
Impl
CommonMemoryLayouts
ArrayHeader
ClassRtti
Layout
ObjectHeader
Rtti
DynamicHashMap
DynamicHashMap
DynmethodPerfectHashMap
FieldLayout
FieldLayout
Generate
GenerateReflectiveProxies
HasTraitTables
IncrementalCodeGenContext
Lower
MemoryLayout
MemoryLayout
PositionedType
Metadata
ModuleArray
PerfectHashMap
PerfectHashMap
PlatformInfo
RuntimeTypeInformation
RuntimeTypeInformation
TraitDispatchTable
VirtualTable
scala.scalanative.interflow
ArrayKind
BailOut
BinRef
BoxKind
ClassKind
Combine
CompRef
ConvRef
DelayedInstance
DelayedRef
EscapedInstance
EscapedRef
Eval
Inline
Instance
InstanceRef
Interflow
Interflow
LLVMIntrinsics
Intrinsics
Kind
Log
MergeBlock
MergePhi
MergeProcessor
MergeProcessor
Restart
NoOpt
Opt
PolyInline
State
StringKind
UseDef
BlockDef
Def
InstDef
VirtualInstance
VirtualRef
Visit
Whitelist
scala.scalanative.linker
ArrayRef
BoxRef
Class
Class
ClassLoader
ClassLoader
FromDisk
FromMemory
ClassPath
ClassPath
ClassRef
ExactClassRef
Extractor
Field
FieldRef
Info
Link
LinkingException
LinktimeValueResolver
MemberInfo
Method
MethodRef
Reach
Reach
Ref
Result
ScopeInfo
ScopeRef
Sub
Trait
TraitRef
Unavailable
UnitRef
tools
/
scala.scalanative.checker
/
Check
Check
final
class
Check
(
implicit
linked:
Result
)
extends
NIRCheck
Companion:
object
Graph
Supertypes
class
NIRCheck
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
def
checkAggregateOp
(
ty:
AggregateKind
,
indexes:
Seq
[
Val
],
stores:
Option
[
Type
]):
Unit
def
checkBinOp
(
bin:
Bin
,
ty:
Type
,
l:
Val
,
r:
Val
):
Unit
def
checkCallArgs
(
ty:
Function
,
args:
Seq
[
Val
]):
Unit
def
checkCompOp
(
comp:
Comp
,
ty:
Type
,
l:
Val
,
r:
Val
):
Unit
def
checkConvOp
(
conv:
Conv
,
ty:
Type
,
value:
Val
):
Unit
def
checkFieldOp
(
ty:
Type
,
obj:
Val
,
name:
Global
,
value:
Option
[
Val
]):
Unit
def
checkFloatOp
(
op:
String
,
ty:
Type
,
l:
Val
,
r:
Val
):
Unit
def
checkInst
(
inst:
Inst
):
Unit
def
checkIntegerOp
(
op:
String
,
ty:
Type
,
l:
Val
,
r:
Val
):
Unit
def
checkIntegerOrBoolOp
(
op:
String
,
ty:
Type
,
l:
Val
,
r:
Val
):
Unit
def
checkIntegerOrBoolOrRefOp
(
op:
String
,
ty:
Type
,
l:
Val
,
r:
Val
):
Unit
override
def
checkMethod
(
meth:
Method
):
Unit
Definition Classes
NIRCheck
def
checkNext
(
next:
Next
):
Unit
def
checkOp
(
op:
Op
):
Unit
def
checkUnwind
(
next:
Next
):
Unit
def
enterInst
(
inst:
Inst
):
Unit
def
in
[
T
](
entry:
String
)(
f:
=>
T
):
T
Inherited methods
final protected
def
checkFieldOp
(
op:
Field
):
Unit
Inherited from:
NIRCheck
def
checkInfo
(
info:
Info
):
Unit
Inherited from:
NIRCheck
final protected
def
checkMethodOp
(
op:
Method
):
Unit
Inherited from:
NIRCheck
def
error
(
msg:
String
):
Unit
Inherited from:
NIRCheck
def
expect
(
expected:
Type
,
got:
Type
):
Unit
Inherited from:
NIRCheck
def
expect
(
expected:
Type
,
got:
Val
):
Unit
Inherited from:
NIRCheck
def
ok
:
Unit
Inherited from:
NIRCheck
def
run
(
infos:
Seq
[
Info
]):
Unit
Inherited from:
NIRCheck
Concrete fields
val
env
:
Map
[
Local
,
Type
]
val
labels
:
Map
[
Local
,
Seq
[
Type
]]
var
retty
:
Type
Inherited fields
var
ctx
:
List
[
String
]
Inherited from:
NIRCheck
val
errors
:
UnrolledBuffer
[
Error
]
Inherited from:
NIRCheck
var
name
:
Global
Inherited from:
NIRCheck