Program Development in Java: Abstraction, Specification, and Object-Oriented Design

Index

Abstract classes, 153, 154, 161–166, 238

Abstract invariant, 116

Abstract methods, 153, 161

Abstract state, 100

Abstract subclasses, 165

Abstraction by parameterization, 6, 7–8, 39, 40, 77, 381

Abstraction by specification, 6, 7, 8–10, 39, 41, 77, 78

Abstraction function, 99–102, 114, 121

for generators, 137–138

implementing, 105–107

for OrderedIntList, 140

and rep invariant, 106, 107

for subclass, 159

for subclasses of concrete super-classes, 160

Abstractions, 4–6, 215, 218, 219, 301, 323, 341

benefits of, 40–42

coherence of, 353

and decomposition, 2–3

within design notebook, 304, 305

for hiding details, 339

hierarchy, 5

kinds of, 10–12

mechanisms, 7

See also Data abstractions; Procedural abstractions; Specifications

Abstraction sections, ...