In This Space
The page you were looking for may have been renamed to the following:
-
OBJ58-J. Limit the extensibility of classes and methods with invariants
(SEI CERT Oracle Coding Standard for Java)
Java classes and methods may have invariants. An invariant is a property that is assumed to be true at certain points during program execution but is not formally specified as true....