jass.modern
Annotation Type Range

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

This annotation is used to specify the range of numeric parameters.
This annotation is for very lightweight specification so that

void m(@Range(-1, 1) int a){ }

is equivalent to

 @Spec(@Case(pre="-1 <= a && a <= 1))
 void m(int a){ }
 

Author:

riejo

Optional Element Summary

double	from
double	to

from

public abstract double from

Default:

4.9E-324

to

public abstract double to

Default:

4.9E-324