home *** CD-ROM | disk | FTP | other *** search
/ Programmer's ROM - The Computer Language Library / programmersrom.iso / ada / lrm / chap07.err < prev    next >
Encoding:
Text File  |  1988-05-03  |  3.9 KB  |  134 lines
  1.  
  2.  
  3.  
  4.  
  5.  
  6.                             Errata for changes to Chapter 7 version 21
  7.  
  8.  
  9.  
  10.  
  11. 7.4.1  Private Types (paragraph 4)7.4.1  Private Types (paragraph 4)7.4.1  Private Types (paragraph 4)
  12.  
  13.  
  14. Within the specification of the package that declares a private type and before  the  end  of  the
  15. corresponding  full  type declaration, a restriction applies to the use of a name that denotes the
  16. private type or a subtype of the private type and, likewise, to the use of a name that denotes any
  17. type or subtype that has a subcomponent of the private type.  The only allowed occurrences of such
  18. a name are in a deferred constant  declaration,  a  type  or  subtype  declaration,  a  subprogram
  19. specification,  or an entry declaration;  moreover, occurrences within derived type definitions or
  20. within simple expressions are not allowed.
  21.  
  22.  
  23.  
  24.  
  25. 7.4.2  Operations of a Private Type 7.4.2 (paragraph 2)7.4.2  Operations of a Private Type 7.4.2 (paragraph 2)7.4.2  Operations of a Private Type 7.4.2 (paragraph 2)
  26.  
  27.  
  28. For a private type T, the basic operations also include the  attributes  T'BASE  (see  3.3.3)  and
  29. T'SIZE  (see  13.7.2).   For  an  object  A  of  a  private type, the basic operations include the
  30. attribute A'CONSTRAINED if the private type has discriminants (see 3.7.4), and in  any  case,  the
  31. attributes A'SIZE and A'ADDRESS (see 13.7.2).
  32.  
  33.  
  34.  
  35.  
  36. 7.4.2  Operations of a Private Type 7.4.2 (paragraph 10)7.4.2  Operations of a Private Type 7.4.2 (paragraph 10)7.4.2  Operations of a Private Type 7.4.2 (paragraph 10)
  37.  
  38.  
  39.  
  40. T'CONSTRAINED Yields the value FALSE if T denotes an unconstrained  nonformal  private  type  with
  41.               discriminants;   also  yields  the value FALSE if T denotes a generic formal private
  42.               type, and the associated  actual  subtype  is  either  an  unconstrained  type  with
  43.               discriminants or an unconstrained array type;  yields the value TRUE otherwise.  The
  44.               value of this attribute is of the predefined type BOOLEAN.
  45.  
  46.  
  47.  
  48. 7.4.4  Limited Types (paragraph 4)7.4.4  Limited Types (paragraph 4)7.4.4  Limited Types (paragraph 4)
  49.  
  50.  
  51. For  a  formal  parameter  whose  type  is  limited  and  whose  declaration occurs in an explicit
  52. subprogram declaration, the mode outoutout is only allowed if this type is private  and  the  subprogram
  53. declaration  occurs  within  the  visible part of the package that declares the private type.  The
  54. same holds for formal parameters of entry declarations and of generic procedure declarations.  The
  55. corresponding full type must not be limited if the mode outoutout is used for any such formal parameter.
  56. Otherwise, the corresponding full type is allowed (but not required) to  be  a  limited  type  (in
  57. particular, it is allowed to be a task type).  If the full type corresponding to a limited private
  58. type  is not itself limited, then assignment for the type is available within the package, but not
  59. outside.
  60.  
  61.  
  62.  
  63.  
  64.  
  65.  
  66.  
  67. -1                                                               Limited Types (paragraph 4) 7.4.4
  68.  
  69.  
  70.  
  71.  
  72. 7.4.4  Limited Types (paragraph 8 9)7.4.4  Limited Types (paragraph 8 9)7.4.4  Limited Types (paragraph 8 9)
  73.  
  74.  
  75.  
  76.   -  An explicit initial value is not allowed in an allocator if the designated type  is  limited.
  77.  
  78.   -  A generic formal parameter of mode ininin must not be of a limited type.
  79.  
  80.  
  81.  
  82.  
  83.  
  84.  
  85.  
  86.  
  87.  
  88.  
  89.  
  90.  
  91.  
  92.  
  93.  
  94.  
  95.  
  96.  
  97.  
  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. 7.4.4 Limited Types (paragraph 8 9)                                                             -2
  134.