CS 541 Lecture -*- Outline -*-

* reasoning about OO programs

** equality, a starting point
	Q: what should = mean in an OOP like Smalltalk?

	depending on point of view, get different notions of equality
		eqAsPoint vs. eqAsThreeDPoint

	any equality test carries some notion of abstraction
		== is eqAsMutableObject; considers only identity important
		saying 2 cars are equally good, abstracts to "goodness"
		rectangles equal if? area, circumfrence, location,
			identity same?