org.checkerframework.checker.tainting.qual
public @Interface Tainted
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:TYPE_USE, TYPE_PARAMETER
- @SubtypeOf
- @DefaultQualifierInHierarchy
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultQualifierInHierarchy, .SubtypeOf
Denotes a possibly-tainted value: at run time, the value might be tainted or might be untainted.
- See Also
Untainted, org.checkerframework.checker.tainting.TaintingChecker
