Package org.checkerframework.framework.type.poly

package org.checkerframework.framework.type.poly

Related Packages

Package	Description
org.checkerframework.framework.type	Contains a way of representing the type of a program element that considers the type qualifiers on that element (and ignores its Java type).
org.checkerframework.framework.type.treeannotator
org.checkerframework.framework.type.typeannotator
org.checkerframework.framework.type.visitor	Despite the name visitor/, this package does not just contain visitors.

Class	Description
AbstractQualifierPolymorphism	Implements framework support for qualifier polymorphism.
DefaultQualifierPolymorphism	Default implementation of AbstractQualifierPolymorphism.
QualifierPolymorphism	Interface to implement qualifier polymorphism.