ClassInvariant
Last edit June 21, 2004
See
CodeClassInvariants
,
DesignByContract
.