PowerAda 100
From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics | Annex M
Revision as of 10:23, 24 April 2019 by imported>WikiVisor
(100) The ceiling of any protected object used internally by the implementation.
See D.3(16).
The package ADA.SYNCHRONOUS_TASK_CONTROL uses a protected object internally. The ceiling priority declared for this object is SYSTEM.INTERRUPT_PRIORITY'LAST.