Class Invariant

See CodeClassInvariants, DesignByContract.