@Documented
@Retention(value=RUNTIME)
@Target(value={})
@SubtypeOf(value=UnknownUnits.class)
public @interface MixedUnits
MixedUnits is the result of multiplying or dividing units, where no more specific unit is known
from a UnitsRelations implementation.
- See the Checker Framework Manual:
- Units Checker