org.checkerframework.framework.type

Interface TypeHierarchy

All Known Implementing Classes:

DefaultTypeHierarchy, KeyForAnnotatedTypeFactory.KeyForTypeHierarchy

public interface TypeHierarchy

Compares AnnotatedTypeMirrors for subtype relationships. See also QualifierHierarchy

Method Summary

Modifier and Type	Method and Description
boolean	isSubtype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype)
boolean	isSubtype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype, AnnotationMirror top)

Method Detail

isSubtype

boolean isSubtype(AnnotatedTypeMirror subtype,
                  AnnotatedTypeMirror supertype)

Returns:

true if subtype <: supertype for all qualifier hierarchies in the type system

isSubtype

boolean isSubtype(AnnotatedTypeMirror subtype,
                  AnnotatedTypeMirror supertype,
                  AnnotationMirror top)

Returns:

true if subtype <: supertype in the qualifier hierarchy rooted by the top annotation