Ada Reference Manual (Ada 2022) — Legal Information

# 1.3.4 Runtime Actions

1/5
assertion
boolean expression that is expected to be True at run time at certain specified places
2/5
Note: Certain pragmas and aspects define various kinds of assertions.
3/5
elaboration
process by which a declaration achieves its run-time effect
4/5
Note: Elaboration is one of the forms of execution.
5/5
evaluation
process by which an expression achieves its run-time effect
6/5
Note: Evaluation is one of the forms of execution.
7/5
execution
process by which a construct achieves its run-time effect
8/5
Note: Execution of a declaration is also called elaboration. Execution of an expression is also called evaluation.
9/5
logical thread of control
activity within the execution of a program that can proceed in parallel with other activities of the same task, or of separate tasks
10/5
master
execution of a master construct
11/5
Note: Each object and task is associated with a master. When a master is left, associated tasks are awaited and associated objects are finalized.

Ada 2005 and 2012 Editions sponsored in part by Ada-Europe