jass.modern
Annotation Type Max


@Documented
@Target(value={FIELD,PARAMETER,METHOD})
@Level2Desugarable(pattern="@Target <= @ValueOf(value)",
                   types=java.lang.Number.class)
public @interface Max

Defines an upper bound of a numeric parameter.
This is a super-lightweight spec, so that:

 void m(@Max(5) int a){    }
 
is as good as
 @Spec( @Case( pre = "a <= 5"))
 


Required Element Summary
 double value
           
 

Element Detail

value

public abstract double value