org.vmmagic
Annotation Type Pragma

@Retention(value=RUNTIME)
@Target(value={TYPE,ANNOTATION_TYPE})
@Inherited
public @interface Pragma

A Pragma is a mechanism for supplying information to the compiler to alter the code it generates for a method. A Pragma is similar to an Intrinsic but it does not provide any behaviour but provides information to the compiler that modifies optimizations, calling conventions and activation frame layout.

If the Pragma annotation is applied to a method then then the method is a handled specially by the compiler. If the Pragma annotation is applied to a class then then all the methods in that class are handled specially by the compiler.

NOTE: At the current time the Pragma annotation is only used for documentation purposes but in the near future it is expected that the semantics of the annotation will be enforced by the compiler.