Object-oriented programming in Eiffel

Introduction......Page 1
1.1 Programming languages......Page 13
1.2 The key: data......Page 14
1.3 The routine as a module......Page 15
1.4 The class as a module......Page 16
1.5 Code layout......Page 17
1.6 Building a system from classes......Page 18
1.7.1 A simple class......Page 19
1.7.2 A simple Ace file......Page 20
1.7.3 eifstart......Page 21
1.8 Case study: look and feel......Page 22
2.1 Class INTEGER......Page 24
2.2 INTEGER declaration......Page 25
2.4 Assignment......Page 27
2.5 Error messages......Page 28
2.6 INTEGER input and output......Page 29
2.7 Output formatting......Page 30
2.8.1 Declaration and numeric features......Page 32
2.8.2 Input and output......Page 33
2.9 Class DOUBLE......Page 35
2.10 Mathematical classes......Page 36
2.11 Class CHARACTER......Page 37
2.12 Case study: data flow......Page 39
3.1 Look and feel......Page 42
3.3 Procedure format and use......Page 43
3.4.1 Example: a local amount......Page 44
3.5 Passing data to a routine......Page 45
3.6.1 Syntax and mechanism......Page 47
3.7 Comments......Page 49
3.8 Cause and effect routines......Page 50
3.11 Case study: routines......Page 51
4.1.1 Creation code......Page 55
4.1.2 Data structure......Page 56
4.1.3 Creation procedure......Page 57
4.1.4 Creating an object......Page 59
4.2 Calling a feature from a client......Page 60
4.3 Operators......Page 61
4.4 Value and reference semantics......Page 62
4.5 Reference assignment......Page 63
4.7 Object copy......Page 65
4.8 Deep versus shallow operators......Page 66
4.9 Passing an object......Page 67
4.10 Strings......Page 68
4.11 Case study: objects......Page 69
5.2 Routine behaviour......Page 72
5.3 Behaviour versus implementation......Page 73
5.4 Class behaviour......Page 74
5.5 Listing order......Page 75
5.6 System charts......Page 76
5.7 Assertions......Page 77
5.9 Documentation: the short form of a class......Page 79
5.10 The Eiffel library class STRING......Page 81
5.11.1 Antibugging......Page 84
5.11.2 Debugging......Page 85
5.12 Case study: export and assertions......Page 87
6.1 Sequence, selection, and iteration......Page 90
6.4 Boolean operators......Page 91
6.5 Boolean functions......Page 93
6.6 Selection: the if statement......Page 94
6.7 Examples: the if statement......Page 95
6.8 Selection: the inspect statement......Page 98
6.9 Case study: selection......Page 99
7.2 Examples: the loop statement......Page 103
7.3 Input validation......Page 105
7.4 Menu processing......Page 106
7.5 Recursion......Page 108
7.6 Case study: iteration......Page 110
8.2 Using an array......Page 112
8.3 The Eiffel library class ARRAY......Page 114
8.4 Example: ARRAY [INTEGER]......Page 116
8.5 Example: Insertion sort......Page 117
8.6 Example: ARRAY [PERSON]......Page 119
8.7 The strip operator......Page 121
9.2.1 Structure......Page 124
9.2.2 Features......Page 127
9.3 Scanning a list......Page 128
9.4 Cause and effect: matched routines......Page 129
9.5 A local cursor......Page 130
9.7 Class RANDOM......Page 131
9.8 Case study: lists......Page 133
10.2 Inheritance chart......Page 136
10.3 Syntax and mechanism......Page 137
10.5 Inherit example: class WORKER......Page 139
10.6 Redefine......Page 142
10.7 Redefine example: class WORKER......Page 143
10.8 Redefine example: class CONTRACTOR......Page 147
10.10  Rename example: class WORKER......Page 148
10.12  Export......Page 150
10.13  Case study: inheritance......Page 152
11.1 The Eiffel type hierarchy......Page 156
11.2 Conformance......Page 157
11.3 Deferred features......Page 158
11.4 A deferred example: class POLYGON......Page 159
11.5 An effective example: class RECTANGLE......Page 160
11.7 Dynamic creation......Page 162
11.8 Dynamic dispatch......Page 164
11.9 Polymorphism......Page 165
11.10  Polymorphism example: a list of polygons......Page 166
11.11  Assignment attempt......Page 167
11.12  Case study: the BANK system......Page 168
12.1 Multiple inheritance......Page 171
12.2 File classes......Page 172
12.3 Class STORABLE......Page 173
12.4 A storable list......Page 176
12.5 Joining features......Page 177
12.6 Undefine......Page 178
12.7 Repeated inheritance......Page 179
12.8 Select......Page 180
12.9 Dynamic dispatch......Page 181
12.10  The inheritance clause......Page 182
13.2  Generic client......Page 184
13.3  Generic parent......Page 185
13.4  Constrained genericity......Page 186
13.5  Reuse in Eiffel......Page 190
13.6  Case study: constrained genericity......Page 191
14.2   Class invariants......Page 192
14.3   Pre- and post-conditions......Page 194
14.4   An example class: ORDERED_LIST......Page 196
15.1   Look and feel......Page 202
15.2   Rescue clauses......Page 203
15.3   The retry instruction......Page 207
15.4    An example: class NODUP_LIST......Page 208
15.5 Discussion......Page 211
A.3 Operator precedence order......Page 213
B.1 Class......Page 215
B.2 Sequence......Page 216
B.5 Inheritance......Page 218
B.6 Genericity......Page 219
B.8 Naming conventions......Page 220
C.3  Debug......Page 221
D.2 Inheritance chart......Page 223
D.4 Data structure chart......Page 224
E.4 The process of design......Page 225
F.1 Data, routine, class, and object terms......Page 226
F.2 Inheritance, genericity, and assertion terms......Page 233
References......Page 236