com.signalfx.shaded.checkerframework.checker.signedness.qual.SignedPositiveFromUnsigned Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of signalfx-java Show documentation
Show all versions of signalfx-java Show documentation
SignalFx from Java client libraries
package com.signalfx.shaded.checkerframework.checker.signedness.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 com.signalfx.shaded.checkerframework.framework.qual.SubtypeOf;
/**
* The expression is {@code @}{@link SignedPositive}, and its value came from widening a value that
* is allowed to be interpreted as unsigned.
*
* Programmers should rarely write this annotation.
*
* @see SignednessGlb
* @checker_framework.manual #signedness-checker Signedness Checker
*/
@Documented
@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
@SubtypeOf({SignednessGlb.class})
public @interface SignedPositiveFromUnsigned {}