Search results

Jump to: navigation, search

Page title matches

  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-5-5|Previous]] | [[Guide:95lrm/RM-5-7|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 5.6 Block State ... | [[Guide:95lrm/RM-5-5|Previous]] | [[Guide:95lrm/RM-5-7|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (221 words) - 23:37, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-5-6|Previous]] | [[Guide:95lrm/RM-5-8|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 5.7 Exit Statem ... | [[Guide:95lrm/RM-5-6|Previous]] | [[Guide:95lrm/RM-5-8|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (360 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-5-7|Previous]] | [[Guide:95lrm/RM-6|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 5.8 Goto Statemen ...]] | [[Guide:95lrm/RM-5-7|Previous]] | [[Guide:95lrm/RM-6|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (298 words) - 23:38, 4 May 2019
  • ... | [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-6|Previous]] | [[Guide:95lrm/RM-6-2|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 6.1 Subprogram The optional parent_unit_name is only allowed for library units (see [[Guide:95lrm/RM-10-1-1|10.1.1]]).
    8 KB (1,168 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-6-1|Previous]] | [[Guide:95lrm/RM-6-3|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 6.2 Formal Para 5  A formal parameter of mode '''in''' is a constant view (see [[Guide:95lrm/RM-3-3|3.3]]); it cannot be updated within the subprogram_body.
    3 KB (530 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-6-2|Previous]] | [[Guide:95lrm/RM-6-3-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 6.3 Subprogra ... [[Guide:95lrm/RM-6-2|Previous]] | [[Guide:95lrm/RM-6-3-1|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    3 KB (384 words) - 23:38, 4 May 2019
  • ...[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-6-3-2|Previous]] | [[Guide:95lrm/RM-6-4-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 6.4 Subprogra ...oted by the name or prefix). This rule is an overloading rule (see [[Guide:95lrm/RM-8-6|8.6]]).
    6 KB (872 words) - 23:38, 4 May 2019
  • ...[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-6-4-1|Previous]] | [[Guide:95lrm/RM-6-6|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 6.5 Return Stat ... [[Guide:95lrm/RM-6-4-1|Previous]] | [[Guide:95lrm/RM-6-6|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    4 KB (642 words) - 23:38, 4 May 2019
  • ... | [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-7|Previous]] | [[Guide:95lrm/RM-7-2|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 7.1 Package Spe ...ed by means of use_clauses (see [[Guide:95lrm/RM-4-1-3|4.1.3]] and [[Guide:95lrm/RM-8-4|8.4]]).
    4 KB (571 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-7-1|Previous]] | [[Guide:95lrm/RM-7-3|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 7.2 Package Bod ...be used to require a library_unit_declaration to have a body (see [[Guide:95lrm/RM-10-2-1|10.2.1]]) if it would not otherwise require one.
    5 KB (701 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-7-2|Previous]] | [[Guide:95lrm/RM-7-3-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 7.3 Private T ...he package (the details of the definition of the type itself). See [[Guide:95lrm/RM-3-9-1|3.9.1]] for an overview of type extensions. <span id="I3078"></spa
    9 KB (1,377 words) - 23:38, 4 May 2019
  • ...[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-7-3-1|Previous]] | [[Guide:95lrm/RM-7-5|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 7.4 Deferred Co ...so be used to declare constants imported from other languages (see [[Guide:95lrm/RM-B|Annex B]]).
    3 KB (487 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-7-4|Previous]] | [[Guide:95lrm/RM-7-6|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 7.5 Limited Typ ...><span id="I3116"></span><span id="I3117"></span>As illustrated in [[Guide:95lrm/RM-7-3-1|7.3.1]], an untagged limited type can become nonlimited under cert
    4 KB (684 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-7-5|Previous]] | [[Guide:95lrm/RM-7-6-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 7.6 User-Defi ...quality operator of types derived from Controlled, as explained in [[Guide:95lrm/RM-4-5-2|4.5.2]]. The type Limited_Controlled is like Controlled, except th
    8 KB (1,233 words) - 23:38, 4 May 2019
  • ... | [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-8|Previous]] | [[Guide:95lrm/RM-8-2|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 8.1 Declarative * If the declaration of a library unit (including Standard -- see [[Guide:95lrm/RM-10-1-1|10.1.1]]) is included, so are the declarations of any child units
    4 KB (562 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-8-1|Previous]] | [[Guide:95lrm/RM-8-3|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 8.2 Scope of De ...2.7]] for packages, [[Guide:95lrm/RM-9-1|9.1]] for task units, and [[Guide:95lrm/RM-9-4|9.4]] for protected units.
    4 KB (705 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-8-2|Previous]] | [[Guide:95lrm/RM-8-4|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 8.3 Visibility} ...use-visible if it is directly visible because of a use_clause (see [[Guide:95lrm/RM-8-4|8.4]]). Both conditions can apply.
    9 KB (1,427 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-8-3|Previous]] | [[Guide:95lrm/RM-8-5|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 8.4 Use Clauses ... | [[Guide:95lrm/RM-8-3|Previous]] | [[Guide:95lrm/RM-8-5|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    3 KB (543 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-8-4|Previous]] | [[Guide:95lrm/RM-8-5-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 8.5 Renaming ... [[Guide:95lrm/RM-8-4|Previous]] | [[Guide:95lrm/RM-8-5-1|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (341 words) - 23:38, 4 May 2019
  • ...[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-8-5-5|Previous]] | [[Guide:95lrm/RM-9|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 8.6 The Context o ...The syntax rules of the language and the visibility rules given in [[Guide:95lrm/RM-8-3|8.3]] determine the possible interpretations. Most type checking rul
    8 KB (1,353 words) - 23:38, 4 May 2019

Page text matches

  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-4-9|Previous]] | [[Guide:95lrm/RM-5|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 4.9.1 Statically ...]] | [[Guide:95lrm/RM-4-9|Previous]] | [[Guide:95lrm/RM-5|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (271 words) - 23:37, 4 May 2019
  • ...Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-11-4-1|Previous]] | [[Guide:95lrm/RM-11-5|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 11.4.2 Example ...[Guide:95lrm/RM-11-4-1|Previous]] | [[Guide:95lrm/RM-11-5|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    3 KB (421 words) - 23:35, 4 May 2019
  • ... | [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-H|Previous]] | [[Guide:95lrm/RM-H-2|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: H.1 Pragma Norm ...alue for a scalar subtype should be an invalid representation (see [[Guide:95lrm/RM-13-9-1|13.9.1]]).
    2 KB (300 words) - 09:06, 2 May 2019
  • ...[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-2-4-1|Previous]] | [[Guide:95lrm/RM-2-5|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 2.4.2 Based Lit ... [[Guide:95lrm/RM-2-4-1|Previous]] | [[Guide:95lrm/RM-2-5|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (379 words) - 23:36, 4 May 2019
  • ...[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-A-8-2|Previous]] | [[Guide:95lrm/RM-A-8-4|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: A.8.3 Sequent ...e of the subtype Element_Type (see [[Guide:95lrm/RM-A-13|A.13]], ''[[Guide:95lrm/RM-A-13|Exceptions in Input-Output]]'').
    2 KB (346 words) - 16:41, 1 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-0-1|Previous]] | [[Guide:95lrm/RM-0-3|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: Foreword}} ... | [[Guide:95lrm/RM-0-1|Previous]] | [[Guide:95lrm/RM-0-3|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (240 words) - 23:35, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-5-7|Previous]] | [[Guide:95lrm/RM-6|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 5.8 Goto Statemen ...]] | [[Guide:95lrm/RM-5-7|Previous]] | [[Guide:95lrm/RM-6|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (298 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-1-1|Previous]] | [[Guide:95lrm/RM-1-1-2|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 1.1.1 Extent} ... [[Guide:95lrm/RM-1-1|Previous]] | [[Guide:95lrm/RM-1-1-2|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (262 words) - 23:35, 4 May 2019
  • ... | [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-K|Previous]] | [[Guide:95lrm/RM-M|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: Annex L. Language ...ex]] | [[Guide:95lrm/RM-K|Previous]] | [[Guide:95lrm/RM-M|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    7 KB (1,073 words) - 09:44, 2 May 2019
  • ...[[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-9-10|Previous]] | [[Guide:95lrm/RM-10|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 9.11 Example of ... | [[Guide:95lrm/RM-9-10|Previous]] | [[Guide:95lrm/RM-10|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    3 KB (326 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-E-2|Previous]] | [[Guide:95lrm/RM-E-2-2|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: E.2.1 Shared * it shall be preelaborable (see [[Guide:95lrm/RM-10-2-1|10.2.1]]);
    2 KB (378 words) - 23:12, 1 May 2019
  • ...[[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-11-1|Previous]] | [[Guide:95lrm/RM-11-3|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 11.2 Exception ...er'', which is a constant object of type Exception_Occurrence (see [[Guide:95lrm/RM-11-4-1|11.4.1]]). During the handling of an exception occurrence, the ch
    3 KB (406 words) - 23:35, 4 May 2019
  • ...Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-10-1-5|Previous]] | [[Guide:95lrm/RM-10-2|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 10.1.6 Environ ...hat generic package. (The child is necessarily a generic unit; see [[Guide:95lrm/RM-10-1-1|10.1.1]].)
    2 KB (402 words) - 23:35, 4 May 2019
  • ...Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-13-5-1|Previous]] | [[Guide:95lrm/RM-13-5-3|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 13.5.2 Stora ...uide:95lrm/RM-13-5-1|Previous]] | [[Guide:95lrm/RM-13-5-3|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (312 words) - 23:36, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-D-9|Previous]] | [[Guide:95lrm/RM-D-11|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: D.10 Synchrono ...bject. Suspend_Until_True is a potentially blocking operation (see [[Guide:95lrm/RM-9-5-1|9.5.1]]).
    2 KB (340 words) - 23:07, 1 May 2019
  • ...[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-13-13|Previous]] | [[Guide:95lrm/RM-13-13-2|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 13.13.1 The 30  See [[Guide:95lrm/RM-A-12-1|A.12.1]], ''[[Guide:95lrm/RM-A-12-1|The Package Streams.Stream_IO]]'' for an example of extending typ
    3 KB (408 words) - 23:35, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-8-4|Previous]] | [[Guide:95lrm/RM-8-5-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 8.5 Renaming ... [[Guide:95lrm/RM-8-4|Previous]] | [[Guide:95lrm/RM-8-5-1|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (341 words) - 23:38, 4 May 2019
  • ... [[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-5-6|Previous]] | [[Guide:95lrm/RM-5-8|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 5.7 Exit Statem ... | [[Guide:95lrm/RM-5-6|Previous]] | [[Guide:95lrm/RM-5-8|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (360 words) - 23:38, 4 May 2019
  • ...Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-13-5-2|Previous]] | [[Guide:95lrm/RM-13-6|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 13.5.3 Bit Ord ...[Guide:95lrm/RM-13-5-2|Previous]] | [[Guide:95lrm/RM-13-6|Next]]   [[Guide:95lrm/RM-TTL|Legal]]</div>
    2 KB (348 words) - 23:36, 4 May 2019
  • ...[[Guide:95lrm/RM-0-29|Index]] | [[Guide:95lrm/RM-12-1|Previous]] | [[Guide:95lrm/RM-12-3|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 12.2 Generic B ...corresponding declaration nested in an instance of the parent (see [[Guide:95lrm/RM-10-1-1|10.1.1]]) can from then on be instantiated without failing the El
    3 KB (396 words) - 23:35, 4 May 2019

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)