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 Returns the base unit to use.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
Prefix	prefix Returns the scaling prefix.

Element Detail

quantity

public abstract Class<? extends Annotation> quantity

Returns the base unit to use.

Returns:

the base unit to use

prefix

public abstract Prefix prefix

Returns the scaling prefix.

Returns:

the scaling prefix

Default:

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