|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: R T
Length: 1080 (0x438)
Types: TextFile
Names: »READ_ME«
└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
└─⟦5cb1d1d7f⟧ »DATA«
└─⟦3b1ee7bd8⟧
└─⟦this⟧
Check_Representation_Clause provides the ability to check the
consistency of Ada units that have been coded with some of the
Chapter 13 representation clause statements. Currently the following
clauses are checked:
Length Clauses:
For Enumeration types, the size is checked against the
largest literal value of the associated enumeration
representation clause.
For Record types, the size is checked against the size of
the associated record representation clause if any, otherwise
against the size of the type itself.
For All other types, the size is checked against the actual
types size.
Record Representation Clauses:
Various checks will be made to verify consistency between the
representation clause and its associated type declaration.
Notes on use:
Package Analyze_Generic should be instantiated with the correct word
size for the target of interest.
Wildcards as input to Check_Representation_Clause are accepted.