package linker
Ordering
- Alphabetic
Visibility
- Public
- Protected
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