Topic: object-oriented fields
Topic: state
Topic: object-oriented classes
Quotation Skeleton
Internally, an object's methods interact indirectly with each … depends on assumptions about the meanings attributed to … invariant captures exactly these assumptions [ref]. [For example, the variable 'length' is a valid index into 'elements'.]
Google-1Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: a class' representation invariant captures its assumptions about what state variables mean and how they can change