org.checkerframework.qualframework.poly

Class ContainmentHierarchy<Q>

java.lang.Object

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

All Implemented Interfaces:

QualifierHierarchy<Wildcard<Q>>

public class ContainmentHierarchy<Q>
extends Object
implements QualifierHierarchy<Wildcard<Q>>

A hierarchy of Wildcards, ordered by the containment relation (JLS 4.5.1).

Constructor Summary

Constructors

Constructor and Description
ContainmentHierarchy(QualifierHierarchy<PolyQual<Q>> polyQualHierarchy)

Method Summary

Modifier and Type	Method and Description
Wildcard<Q>	getBottom() Gets the bottom annotation of the hierarchy.
Wildcard<Q>	getTop() Gets the top annotation of the hierarchy.
Wildcard<Q>	greatestLowerBound(Wildcard<Q> a, Wildcard<Q> b) Gets the greatest lower bound of two qualifiers.
boolean	isSubtype(Wildcard<Q> subtype, Wildcard<Q> supertype) Checks if subtype is a subtype of supertype.
Wildcard<Q>	leastUpperBound(Wildcard<Q> a, Wildcard<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

ContainmentHierarchy

public ContainmentHierarchy(QualifierHierarchy<PolyQual<Q>> polyQualHierarchy)

Parameters:

polyQualHierarchy - the hierarchy to use for comparing wildcard bounds

Method Detail

isSubtype

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

Description copied from interface: QualifierHierarchy

Checks if subtype is a subtype of supertype.

Specified by:

isSubtype in interface QualifierHierarchy<Wildcard<Q>>

leastUpperBound

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

Description copied from interface: QualifierHierarchy

Gets the least upper bound of two qualifiers.

Specified by:

leastUpperBound in interface QualifierHierarchy<Wildcard<Q>>

greatestLowerBound

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

Description copied from interface: QualifierHierarchy

Gets the greatest lower bound of two qualifiers.

Specified by:

greatestLowerBound in interface QualifierHierarchy<Wildcard<Q>>

getTop

public Wildcard<Q> getTop()

Description copied from interface: QualifierHierarchy

Gets the top annotation of the hierarchy.

Specified by:

getTop in interface QualifierHierarchy<Wildcard<Q>>

getBottom

public Wildcard<Q> getBottom()

Description copied from interface: QualifierHierarchy

Gets the bottom annotation of the hierarchy.

Specified by:

getBottom in interface QualifierHierarchy<Wildcard<Q>>