Package org.checkerframework.checker.units.qual

Annotation Type MixedUnits

  • @Documented
@Retention(RUNTIME)
@Target({})
@SubtypeOf(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