org.checkerframework.checker.tainting.qual

Annotation Type Tainted

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

Tainted is the annotation to specify the tainted qualifier.

  @ClassTaintingParam("aParam")
  class A {
  }

  class B {
    @Tainted(param="aParam") A f1;
    @Tainted(param="aParam", wildcard=Wildcard.EXTENDS) A f2;
  }

  is equivalent to:
  class A«aParam» {

  }
  class B {
    A«aParam=@Tainted» a;
    A«aParam=? extends @Tainted» b;
  }
 

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