@Retention(value=RUNTIME)
@Target(value=METHOD)
public @interface Specialization
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 abstract int order
public abstract java.lang.String insertBefore
public abstract java.lang.Class<? extends java.lang.Throwable>[] rewriteOn
public abstract java.lang.String[] contains
public abstract java.lang.String[] guards
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.