@Retention(value=RUNTIME)
@Target(value=METHOD)
public @interface Specialization
Modifier and Type | Fields and Description |
---|---|
static int |
DEFAULT_ORDER
Deprecated.
do not use anymore. Will get removed in the next release.
|
Modifier and Type | Optional Element and 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. Will get removed in the next release.
|
java.lang.Class<? extends java.lang.Throwable>[] |
rewriteOn |
@Deprecated public static final int DEFAULT_ORDER
@Deprecated public abstract int order
public abstract java.lang.String insertBefore
public abstract java.lang.String[] contains
public abstract java.lang.String[] assumptions
guards()
methods. They may be checked before after or in
between guards()
. To declare assumptions use the NodeAssumptions
annotation
at class level.