org.checkerframework.checker.units.qual

Annotation Type UnitsMultiple

@Documented
 @Retention(value=RUNTIME)
public @interface UnitsMultiple

Define the relation between a base unit and the current unit.

TODO: add support for factors and more general formulas? E.g. it would be cool if the relation hour → minute and Fahrenheit → Celsius could be expressed.

See the Checker Framework Manual:

Units Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
Class<? extends Annotation>	quantity

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
Prefix	prefix

Element Detail

quantity

public abstract Class<? extends Annotation> quantity

Returns:

the base unit to use

prefix

public abstract Prefix prefix

Returns:

the scaling prefix

Default:

org.checkerframework.checker.units.qual.Prefix.one