Search results

Create the page "Tagged Types" on this wiki! See also the search results found.

Guide:95lrm/RM-3-10-2
...</div><div class="linenumbers">{{DISPLAYTITLE: 3.10.2 Operations of Access Types}} ...clared local to the calling subprogram. The accessibility rules for access types require that the accessibility level of an object designated by an access v

12 KB (1,939 words) - 23:36, 4 May 2019
Guide:9x rationale/rat95-p2-6
...ly first class types since they may be manipulated as the target of access types. However, this topic is dealt with in Chapter 3 and we concern ourselves he ...d by-reference types and are always passed by reference. For the remaining types the implementation is free to choose either mechanism. Note that the parame

16 KB (2,517 words) - 16:34, 20 April 2019
Guide:9x rationale/rat95-p2-7
...is the introduction of controlled types which are implemented using tagged types. In summary the changes are * A private type may be marked as tagged. The rules regarding private types and discriminants are considerably relaxed.

33 KB (5,218 words) - 16:19, 20 April 2019
Guide:95lrm/RM-3-7
...r a composite type that is not an array type (this includes generic formal types). A type declared with a known_discriminant_part is called a ''discriminate ...pressions are permitted in a known_discriminant_part in a declaration of a tagged type or a generic formal type.

10 KB (1,501 words) - 23:37, 4 May 2019
PowerAda:APPENDIX C. Implementation Characteristics/Annex M/44
...ation clauses for enumeration types are supported for all types except for types derived from the predefined type BOOLEAN. The value specified for the enume :Storage_Size clauses are supported for both task and access types. The only restriction is that the size specified must be available from the

4 KB (686 words) - 10:03, 24 April 2019
Guide:95lrm/RM-3-10
...RM-3-10-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 3.10 Access Types}} ...ciated with an access-to-object type is a ''storage pool''; several access types may share the same storage pool. All descendants of an access type share th

9 KB (1,371 words) - 23:36, 4 May 2019
Guide:95lrm/RM-3-10-1
...the same access type. This permits mutually dependent and recursive access types. An incomplete_type_declaration can be used to introduce a type to be used ...used in this way, the corresponding full_type_declaration shall declare a tagged type, and the attribute_reference shall occur in the same library unit as t

5 KB (764 words) - 23:36, 4 May 2019
Guide:9x rationale/rat95-index
; abstract types : and private types [[Guide:9x_rationale/rat95-p2-3#6-2|3.6.2]]

27 KB (4,110 words) - 17:17, 20 April 2019
Guide:9x rationale/rat95-p2-12
...sms to match the additional functionality provided by tagged and other new types. In addition problems with flaws in the contract model are cured. ...ajor flaw in the contract model. The (<>) notation is also used in private types to indicate that they have unknown discriminants.

31 KB (4,771 words) - 16:20, 20 April 2019
Guide:95lrm/RM-12-3
...new ones can be called only from outside the instance, although for tagged types, the body of a new one can be executed by a call to an old one. ...ermitted; the new type does not get a new tag value, even if the actual is tagged. Overriding operations for such a derived type cannot be dispatched to from

10 KB (1,466 words) - 23:35, 4 May 2019
Guide:9x rationale/rat95-p2-13
* Additional types and operations are provided for address and offset manipulation. ...e Size attribute may now be set for individual objects rather than just to types as in Ada 83.

21 KB (3,320 words) - 16:20, 20 April 2019
Guide:95lrm/RM-7-5
...rm/RM-7-6|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 7.5 Limited Types}} If a tagged record type has any limited components, then the reserved word '''limited''

4 KB (684 words) - 23:38, 4 May 2019
Guide:95lrm/RM-6-2
* a tagged type; <span id="I2943"></span>For parameters of other types, it is unspecified whether the parameter is passed by copy or by reference.

3 KB (530 words) - 23:38, 4 May 2019
Guide:95lrm/RM-13-13-2
For untagged derived types, the Write and Read attributes of the parent type are inherited as specifie ...type, discriminants are included only if they have defaults. If ''T'' is a tagged type, the tag is not included. For type extensions, the Write or Read attri

10 KB (1,456 words) - 23:35, 4 May 2019
Guide:95lrm/RM-3-4
.../RM-3-4-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 3.4 Derived Types and Classes}} ...ecord_extension_part shall be provided if and only if the parent type is a tagged type.

11 KB (1,700 words) - 23:36, 4 May 2019
Guide:9x rationale/index
** [[Guide:9x_rationale/rat95-p1-2#3|II.3 Abstract Types and Subprograms]] ** [[Guide:9x_rationale/rat95-p1-2#6|II.6 Other Access Types]]

13 KB (1,924 words) - 16:18, 20 April 2019
PowerAda:APPENDIX C. Implementation Characteristics/Annex M/43
:The compiler supports representation clauses for enumeration types, as described in RM [[Guide:95lrm/RM-13-4|Section 13.4]]. The values specif ;pragma Discard_Names (when applied to an enumeration or tagged type)

7 KB (1,141 words) - 00:35, 25 April 2019
Guide:9x rationale/rat95-contents
:: [[Guide:9x_rationale/rat95-p1-2#3|II.3 Abstract Types and Subprograms]] :: [[Guide:9x_rationale/rat95-p1-2#6|II.6 Other Access Types]]

14 KB (1,918 words) - 10:57, 6 May 2019
PowerAda:APPENDIX D. Demos and Tutorials/Ada95 Demo
...ked</code> and overloads the <code>Image</code> routine for these extended types. ..., traverses the list and calls <code>Image</code> for each of the extended types. Each of the calls to <code>Image</code> is a dispatching operation, meanin

10 KB (1,579 words) - 00:36, 25 April 2019
Guide:95lrm/index
3. [[Guide:95lrm/RM-3|Declarations and Types]] 3.2 [[Guide:95lrm/RM-3-2|Types and Subtypes]]

19 KB (2,641 words) - 15:48, 29 April 2019