org.checkerframework.qualframework.base

Interface TypeHierarchy<Q>

All Known Implementing Classes:

DefaultTypeHierarchy

public interface TypeHierarchy<Q>

DefaultQualifiedTypeFactory component for performing subtyping checks between QualifiedTypeMirrors.

Method Summary

Modifier and Type	Method and Description
boolean	isSubtype(QualifiedTypeMirror<Q> subtype, QualifiedTypeMirror<Q> supertype) Checks if subtype is a subtype of supertype.

Method Detail

isSubtype

boolean isSubtype(QualifiedTypeMirror<Q> subtype,
                  QualifiedTypeMirror<Q> supertype)

Checks if subtype is a subtype of supertype.