org.checkerframework.qualframework.base

Class QualifiedTypeParameterBounds<Q>

java.lang.Object

org.checkerframework.qualframework.base.QualifiedTypeParameterBounds<Q>

public class QualifiedTypeParameterBounds<Q>
extends Object

A pair of the qualified upper and lower bound types for a type parameter. Instances of this class are immutable.

Constructor Summary

Constructors

Constructor and Description
QualifiedTypeParameterBounds(QualifiedTypeMirror<Q> upperBound, QualifiedTypeMirror<Q> lowerBound)

Method Summary

Modifier and Type	Method and Description
QualifiedTypeMirror<Q>	getLowerBound()
QualifiedTypeMirror<Q>	getUpperBound()

Methods inherited from class java.lang.Object

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

Constructor Detail

QualifiedTypeParameterBounds

public QualifiedTypeParameterBounds(QualifiedTypeMirror<Q> upperBound,
                                    QualifiedTypeMirror<Q> lowerBound)

Method Detail

getUpperBound

public QualifiedTypeMirror<Q> getUpperBound()

getLowerBound

public QualifiedTypeMirror<Q> getLowerBound()