|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |
@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 |
---|
public abstract double value
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |