org.checkerframework.qualframework.poly

Interface CombiningOperation<Q>

All Known Implementing Classes:

CombiningOperation.Glb, CombiningOperation.Lub

public interface CombiningOperation<Q>

A binary operation for combining qualifiers of type Q.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	CombiningOperation.Glb<Q> The greatest-lower-bound operation over a qualifier hierarchy.
static class	CombiningOperation.Lub<Q> The least-upper-bound operation over a qualifier 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.
Q	identity() The identity element for this operation.

Method Detail

combine

Q combine(Q a,
          Q b)

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

identity

Q identity()

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