Top Description Methods
org.checkerframework.checker.units.qual

public @Interface UnitsMultiple

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
Imports
java.lang.annotation.Annotation, .Documented, .Retention, .RetentionPolicy

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.

Method Summary

Modifier and TypeMethod and Description
public Prefix

Returns:

the scaling prefix
prefix
()

Returns the scaling prefix.

public Class<? extends Annotation>

Returns:

the base unit to use
quantity
()

Returns the base unit to use.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

prefixback to summary
public Prefix prefix()

Returns the scaling prefix.

Returns:Prefix

the scaling prefix

quantityback to summary
public Class<? extends Annotation> quantity()

Returns the base unit to use.

Returns:Class<? extends Annotation>

the base unit to use