org.vmmagic.pragma

Annotation Type Pure

@Retention(value=RUNTIME)
 @Target(value=METHOD)
public @interface Pure

This pragma is used to indicate a method has no side effects. Use this pragma with care as it can cause compile time invocation of the method it is placed on. This pragma is used to imply weak purity of a method, and as such cannot remove calls to pure methods - as they may throw exceptions.

We currently don't have a pragma that could be used for such methods, see RVM-503 for details.