Search results

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

Page title matches

Downcasting Tagged Types
...ter's value will be displayed using the type of the parameter. For tagged types, a parameter value may be any derived type. To log the value as a particul ..., is declared and a second tagged type, Derived, is derived from that base tagged type.

3 KB (373 words) - 23:23, 30 March 2017

Page text matches

Downcasting Tagged Types
...ter's value will be displayed using the type of the parameter. For tagged types, a parameter value may be any derived type. To log the value as a particul ..., is declared and a second tagged type, Derived, is derived from that base tagged type.

3 KB (373 words) - 23:23, 30 March 2017
Guide:95lrm/RM-3-9
...m/RM-3-9-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 3.9 Tagged Types and Type Extensions}} ...n id="I1946"></span><span id="I1947"></span><span id="I1948"></span>Tagged types and type extensions support object-oriented programming, based on inheritan

8 KB (1,235 words) - 23:37, 4 May 2019
Guide:95lrm/RM-3-9-2
...class="linenumbers">{{DISPLAYTITLE: 3.9.2 Dispatching Operations of Tagged Types}} ...n id="I2007"></span><span id="I2008"></span>The primitive subprograms of a tagged type are called ''dispatching operations''. A dispatching operation can be

9 KB (1,481 words) - 23:37, 4 May 2019
Guide:95lrm/RM-3-4-1
In addition to the various language-defined classes of types, types can be grouped into ''derivation classes''. ...''T'' (directly or indirectly) plus any associated universal or class-wide types (defined below).

6 KB (944 words) - 23:36, 4 May 2019
PowerAda:The PowerAda Development Environment/Class Browser View
...owser''' allows you to examine the hierarchy of types, both tagged and non-tagged, to determine the derivation, composition, and primitive operations of a ty ...hierarchy; the components pane, which lists the component fields of record types; and the primitive operations pane, which lists the user-defined and inheri

3 KB (427 words) - 01:01, 24 April 2019
Guide:95lrm/RM-3-2
...de:95lrm/RM-3-2-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 3.2 Types and Subtypes}} ...indivisible; <span id="I1302"></span><span id="I1303"></span>''composite'' types are those whose values are composed of ''component'' values. <span id="I130

6 KB (839 words) - 23:36, 4 May 2019
Guide:95lrm/RM-4-5-2
...ar types, and for ''discrete array types'', that is, one-dimensional array types whose components are of a discrete type. ...type that is covered by a given type. Membership tests are allowed for all types.

10 KB (1,566 words) - 23:37, 4 May 2019
Guide:95lrm/RM-12-5-1
...<div class="linenumbers">{{DISPLAYTITLE: 12.5.1 Formal Private and Derived Types}} ...for a formal private type can be either limited or nonlimited, and either tagged or untagged; no more specific class is known for such a type. The class det

6 KB (937 words) - 23:35, 4 May 2019
Guide:95lrm/RM-3-9-3
...M-3-10|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 3.9.3 Abstract Types and Subprograms}} ...><span id="I2033"></span><span id="I2034"></span>An ''abstract type'' is a tagged type intended for use as a parent type for type extensions, but which is no

5 KB (783 words) - 23:37, 4 May 2019
Guide:95lrm/RM-6-3-1
...r implicitly declared subprogram unless it is a dispatching operation of a tagged type; :* an inherited subprogram of a generic formal tagged type with unknown discriminants;

6 KB (881 words) - 23:38, 4 May 2019
Guide:95lrm/RM-12-5
...RM-12-5-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 12.5 Formal Types}} ...ed to pass to a generic unit a subtype whose type is in a certain class of types.

5 KB (695 words) - 23:35, 4 May 2019
Guide:95lrm/RM-3-9-1
...is either a ''record extension'' or a ''private extension'' of some other tagged type. 67 The accessibility rules imply that a tagged type declared in a library package_specification can be extended only at li

5 KB (654 words) - 23:37, 4 May 2019
Guide:95lrm/RM-N
...iased objects. Access types correspond to ''pointer types'' or ''reference types'' in some other languages. ...s, then all types derived from that type are also in the class. The set of types of a class share common properties, such as their primitive operations.

11 KB (1,816 words) - 10:21, 2 May 2019
Guide:95lrm/RM-7-3
.../RM-7-3-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 7.3 Private Types and Private Extensions}} ... [<span id="I3085"></span>discriminant_part] '''is''' [['''abstract'''] '''tagged'''] ['''limited'''] '''private''';

9 KB (1,377 words) - 23:38, 4 May 2019
Guide:95lrm/RM-4-6
...alue conversions and view conversions, are allowed between closely related types as defined below. This clause also defines rules for value and view convers ...nd type as target type is legal according to the rules of this clause. Two types are convertible if each is convertible to the other.

16 KB (2,672 words) - 23:37, 4 May 2019
Guide:95lrm/RM-4-3-2
...the ancestor_part is an expression, it is expected to be of any nonlimited tagged type. If the ancestor_part is a subtype_mark, it shall denote a specific tagged subtype. The type of the extension_aggregate shall be derived from the type

4 KB (619 words) - 23:37, 4 May 2019
Guide:95lrm/RM-5-2
...ass-wide type ''T'''Class, then the expression shall either be dynamically tagged, or of type ''T'' and tag-indeterminate (see [[Guide:95lrm/RM-3-9-2|3.9.2]] ...3"></span><span id="I2814"></span>Otherwise (the expression is dynamically tagged), a check is made that the tag of the value of the expression is the same a

5 KB (774 words) - 23:37, 4 May 2019
Guide:95lrm/RM-7-3-1
...here the composite type is declared, the only characteristics of component types used are those characteristics visible at that place. If later immediately ...lared at all cannot be named in a call and cannot be overridden, but for a tagged type, it is possible to dispatch to it.

7 KB (1,110 words) - 23:38, 4 May 2019
Guide:95lrm/RM-13-14
...uses ''freezing'' of each entity declared within it, except for incomplete types. <span id="I4520"></span>A noninstance body other than a renames-as-body ca ...frozen. If the type of the allocator is a derived type, then all ancestor types are also frozen.

6 KB (933 words) - 23:36, 4 May 2019
Guide:95lrm/RM-H-4
: There are no declarations of protected types or protected objects. ...loating point types and operations, and declarations of new floating point types, are not allowed.

5 KB (660 words) - 09:10, 2 May 2019
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
Guide:95lrm/RM-E-4
...de:95lrm/RM-E-2-3|E.2.3]]) defines the remote subprograms or remote access types used for remote subprogram calls. ...ed-pure or shared passive library unit, or in the visible part of a remote types or remote call interface library unit. <span id="I6778"></span>Program_Erro

