Package org.checkerframework.common.subtyping

package org.checkerframework.common.subtyping

Related Packages

Package	Description
org.checkerframework.common.subtyping.qual

Classes

Class	Description
SubtypingAnnotatedTypeFactory	Defines SubtypingAnnotatedTypeFactory.createSupportedTypeQualifiers().
SubtypingAnnotationClassLoader
SubtypingChecker	A checker for type qualifier systems that only checks subtyping relationships.