PowerAda 57
From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics | Annex M
Revision as of 10:06, 24 April 2019 by imported>WikiVisor
(57) The set of restrictions allowed in a pragma Restrictions.
See 13.12(7).
The set of allowed restrictions is exactly the set specified in Annex D.7 in the LM.