Package org.checkerframework.framework.testchecker.variablenamedefault.quals

package org.checkerframework.framework.testchecker.variablenamedefault.quals

Related Packages

Package	Description
org.checkerframework.framework.testchecker.variablenamedefault

Annotation Interfaces

Class	Description
PolyVariableNameDefault	A polymorphic qualifier for the VariableNameDefault type system.
VariableNameDefaultBottom	VariableNameDefault bottom qualifier.
VariableNameDefaultMiddle	VariableNameDefault middle qualifier.
VariableNameDefaultTop	This is the top qualifier of the VariableNameDefault type system.