org.checkerframework.checker.tainting.qual

Annotation Type Var

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

Var is a qualifier parameter use.

 

  {@literal @}TaintingParam("aParam")
  class A {
  }

  {@literal @}TaintingParam("bParam")
  class B {
    {@literal @}Var(arg="bParam", param="aParam") A f1;
    {@literal @}Var(arg="bParam", param="aParam", wildcard=Wildcard.EXTENDS) A f2;
  }
 
 

is equivalent to:

 
  class A«aParam» {

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

 
 

Optional Element Summary

Optional Elements

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

Element Detail

arg

public abstract String arg

Which parameter this @Var is a use of.

Default:

"_primary"

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