Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT

jass.modern
Annotation Type Pre

@Documented
@Target(value={CONSTRUCTOR,METHOD})
@Retention(value=CLASS)
@Level1Desugarable(value=PRE)
public @interface Pre

The Pre-annotation implements a pre-condition.

Author:
riejo

Required Element Summary
 String value
          A valid Java expression which evaluates to a boolean.
 

Element Detail

value

@Code
public abstract String value
A valid Java expression which evaluates to a boolean.

Returns:
Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT