org.checkerframework.qualframework.base

Interface QualifierHierarchy<Q>

All Known Implementing Classes:

ContainmentHierarchy, PolyQualHierarchy, QualifierParameterHierarchy, RegexQualifierHierarchy, TaintingQualifierHierarchy, TaintingQualifierHierarchy

public interface QualifierHierarchy<Q>

DefaultQualifiedTypeFactory component for performing subtyping checks between qualifiers.

Method Summary

Modifier and Type	Method and Description
Q	getBottom() Gets the bottom annotation of the hierarchy.
Q	getTop() Gets the top annotation of the hierarchy.
Q	greatestLowerBound(Q a, Q b) Gets the greatest lower bound of two qualifiers.
boolean	isSubtype(Q subtype, Q supertype) Checks if subtype is a subtype of supertype.
Q	leastUpperBound(Q a, Q b) Gets the least upper bound of two qualifiers.

Method Detail

isSubtype

boolean isSubtype(Q subtype,
                  Q supertype)

Checks if subtype is a subtype of supertype.

leastUpperBound

Q leastUpperBound(Q a,
                  Q b)

Gets the least upper bound of two qualifiers.

greatestLowerBound

Q greatestLowerBound(Q a,
                     Q b)

Gets the greatest lower bound of two qualifiers.

getTop

Q getTop()

Gets the top annotation of the hierarchy.

getBottom

Q getBottom()

Gets the bottom annotation of the hierarchy.