com.oracle.truffle.sl.runtime

Class SLType

java.lang.Object

com.oracle.truffle.sl.runtime.SLType

All Implemented Interfaces:

com.oracle.truffle.api.interop.TruffleObject

public final class SLType
extends Object
implements com.oracle.truffle.api.interop.TruffleObject

The builtin type definitions for SimpleLanguage. SL has no custom types, so it is not possible for a guest program to create new instances of SLType.

The isInstance type checks are declared using an functional interface and are expressed using the interoperability libraries. The advantage of this is type checks automatically work for foreign values or primitive values like byte or short.

The class implements the interop contracts for InteropLibrary.isMetaObject(Object) and InteropLibrary.isMetaInstance(Object, Object). The latter allows other languages and tools to perform type checks using types of simple language.

In order to assign types to guest language values, SL values implement InteropLibrary.getMetaObject(Object). The interop contracts for primitive values cannot be overriden, so in order to assign meta-objects to primitive values, the primitive values are assigned using language views. See SLLanguage.getLanguageView(com.oracle.truffle.sl.runtime.SLContext, java.lang.Object).

Field Summary

Fields

Modifier and Type	Field and Description
static SLType	BOOLEAN
static SLType	FUNCTION
static SLType	NULL
static SLType	NUMBER
static SLType	OBJECT
static SLType[]	PRECEDENCE
static SLType	STRING

Method Summary

Modifier and Type	Method and Description
Object	getName()
boolean	isInstance(Object value, com.oracle.truffle.api.interop.InteropLibrary interop) Checks whether this type is of a certain instance.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

NUMBER

public static final SLType NUMBER

NULL

public static final SLType NULL

STRING

public static final SLType STRING

BOOLEAN

public static final SLType BOOLEAN

OBJECT

public static final SLType OBJECT

FUNCTION

public static final SLType FUNCTION

PRECEDENCE

public static final SLType[] PRECEDENCE

Method Detail

isInstance

public boolean isInstance(Object value,
                          com.oracle.truffle.api.interop.InteropLibrary interop)

Checks whether this type is of a certain instance. If used on fast-paths it is required to cast SLType to a constant.

getName

public Object getName()

toString

public String toString()

Overrides:

toString in class Object