PowerAda 45
From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics | Annex M
Revision as of 10:03, 24 April 2019 by imported>WikiVisor
(45) The meaning of Size for indefinite subtypes.
See 13.3(48).
The 'Size attribute will return the largest possible size of any object of the indefinite subtype.