Annotation Type m
-
@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(Length.class) public @interface m
Meter.- See the Checker Framework Manual:
- Units Checker
-
-
Element Detail
-
value
Prefix value
- Default:
- org.checkerframework.checker.units.qual.Prefix.one
-
-