Contents vi
3.7 Parameter modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4 Elementary Data Structures 34
4.1 Case study: array priority queue . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.2 Records . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4.3 Parameter associations and overloading . . . . . . . . . . . . . . . . . . . . . . 37
4.4 Declaring and raising exceptions . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.5 Case study: tree priority queue . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.6 Access types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5 Packages and Abstract Data Types 48
5.1 Modularization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5.2 Case study: priority queue package . . . . . . . . . . . . . . . . . . . . . . . . . 49
5.3 Private types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.4 Limited types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6 Type Extension and Inheritance 66
6.1 Case study: discrete event simulation . . . . . . . . . . . . . . . . . . . . . . . . 66
6.2 Tagged types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
6.3 Primitive operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
6.4 Overriding an operation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
6.5 Class-wide types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
6.6 Dynamic dispatching . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6.7 Encapsulation and child packages . . . . . . . . . . . . . . . . . . . . . . . . . 84
6.8 Type conversion* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
6.9 Objects of class-wide type* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.10 Abstract types* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
6.11 Implementation of dispatching** . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.12 Multiple controlling operands** . . . . . . . . . . . . . . . . . . . . . . . . . . 97
6.13 Dispatching on the function result** . . . . . . . . . . . . . . . . . . . . . . . . 98
7 Generics 100
7.1 Generic declaration and instantiation . . . . . . . . . . . . . . . . . . . . . . . . 100
7.2 The contract model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
7.3 Generic formal subprograms . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
7.4 Dependence of generic formal parameters . . . . . . . . . . . . . . . . . . . . . 107
