org.checkerframework.checker.tainting.qual

Annotation Type Wild

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

Wild is equivalent to the wildcard operator. @Wild MyClass <==> MyClass&laquo;?&raquo;

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String	param The name of the qualifier parameter to set.

Element Detail

param

public abstract String param

The name of the qualifier parameter to set.