Quote: the state, or value, of an object is the value of its members and the objects it references

Quotation Skeleton

The value of the members and the objects … major concern of a class design is to … operations are performed, and finally to destroy the … invariant. Thus the purpose of initialization is to … the invariant true on entry and must leave … Much of the skill in class design involves … invariant that can be expressed simply. … [p. 418] Note "invariant" here is used to denote … invariant, as discussed here, is a practical--and therefore …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: a class maintains an invariant, i.e., a piece of code that checks the state of an object

Quote: in a well-defined class, an initialized object satisfies a simple invariant that is maintained by all operations until the object is destroyed

Related Topics

Topic: value as an abstraction (25 items)
Topic: state (35 items)
Topic: value as an object (29 items)
Topic: object-oriented classes (66 items)
Topic: program proof via assertions (61 items)