tools
tools
scala.scalanative.build
Build
BuildException
BuildTarget
BuildTarget
Config
Config
Discover
GC
GC
LTO
LTO
Logger
Logger
Mode
Mode
NativeConfig
NativeConfig
OptimizerConfig
OptimizerConfig
Platform
scala.scalanative.buildinfo
ScalaNativeBuildInfo
scala.scalanative.checker
Check
Check
Error
scala.scalanative.codegen
CodeGen
Impl
DynamicHashMap
DynmethodPerfectHashMap
FieldLayout
Generate
GenerateReflectiveProxies
HasTraitTables
IncrementalCodeGenContext
Lower
MemoryLayout
MemoryLayout
PositionedType
Metadata
ModuleArray
PerfectHashMap
PerfectHashMap
RuntimeTypeInformation
TraitDispatchTable
VirtualTable
scala.scalanative.interflow
ArrayKind
BailOut
BinRef
BoxKind
ClassKind
Combine
CompRef
ConvRef
DelayedInstance
DelayedRef
EscapedInstance
EscapedRef
Eval
Inline
Instance
InstanceRef
Interflow
Interflow
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
)
Companion:
object
Graph
Supertypes
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
checkInfo
(
info:
Info
):
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
def
checkMethod
(
meth:
Method
):
Unit
def
checkNext
(
next:
Next
):
Unit
def
checkOp
(
op:
Op
):
Unit
def
checkUnwind
(
next:
Next
):
Unit
def
enterInst
(
inst:
Inst
):
Unit
def
error
(
msg:
String
):
Unit
def
expect
(
expected:
Type
,
got:
Val
):
Unit
def
expect
(
expected:
Type
,
got:
Type
):
Unit
def
in
[
T
](
entry:
String
)(
f:
=>
T
):
T
def
ok
:
Unit
def
run
(
infos:
Seq
[
Info
]):
Unit
Concrete fields
var
ctx
:
List
[
String
]
val
env
:
Map
[
Local
,
Type
]
val
errors
:
UnrolledBuffer
[
Error
]
val
labels
:
Map
[
Local
,
Seq
[
Type
]]
var
name
:
Global
var
retty
:
Type