PowerAda 48

From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics‎ | Annex M
Revision as of 10:04, 24 April 2019 by imported>WikiVisor
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

(48) Implementation-defined components.

See 13.5.1(15).

Implementation-defined components are created for the following purposes:

  • An implementation-defined component is generated for the tag of a tagged record. The tag is a single 32-bit value stored at offset 0 in the record.
  • An implementation-defined component is generated for each discriminant-dependent component in the record to indicate the offset to the component. Each offset is a single 32-bit value stored in the record immediately following fixed layout portion of the record.

These implementation-defined components have no names and therefore cannot used in record_representation_clauses.