Package org.checkerframework.common.subtyping

Class Summary

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