blob: 590d0fe2584a1a8f44b882c538b3a4d7ec0678ab [file] [log] [blame]
package org.checkerframework.checker.units.qual;
import java.lang.annotation.Documented;
import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;
import org.checkerframework.framework.qual.SubtypeOf;
/**
* Square kilometer.
*
* @checker_framework.manual #units-checker Units Checker
*/
@Documented
@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
@SubtypeOf(Area.class)
@SuppressWarnings("checkstyle:typename")
public @interface km2 {}