Quote: class invariants specify the conventions for borderline cases, initial states, etc.; e.g., can position a CHAIN object before the start

Quotation Skeleton

As the specification for before and after [in the CHAIN class] indicates, the cursor is allowed to go one position off … More generally, invariants and other assertions are the … the various features) are sound, consistent and easy …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: object-oriented classes (66 items)
Topic: requirement specification by assertion (28 items)