File tree Expand file tree Collapse file tree 5 files changed +13
-13
lines changed
static_analysis_via_compiler Expand file tree Collapse file tree 5 files changed +13
-13
lines changed Original file line number Diff line number Diff line change @@ -79,7 +79,7 @@ Classes
79
79
Indefinite Type
80
80
-----------------
81
81
82
- * A class wide type is an indefinite type
82
+ * A class- wide type is an indefinite type
83
83
84
84
- Just like an unconstrained array or a record with a discriminant
85
85
@@ -202,7 +202,7 @@ Warning: Subprograms with parameter of type `Root'Class` are not primitives of `
202
202
'Class and Prefix Notation
203
203
----------------------------
204
204
205
- Prefix notation rules apply when the first parameter is of a class wide type
205
+ Prefix notation rules apply when the first parameter is of a class- wide type
206
206
207
207
.. code :: Ada
208
208
@@ -317,11 +317,11 @@ Calls on Class-Wide Types (3/3)
317
317
((Animal) *My_Dog).Feed ();
318
318
319
319
-------------------------------
320
- Definite and Class Wide Views
320
+ Definite and Class- Wide Views
321
321
-------------------------------
322
322
323
323
* In C++, dispatching occurs only on pointers
324
- * In Ada, dispatching occurs only on class wide views
324
+ * In Ada, dispatching occurs only on class- wide views
325
325
326
326
.. code :: Ada
327
327
Original file line number Diff line number Diff line change @@ -104,7 +104,7 @@ Data Structures (2/2)
104
104
105
105
* Holder
106
106
107
- - Wraps around an indefinite (unconstrained, classwide ...)
107
+ - Wraps around an indefinite (unconstrained, class-wide ...)
108
108
- Resulting type is definite
109
109
- Single element, no iteration or cursor
110
110
Original file line number Diff line number Diff line change @@ -971,14 +971,14 @@ OOP Restrictions
971
971
+ Allows
972
972
973
973
+ Record extensions
974
- + Classwide membership tests
975
- + Other classwide features
974
+ + Class-wide membership tests
975
+ + Other class-wide features
976
976
977
977
+ Does not allow involving implicit dispatching
978
978
979
979
+ Comparable to :ada: `No_Dispatch `
980
980
981
- + Except allows all classwide constructs that do not imply dispatching
981
+ + Except allows all class-wide constructs that do not imply dispatching
982
982
983
983
------
984
984
Quiz
Original file line number Diff line number Diff line change @@ -74,7 +74,7 @@ Abstract Types
74
74
'Class and Prefix Notation
75
75
----------------------------
76
76
77
- Prefix notation rules apply when the first parameter is of a class wide type
77
+ Prefix notation rules apply when the first parameter is of a class- wide type
78
78
79
79
.. code :: Ada
80
80
Original file line number Diff line number Diff line change @@ -63,7 +63,7 @@ Classes
63
63
Indefinite type
64
64
-----------------
65
65
66
- * A class wide type is an indefinite type
66
+ * A class- wide type is an indefinite type
67
67
68
68
- Just like an unconstrained array or a record with a discriminant
69
69
@@ -172,7 +172,7 @@ Abstract Types Ada vs C++
172
172
'Class and Prefix Notation
173
173
----------------------------
174
174
175
- Prefix notation rules apply when the first parameter is of a class wide type
175
+ Prefix notation rules apply when the first parameter is of a class- wide type
176
176
177
177
.. code :: Ada
178
178
@@ -282,11 +282,11 @@ Calls on class-wide types (3/3)
282
282
((Root) *V2).P ();
283
283
284
284
-------------------------------
285
- Definite and class wide views
285
+ Definite and Class-Wide views
286
286
-------------------------------
287
287
288
288
* In C++, dispatching occurs only on pointers
289
- * In Ada, dispatching occurs only on class wide views
289
+ * In Ada, dispatching occurs only on class- wide views
290
290
291
291
.. code :: Ada
292
292
You can’t perform that action at this time.
0 commit comments