PowerAda 58

From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics‎ | Annex M
Revision as of 10:07, 24 April 2019 by imported>WikiVisor
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

(58) The consequences of violating limitations on Restrictions pragmas.

See 13.12(9).

When the following restrictions are violated a bind-time failure message is generated and no executable program is produced:

NO_TASK_HIERARCHY
NO_NESTED_FINALIZATION
NO_ABORT_STATEMENTS
NO_TERMINATE_ALTERNATIVES
NO_TASK_ALLOCATORS
NO_DYNAMIC_PRIORITIES
NO_ASYNCHRONOUS_CONTROL
MAX_SELECT_ALTERNATIVES
MAX_TASK_ENTRIES
MAX_PROTECTED_ENTRIES