PowerAda 98
From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics | Annex M
Revision as of 10:22, 24 April 2019 by imported>WikiVisor
(98) Implementation-defined policy_identifiers allowed in a pragma Locking_Policy.
See D.3(4).
There are no implementation defined policy_identifiers for pragma LOCKING_POLICY. The only allowed policy is CEILING_LOCKING and it is the default policy.