org.checkerframework.qualframework.poly

Class PolyQual.QualVar<Q>

java.lang.Object

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

org.checkerframework.qualframework.poly.PolyQual.QualVar<Q>

Enclosing class:

PolyQual<Q>

public static final class PolyQual.QualVar<Q>
extends PolyQual<Q>

A qualifier variable.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.qualframework.poly.PolyQual

PolyQual.Combined<Q>, PolyQual.GroundQual<Q>, PolyQual.QualVar<Q>

Constructor Summary

Constructors

Constructor and Description
QualVar(String name, Q lower, Q upper)

Method Summary

Modifier and Type	Method and Description
PolyQual.Combined<Q>	asCombined(CombiningOperation<Q> op) Convert this qualifier to an equivalent PolyQual.Combined qualifier using the given CombiningOperation.
boolean	equals(Object o)
Q	getLowerBound() Get the lower bound of this qualifier variable.
Q	getMaximum() Get the least upper bound of the possible types of this qualifier under all valid assignments to qualifier variables.
Q	getMinimum() Get the greatest lower bound of the possible types of this qualifier under all valid assignments to qualifier variables.
String	getName() Get the name of this qualifier variable.
Q	getUpperBound() Get the upper bound of this qualifier variable.
int	hashCode()
PolyQual<Q>	substitute(Map<String,PolyQual<Q>> substs) Substitute qualifiers for qualifier variables.
String	toString()

Methods inherited from class org.checkerframework.qualframework.poly.PolyQual

combineWith

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

QualVar

public QualVar(String name,
               Q lower,
               Q upper)

Method Detail

getName

public String getName()

Get the name of this qualifier variable.

getLowerBound

public Q getLowerBound()

Get the lower bound of this qualifier variable.

getUpperBound

public Q getUpperBound()

Get the upper bound of this qualifier variable.

getMinimum

public Q getMinimum()

Description copied from class: PolyQual

Get the greatest lower bound of the possible types of this qualifier under all valid assignments to qualifier variables. (That is, for all assignments of qualifiers to qualifier variables, pq.getMinimum() is a subtype of pq.

Specified by:

getMinimum in class PolyQual<Q>

getMaximum

public Q getMaximum()

Description copied from class: PolyQual

Get the least upper bound of the possible types of this qualifier under all valid assignments to qualifier variables.

Specified by:

getMaximum in class PolyQual<Q>

substitute

public PolyQual<Q> substitute(Map<String,PolyQual<Q>> substs)

Description copied from class: PolyQual

Substitute qualifiers for qualifier variables.

Specified by:

substitute in class PolyQual<Q>

asCombined

public PolyQual.Combined<Q> asCombined(CombiningOperation<Q> op)

Description copied from class: PolyQual

Convert this qualifier to an equivalent PolyQual.Combined qualifier using the given CombiningOperation.

Specified by:

asCombined in class PolyQual<Q>

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object