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