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