#Org.checkerframework.checker.tainting.qual Classes and Interfaces

_{#Org.checkerframework.checker.tainting.qual Classes and Interfaces - 14 results found.}

Name	Description	Type	Package	Framework
ClassTaintingParam	ClassTaintingParam declares a tainting qualifier parameter on a class.	Class	org.checkerframework.checker.tainting.qual	Checker
MethodTaintingParam	MethodTaintingParam declares a qualifier parameter on a method.	Class	org.checkerframework.checker.tainting.qual	Checker
MultiClassTaintingParam		Class	org.checkerframework.checker.tainting.qual	Checker
MultiMethodTaintingParam		Class	org.checkerframework.checker.tainting.qual	Checker
MultiPolyTainted		Class	org.checkerframework.checker.tainting.qual	Checker
MultiTainted		Class	org.checkerframework.checker.tainting.qual	Checker
MultiUntainted		Class	org.checkerframework.checker.tainting.qual	Checker
MultiVar		Class	org.checkerframework.checker.tainting.qual	Checker
MultiWild		Class	org.checkerframework.checker.tainting.qual	Checker
PolyTainted		Class	org.checkerframework.checker.tainting.qual	Checker
Tainted	Tainted is the annotation to specify the tainted qualifier.	Class	org.checkerframework.checker.tainting.qual	Checker
Untainted	Untainted is the annotation to specify the untainted qualifier.	Class	org.checkerframework.checker.tainting.qual	Checker
Var	Var is a qualifier parameter use.	Class	org.checkerframework.checker.tainting.qual	Checker
Wild	Wild is equivalent to the wildcard operator.	Class	org.checkerframework.checker.tainting.qual	Checker

Search Java Classes and Packages