Package

scala.scalanative

linker

Permalink

package linker

Visibility

Public
All

Type Members

final class Class extends ScopeInfo
sealed abstract class ClassLoader extends AnyRef
sealed trait ClassPath extends AnyRef
trait Extractor[T] extends AnyRef
final class Field extends MemberInfo
sealed abstract class Info extends AnyRef
final class LinkingException extends Exception

Exception that is thrown when a Scala Native linking fails.
trait LinktimeValueResolver extends AnyRef
sealed abstract class MemberInfo extends Info
final class Method extends MemberInfo
class Reach extends LinktimeValueResolver
final class Result extends AnyRef
sealed abstract class ScopeInfo extends Info
final class Trait extends ScopeInfo
final class Unavailable extends Info

Value Members

object ArrayRef
object BoxRef
object Class
object ClassLoader
object ClassPath
object ClassRef extends Extractor[Class]
object ExactClassRef
object FieldRef extends Extractor[(Info, Field)]
object Link
object MethodRef extends Extractor[(Info, Method)]
object Reach
object Ref extends Extractor[Info]
object ScopeRef extends Extractor[ScopeInfo]
object Sub

Our subtyping can be described by a following diagram:
Our subtyping can be described by a following diagram:
```
value kind        ref kind         special kind
|     \           |    \
|     |           |      \
prim  aggr        class  trait
|     |           |      /
|     |           |    /
|     |           null
|     |           /
|     |       /
|     |   /
nothing
```
Primitive and aggregate types don't participate in subtyping and they have to be explicitly boxed to become compatible with a reference type.
Reference types form a simple lattice with java.lang.Object at the top and null type at the bottom. Subtyping between traits and classes is based on linearization of the all transitive parents, similarly to scalac.
Nothing is the common bottom type between reference and value types. It represents computations that may never complete normally (either loops forever or throws an exception).
object TraitRef extends Extractor[Trait]
object UnitRef

Ungrouped