org.checkerframework.qualframework.poly

Class CombiningOperation.Glb<Q>

java.lang.Object

org.checkerframework.qualframework.poly.CombiningOperation.Glb<Q>

All Implemented Interfaces:

CombiningOperation<Q>

Enclosing interface:

CombiningOperation<Q>

public static class CombiningOperation.Glb<Q>
extends Object
implements CombiningOperation<Q>

The greatest-lower-bound operation over a qualifier hierarchy.

Nested Class Summary

Nested classes/interfaces inherited from interface org.checkerframework.qualframework.poly.CombiningOperation

CombiningOperation.Glb<Q>, CombiningOperation.Lub<Q>

Constructor Summary

Constructors

Constructor and Description
Glb(QualifierHierarchy<Q> hierarchy)

Method Summary

Modifier and Type	Method and Description
Q	combine(Q a, Q b) Apply the operation to two qualifiers, producing a new qualifier.
boolean	equals(Object o)
int	hashCode()
Q	identity() The identity element for this operation.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Glb

public Glb(QualifierHierarchy<Q> hierarchy)

Method Detail

combine

public Q combine(Q a,
                 Q b)

Description copied from interface: CombiningOperation

Apply the operation to two qualifiers, producing a new qualifier. The operation is expected to be commutative and associative.

Specified by:

combine in interface CombiningOperation<Q>

identity

public Q identity()

Description copied from interface: CombiningOperation

The identity element for this operation. It should always be the case that op.combine(op.identity(), x) is equivalent to x.

Specified by:

identity in interface CombiningOperation<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