org.checkerframework.qualframework.poly

Class PolyQual.GroundQual<Q>

java.lang.Object

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

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

Enclosing class:

PolyQual<Q>

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

A wrapped qualifier from the underlying system.

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
GroundQual(Q qual)

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	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.
Q	getQualifier() Get the underlying qualifier representation.
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

GroundQual

public GroundQual(Q qual)

Method Detail

getQualifier

public Q getQualifier()

Get the underlying qualifier representation.

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