org.checkerframework.qualframework.poly

Class PolyQualHierarchy<Q>

java.lang.Object

org.checkerframework.qualframework.poly.PolyQualHierarchy<Q>

All Implemented Interfaces:

QualifierHierarchy<PolyQual<Q>>

public class PolyQualHierarchy<Q>
extends Object
implements QualifierHierarchy<PolyQual<Q>>

A qualifier hierarchy for PolyQual instances. This class extends the underlying subtyping hierarchy with qualifier variables, which are handled like Java type variables (JLS 4.10.2 - a type variable is a subtype of its upper bound and a supertype of its lower bound).

Constructor Summary

Constructors

Constructor and Description
PolyQualHierarchy(QualifierHierarchy<Q> groundHierarchy)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PolyQualHierarchy

public PolyQualHierarchy(QualifierHierarchy<Q> groundHierarchy)

Method Detail

isSubtype

public boolean isSubtype(PolyQual<Q> subtype,
                         PolyQual<Q> supertype)

Description copied from interface: QualifierHierarchy

Checks if subtype is a subtype of supertype.

Specified by:

isSubtype in interface QualifierHierarchy<PolyQual<Q>>

leastUpperBound

public PolyQual<Q> leastUpperBound(PolyQual<Q> a,
                                   PolyQual<Q> b)

Description copied from interface: QualifierHierarchy

Gets the least upper bound of two qualifiers.

Specified by:

leastUpperBound in interface QualifierHierarchy<PolyQual<Q>>

greatestLowerBound

public PolyQual<Q> greatestLowerBound(PolyQual<Q> a,
                                      PolyQual<Q> b)

Description copied from interface: QualifierHierarchy

Gets the greatest lower bound of two qualifiers.

Specified by:

greatestLowerBound in interface QualifierHierarchy<PolyQual<Q>>

getTop

public PolyQual<Q> getTop()

Description copied from interface: QualifierHierarchy

Gets the top annotation of the hierarchy.

Specified by:

getTop in interface QualifierHierarchy<PolyQual<Q>>

getBottom

public PolyQual<Q> getBottom()

Description copied from interface: QualifierHierarchy

Gets the bottom annotation of the hierarchy.

Specified by:

getBottom in interface QualifierHierarchy<PolyQual<Q>>