Package com.oracle.truffle.api.dsl
Annotation Type Specialization
-
Optional Element Summary
Optional ElementsModifier and TypeOptional ElementDescriptionString[]
Defines the assumptions to check for this specialization.String[]
The contains attribute declares all specializations that are contained by this specialization.String[]
Inserts this and all specializations that are declared after this specialization before a specialization in the superclass.int
Deprecated.use declaration order instead. -
Field Summary
Fields
-
Field Details
-
DEFAULT_ORDER
Deprecated.do not use anymore. Will get removed in the next release.- See Also:
-
-
Element Details
-
order
Deprecated.use declaration order instead. Will get removed in the next release.The order has no effect anymore. The declaration order specialization methods is used instead.- Default:
- -1
-
insertBefore
String insertBeforeInserts this and all specializations that are declared after this specialization before a specialization in the superclass. By default all specializations of the subclass are appended to the specializations of the superclass.- Default:
- ""
-
rewriteOn
- Default:
- {}
-
contains
String[] containsThe contains attribute declares all specializations that are contained by this specialization. A containing specialization must be strictly generic as the contained specialization.- Default:
- {}
-
guards
String[] guards- Default:
- {}
-
assumptions
String[] assumptionsDefines 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:
- {}
-