All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.checkerframework.checker.units.qual.UnitsRelations Maven / Gradle / Ivy

The newest version!
package org.checkerframework.checker.units.qual;

import java.lang.annotation.Documented;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;

/**
 * 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 {@link
 * org.checkerframework.checker.units.UnitsRelations}.
 *
 * @see org.checkerframework.checker.units.UnitsRelations
 * @checker_framework.manual #units-checker Units Checker
 */
@Documented
@Retention(RetentionPolicy.RUNTIME)
public @interface UnitsRelations {
  /**
   * Returns the subclass of {@link org.checkerframework.checker.units.UnitsRelations} to use.
   *
   * @return the subclass of {@link org.checkerframework.checker.units.UnitsRelations} to use
   */
  // The more precise type is Class,
  // but org.checkerframework.checker.units.UnitsRelations is not in checker-qual.jar, nor can
  // it be since it uses AnnotatedTypeMirrors.  So this declaration uses a less precise type, and
  // UnitsAnnotatedTypeFactory checks that the argument implements
  // org.checkerframework.checker.units.UnitsRelations.
  Class value();
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy