Package org.checkerframework.framework.testchecker.variablenamedefault

package org.checkerframework.framework.testchecker.variablenamedefault

Related Packages

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

Classes

Class	Description
VariableNameDefaultAnnotatedTypeFactory
VariableNameDefaultChecker	A type-checker plug-in for the VariableNameDefault type system.