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