org.checkerframework.checker.tainting.qual

Annotation Type Untainted

@Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @Repeatable(value=MultiUntainted.class)
public @interface Untainted

Untainted is the annotation to specify the untainted qualifier.

See Also:

Tainted

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String	param The name of the parameter to set.
Wildcard	wildcard Specify that this use is a wildcard with a bound.

Element Detail

param

public abstract String param

The name of the parameter to set.

Default:

"_primary"

wildcard

public abstract Wildcard wildcard

Specify that this use is a wildcard with a bound.

Default:

org.checkerframework.qualframework.poly.qual.Wildcard.NONE