home *** CD-ROM | disk | FTP | other *** search
/ Programmer's ROM - The Computer Language Library / programmersrom.iso / ada / lrm / chap12.err < prev    next >
Encoding:
Text File  |  1988-05-03  |  5.4 KB  |  134 lines
  1.  
  2.  
  3.  
  4.  
  5.  
  6.                            Errata for Changes to Chapter 12 version 21
  7.  
  8.  
  9.  
  10.  
  11. 12.1  Generic Declarations (paragraph 13)12.1  Generic Declarations (paragraph 13)12.1  Generic Declarations (paragraph 13)
  12.  
  13.  
  14. References:___________ access type definition 3.8, array type definition  3.6,  attribute  4.1.4,  constraint
  15. 3.3,  declaration 3.1, designator 6.1, elaboration has no other effect 3.1, entity 3.1, expression
  16. 4.4, function 6.5, generic instantiation 12.3, identifier 2.3, identifier list 3.2, instance 12.3,
  17. name 4.1, object 3.2, overloading 6.6 8.7, package specification 7.1, parameter  of  a  subprogram
  18. 6.2,  private  type  definition  7.4,  procedure  6.1,  reserved  word 2.9, static expression 4.9,
  19. subprogram 6, subprogram specification 6.1, subtype indication 3.3.2, type 3.3, type mark 3.3.2
  20.  
  21.  
  22.  
  23.  
  24. 12.1.1  Generic Formal Objects (paragraph 6)12.1.1  Generic Formal Objects (paragraph 6)12.1.1  Generic Formal Objects (paragraph 6)
  25.  
  26.  
  27. References:___________ anonymous type 3.3.1,  assignment  5.2,  base  type  3.3,  constant  declaration  3.2,
  28. constraint  3.3,  declaration  3.1,  generic  actual  parameter  12.3, generic formal object 12.1,
  29. generic formal parameter 12.1, generic instantiation 12.3,  generic  parameter  declaration  12.1,
  30. identifier  2.3,  limited  type 7.4.4, matching generic actual parameter 12.3, mode 6.1, name 4.1,
  31. object 3.2, simple name 4.1, subtype 3.3, type declaration 3.3, type mark 3.3.2, variable 3.2.1
  32.  
  33.  
  34.  
  35.  
  36. 12.1.2  (paragraph 17)12.1.2  (paragraph 17)12.1.2  (paragraph 17)
  37.  
  38.  
  39. References:___________ access type definition 3.8, allocator 4.8, array type definition 3.6, assignment  5.2,
  40. body  of a generic unit 12.2, class of type 3.3, constraint 3.3, declaration 3.1, declaration of a
  41. generic unit 12.1, discrete range 3.6, discrete type 3.5,  discriminant  part  3.7.1,  enumeration
  42. type 3.5.1, equality 4.5.2, fixed point type 3.5.9, floating point type 3.5.7, generic actual type
  43. 12.3,  generic  formal  part  12.1,  generic  formal  subprogram 12.1.3, generic formal type 12.1,
  44. generic parameter declaration  12.1,  generic  type  definition  12.1,  indexed  component  4.1.1,
  45. inequality  4.5.2,  instantiation  12.3,  integer type 3.5.4, limited private type 7.4.4, matching
  46. generic actual type 12.3.2 12.3.3 12.3.4 12.3.5, multiplying operator 4.5  4.5.5,  operation  3.3,
  47. operator 4.5, parent type 3.4, private type definition 7.4, scalar type 3.5, slice 4.1.2, standard
  48. package 8.6 C, subtype indication 3.3.2, type mark 3.3.2, universal_fixed 3.5.9
  49.  
  50.  
  51.  
  52. 12.1.3  Generic Formal Subprograms (paragraph 7)12.1.3  Generic Formal Subprograms (paragraph 7)12.1.3  Generic Formal Subprograms (paragraph 7)
  53.  
  54.  
  55. References:___________  anonymous type 3.3.1, base type 3.3, box delimiter 12.1.2, constraint 3.3, designator
  56. 6.1, generic actual parameter 12.3, generic formal function 12.1, generic formal subprogram  12.1,
  57. generic  instantiation  12.3, generic parameter declaration 12.1, identifier 2.3, matching generic
  58. actual subprogram 12.3.6, operator symbol 6.1, parameter of a subprogram 6.2, renaming declaration
  59. 8.5, reserved word 2.9, scope 8.2, subprogram 6, subprogram specification 6.1, subtype 3.3.2, type
  60. 3.3, type mark 3.3.2
  61.  
  62.  
  63.  
  64.  
  65.  
  66.  
  67. -1                                                 Generic Formal Subprograms (paragraph 7) 12.1.3
  68.  
  69.  
  70.  
  71.  
  72. 12.2  Generic Bodies (paragraph 5)12.2  Generic Bodies (paragraph 5)12.2  Generic Bodies (paragraph 5)
  73.  
  74.  
  75. Example of a generic function body:___________________________________
  76.  
  77.  
  78.  
  79.  
  80. 12.3  Generic Instantiation (paragraph 3)12.3  Generic Instantiation (paragraph 3)12.3  Generic Instantiation (paragraph 3)
  81.  
  82.  
  83. An explicit generic actual parameter must be supplied for each generic  formal  parameter,  unless
  84. the  corresponding  generic  parameter  declaration specifies that a default can be used.  Generic
  85. associations can be either positional or named in the same manner  as  parameter  associations  of
  86. subprogram  calls  (see  6.4).   If  two or more formal subprograms have the same designator, then
  87. named associations are not allowed for the corresponding generic parameters.
  88.  
  89.  
  90.  
  91. 12.3.6  Matching Rules for Formal Subprograms (paragraph 5)12.3.6  Matching Rules for Formal Subprograms (paragraph 5)12.3.6  Matching Rules for Formal Subprograms (paragraph 5)
  92.  
  93.  
  94. The matching rules for formal subprograms state requirements that are similar to those applying to
  95. subprogram renaming declarations (see 8.5).  In particular, the name of a parameter of the  formal
  96. subprogram  need  not be the same as that of the corresponding parameter of the actual subprogram;
  97. similarly, for these parameters, default expressions need not correspond.
  98.  
  99.  
  100.  
  101.  
  102.  
  103.  
  104.  
  105.  
  106.  
  107.  
  108.  
  109.  
  110.  
  111.  
  112.  
  113.  
  114.  
  115.  
  116.  
  117.  
  118.  
  119.  
  120.  
  121.  
  122.  
  123.  
  124.  
  125.  
  126.  
  127.  
  128.  
  129.  
  130.  
  131.  
  132.  
  133. 12.3.6 Matching Rules for Formal Subprograms (paragraph 5)                                      -2
  134.