net.sf.oriented.omi

Interface Verify

All Known Subinterfaces:

Face, FaceLattice, Matroid, MatroidAsSet, OM, OMasChirotope, OMasFaceLattice, OMasRealized, OMasSignedSet, SetOf<ITEM,SET>, SetOfSignedSet, SetOfUnsignedSet, UnsignedSet

All Known Implementing Classes:

GramSchmidt, PseudoLineDrawing

public interface Verify

This interface is implemented by classes which represent mathematical concepts that have certain axioms, and/or by java classes that have invariants. In normal operation, it is assumed that these axioms and invariants hold; but programming errors, or poor input, may result in an object that does not satisfy such assumptions. Calling verify() on such an object asks it to check all axioms and invariants.

Author:

jeremycarroll

Method Summary

Methods

Modifier and Type	Method and Description
void	verify() Check invariants of the object.

Method Detail

verify

void verify()
            throws AxiomViolation

Check invariants of the object. Calling code should not assume that this operation is quick.

Throws:

AxiomViolation - If an invariant did not hold.