Package com.oracle.truffle.api.dsl
Annotation Type Specialization
-
@Retention(RUNTIME) @Target(METHOD) public @interface Specialization
-
-
Field Summary
Fields Modifier and Type Fields Description static int
DEFAULT_ORDER
Deprecated.do not use anymore.
-
Optional Element Summary
Optional Elements Modifier and Type Optional Element Description java.lang.String[]
assumptions
Defines the assumptions to check for this specialization.java.lang.String[]
contains
The contains attribute declares all specializations that are contained by this specialization.java.lang.String[]
guards
java.lang.String
insertBefore
Inserts this and all specializations that are declared after this specialization before a specialization in the superclass.int
order
Deprecated.use declaration order instead.java.lang.Class<? extends java.lang.Throwable>[]
rewriteOn
-
-
-
-
assumptions
java.lang.String[] assumptions
Defines the assumptions to check for this specialization. When the specialization method is invoked it is guaranteed that these assumptions still hold. It is not guaranteed that they are checked before theguards()
methods. They may be checked before after or in betweenguards()
. To declare assumptions use theNodeAssumptions
annotation at class level.- Default:
- {}
-
-