Annotation Type Tainted
-
@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @DefaultQualifierInHierarchy @SubtypeOf({}) public @interface Tainted
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