org.checkerframework.qualframework.poly

Class PolyQual.Combined<Q>

java.lang.Object

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

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

Enclosing class:

PolyQual<Q>

public static class PolyQual.Combined<Q>
extends PolyQual<Q>

A combination of several qualifiers and qualifier variables, using a combining function.

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
Combined(CombiningOperation<Q> op, Collection<PolyQual.QualVar<Q>> vars, Q ground)
Combined(CombiningOperation<Q> op, PolyQual.QualVar<Q> var)
Combined(CombiningOperation<Q> op, PolyQual.QualVar<Q> var, Q ground)
Combined(CombiningOperation<Q> op, Q ground)

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.
PolyQual<Q>	combineWith(PolyQual.Combined<Q> other) Combine two instances of Combined that were built with the same CombiningOperation.
boolean	equals(Object o)
static <Q> PolyQual<Q>	from(CombiningOperation<Q> op, Collection<PolyQual.QualVar<Q>> vars, Q ground) Like the main Combined<Q> constructor, but returns a simpler PolyQual (GroundQual or QualVar) when possible.
Q	getGround()
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.
CombiningOperation<Q>	getOp()
Set<PolyQual.QualVar<Q>>	getVars()
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

Combined

public Combined(CombiningOperation<Q> op,
                Collection<PolyQual.QualVar<Q>> vars,
                Q ground)

Combined

public Combined(CombiningOperation<Q> op,
                PolyQual.QualVar<Q> var,
                Q ground)

Combined

public Combined(CombiningOperation<Q> op,
                PolyQual.QualVar<Q> var)

Combined

public Combined(CombiningOperation<Q> op,
                Q ground)

Method Detail

from

public static <Q> PolyQual<Q> from(CombiningOperation<Q> op,
                                   Collection<PolyQual.QualVar<Q>> vars,
                                   Q ground)

Like the main Combined<Q> constructor, but returns a simpler PolyQual (GroundQual or QualVar) when possible.

combineWith

public PolyQual<Q> combineWith(PolyQual.Combined<Q> other)

Combine two instances of Combined that were built with the same CombiningOperation.

getOp

public CombiningOperation<Q> getOp()

getVars

public Set<PolyQual.QualVar<Q>> getVars()

getGround

public Q getGround()

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