package org.jquantlib.lang.annotation;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

/**
 * This annotation is intended to mark a type as non-negative number
 * 
 * @note An annotation processor is responsible for instrumenting the bytecode as needed for
 * guarantee that a field, local variable or parameter only assumes valid values.
 * 
 * @see Natural number
 * @see JSR 308: Annotations on Java Types
 * @see Strong Type Checking  
 * 
 * @author Richard Gomes
 */
@Target({ ElementType.TYPE_USE, ElementType.FIELD, ElementType.METHOD, ElementType.LOCAL_VARIABLE, ElementType.PARAMETER })
public @interface NonNegative {
    // tagging annotation
}