home *** CD-ROM | disk | FTP | other *** search
/ Programmer's ROM - The Computer Language Library / programmersrom.iso / ada / lrm / chap13.err < prev    next >
Encoding:
Text File  |  1988-05-03  |  3.1 KB  |  68 lines
  1.  
  2.  
  3.  
  4.  
  5.  
  6.                            Errata for changes to Chapter 13 version 21
  7.  
  8.  
  9.  
  10. 13.4  Record Representation Clauses (paragraph 7)13.4  Record Representation Clauses (paragraph 7)13.4  Record Representation Clauses (paragraph 7)
  11.  
  12.  
  13. Storage places within a record variant must not overlap, but overlap of the storage  for  distinct
  14. variants  is  allowed.   Each  component clause must allow for enough storage space to accommodate
  15. every allowable value of the component.  A component clause is only allowed for a component if any
  16. constraint on this component or on any of its subcomponents is static.
  17.  
  18.  
  19.  
  20.  
  21. 13.8  Machine Code Insertions (paragraph 4)13.8  Machine Code Insertions (paragraph 4)13.8  Machine Code Insertions (paragraph 4)
  22.  
  23.  
  24. Each machine instruction appears as  a  record  aggregate  of  a  record  type  that  defines  the
  25. corresponding  instruction.   The  base type of the type mark of a code statement must be declared
  26. within the predefined library package called MACHINE_CODE;  this package must be named by  a  with
  27. clause that applies to the compilation unit in which the code statement occurs.  An implementation
  28. is not required to provide such a package.
  29.  
  30.  
  31.  
  32. 13.8  Machine Code Insertions (paragraph 8)13.8  Machine Code Insertions (paragraph 8)13.8  Machine Code Insertions (paragraph 8)
  33.  
  34.  
  35. paragraph deleted
  36.  
  37.  
  38.  
  39. 13.10.1  Unchecked Storage Deallocation (paragraph 7)13.10.1  Unchecked Storage Deallocation (paragraph 7)13.10.1  Unchecked Storage Deallocation (paragraph 7)
  40.  
  41.  
  42. It  is  a consequence of the visibility rules that the generic procedure UNCHECKED_DEALLOCATION is
  43. not visible in a compilation unit unless this generic procedure is mentioned by a with clause that
  44. applies to the compilation unit.
  45.  
  46.  
  47.  
  48. 13.10.2  Unchecked Type Conversions (paragraph 1)13.10.2  Unchecked Type Conversions (paragraph 1)13.10.2  Unchecked Type Conversions (paragraph 1)
  49.  
  50.  
  51. An unchecked type conversion can be achieved  by  a  call  of  a  function  that  is  obtained  by
  52. instantiation of the generic function UNCHECKED_CONVERSION.
  53.  
  54.  
  55.  
  56. 13.10.2  Unchecked Type Convensions (paragraph 4)13.10.2  Unchecked Type Convensions (paragraph 4)13.10.2  Unchecked Type Convensions (paragraph 4)
  57.  
  58.  
  59. It  is a consequence of the visibility rules that the generic function UNCHECKED_CONVERSION is not
  60. visible in a compilation unit unless this generic function is mentioned  by  a  with  clause  that
  61. applies to the compilation unit.
  62.  
  63.  
  64.  
  65.  
  66.  
  67. -1                                                Unchecked Type Convensions (paragraph 4) 13.10.2
  68.