7 KB (1,085 words) - 23:15, 1 May 2019
Guide:95lrm/RM-TOC
== 3. [[Guide:95lrm/RM-3|Declarations and Types]] == ==== 3.2 [[Guide:95lrm/RM-3-2|Types and Subtypes]] ====

21 KB (2,643 words) - 05:19, 6 May 2019
Guide:9x rationale/rat95-p2-2
...s six more reserved words which are abstract, aliased, protected, requeue, tagged, and until. In addition the word "access" is also used as both an attribute ...ion of the new and important features such as type extension and protected types could not have been achieved without the introduction of additional reserve

4 KB (635 words) - 16:20, 20 April 2019
Guide:95lrm/RM-13-3
..."></span><span id="I4233"></span>Component_Size may be specified for array types via an attribute_definition_clause; the expression of such a clause shall b For every subtype S of a tagged type ''T'' (specific or class-wide):

18 KB (2,850 words) - 23:36, 4 May 2019
Guide:95lrm/RM-4-3-1
''Examples of record aggregates for tagged types (see [[Guide:95lrm/RM-3-9|3.9]] and [[Guide:95lrm/RM-3-9-1|3.9.1]]):''

6 KB (906 words) - 23:37, 4 May 2019
Guide:9x rationale/rat95-p2-8
...tions banned use clauses. This meant that either operators of user defined types had to be called with prefix notation such as Complex."+"(P, Q) or else had In the case of a primitive operation of a tagged type, renaming will cause a new slot in the dispatch table to be created if

12 KB (1,975 words) - 16:20, 20 April 2019
Guide:95lrm/RM-0-3
...s to be a central idea in the design. The concepts of packages, of private types, and of generic units are directly related to this idea, which has ramifica ;''Data Types''

22 KB (3,415 words) - 05:23, 6 May 2019
Guide:9x rationale/rat95-p1-3
== <span id="1"> III.1 Objects, Types, Classes and Operations </span> == ...lues with associated operations, and objects, which are instances of those types. Objects hold values. Variables are objects whose values can be changed; co

67 KB (10,189 words) - 16:20, 20 April 2019
Guide:95lrm/RM-3-8
...m/RM-3-8-1|Next]]</div><div class="linenumbers">{{DISPLAYTITLE: 3.8 Record Types}} record_type_definition<span id="I1894"></span> ::= [['''abstract'''] '''tagged'''] ['''limited'''] <span id="I1895"></span>record_definition

8 KB (1,256 words) - 23:37, 4 May 2019
Guide:95lrm/RM-8-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.

9 KB (1,427 words) - 23:38, 4 May 2019