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

jass.modern
Annotation Type Post

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

A post-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:
The expression.
Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT