Annotation Type km
-
@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(Length.class) @UnitsMultiple(quantity=m.class, prefix=kilo) public @interface km
Kilometer.- See the Checker Framework Manual:
- Units Checker
@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(Length.class) @UnitsMultiple(quantity=m.class, prefix=kilo) public @interface km