nenok.va
Interface Idempotency
- All Superinterfaces:
- Cloneable, Regularity, Serializable, Valuation
- All Known Implementing Classes:
- Identity
public interface Idempotency
- extends Regularity
Specifies an idempotent valuation. Idempotency is basically a trivial division,
therefore this interface extends Regularity
and provides furthermore
a pre-implementation of the division operator. However, to prevent the user to be
reliant on abstract classes (because multiple inheritance is not allowed in JAVA),
the interface offers a delegator inner class that implements division. This delegator
can be used as follows:
public Dividability inverse(Domain dom) throws VAException {
return new Idempotency.Implementor().inverse(this, dom);
}
- Version:
- 1.1
- Author:
- Marc Pouly