org.checkerframework.checker.units.qual

Annotation Type UnitsMultiple

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.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
java.lang.Class<? extends java.lang.annotation.Annotation>	quantity

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
Prefix	prefix

Element Detail

quantity

public abstract java.lang.Class<? extends java.lang.annotation.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