Package org.checkerframework.checker.units.qual

Annotation Type UnitsRelations

  • @Documented
@Retention(RUNTIME)
public @interface UnitsRelations
    Specify the class that knows how to handle the meta-annotated unit when put in relation (plus, multiply, ...) with another unit. That class is a subtype of interface org.checkerframework.checker.units.UnitsRelations.
    See Also:
    org.checkerframework.checker.units.UnitsRelations

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      Class<?> value
      Returns the subclass of org.checkerframework.checker.units.UnitsRelations to use.

    • Element Detail

      • value

        Class<?> value
        Returns the subclass of org.checkerframework.checker.units.UnitsRelations to use.
        Returns:
        the subclass of org.checkerframework.checker.units.UnitsRelations to use