org.checkerframework.checker.tainting.qual

Annotation Type ClassTaintingParam

@Retention(value=RUNTIME)
 @Target(value=TYPE)
 @Repeatable(value=MultiClassTaintingParam.class)
public @interface ClassTaintingParam

ClassTaintingParam declares a tainting qualifier parameter on a class.

  @ClassTaintingParam("aParam")
  class A { }

  is equivalent to:
  class A«aParam» { }
 

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String	value The name of the qualifier parameter to declare.

Element Detail

value

public abstract String value

The name of the qualifier parameter to declare.

Default:

"_primary"