jass.modern
Annotation Type InvariantDefinitions

@Documented
@Container
@Retention(value=CLASS)
@Target(value=TYPE)
public @interface InvariantDefinitions

A container-annotation for Invariantiants.
This annotation can only be added to type declarations. E.g:

 @Invariants( 
        { @Invar("fType != null"), @Invar("fSize >= 0") })
 class CU {
   Object fType = new Object();
   int fSize = 123;
 
   //...
 }
 

Note, that the Invariant-annotation can be placed at types and fields.

Author:

riejo

Required Element Summary

Invariant[]

value

Element Detail

value

public abstract Invariant[] value

Returns:

The invariants captured in this container.