Package org.checkerframework.framework.testchecker.supportedquals

package org.checkerframework.framework.testchecker.supportedquals

Related Packages

Package	Description
org.checkerframework.framework.testchecker.supportedquals.qual

Classes

Class	Description
SupportedQualsChecker	Tests that annotations that have @Target(TYPE_USE, OTHER) (where OTHER is not TYPE_PARAMETER) may be in the qual package so long as AnnotatedTypeFactory.createSupportedTypeQualifiers() is overridden.