com.oracle.truffle.api.dsl

Annotation Type TypeCheck

@Retention(value=CLASS)
 @Target(value=METHOD)
public @interface TypeCheck

Overrides the standard way of checking for a certain type in a TypeSystem. This is useful for types where the guest language specific type check can be implemented more efficiently than an instanceof check. The annotated method must be contained in a TypeSystem annotated class. Type checks must conform to the following signature: public static boolean is{TypeName}(Object value). The checked type must be a type declared in the TypeSystem.

If no TypeCheck is declared then the type system implicitly uses a type check that can be declared as follows:

  @TypeCheck(Type.class)
 public static boolean isType(Object value) {
         return value instanceof Type;
 }
 

Since:

0.8 or earlier

See Also:

TypeCast

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
Class<?>	value

Element Detail

value

public abstract Class<?> value

Since:

0.8 or earlier