jass.modern
Annotation Type Min

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

Defines a lower 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