1.3.4 Runtime Actions
boolean expression that is expected to be True at run time at certain
specified places
Note: Certain pragmas and aspects define various
kinds of assertions.
process by which a declaration achieves its run-time effect
Note: Elaboration is one of the forms of execution.
process by which an expression achieves its run-time effect
Note: Evaluation is one of the forms of execution.
process by which a construct achieves its run-time effect
Note: Execution of a declaration is also called
elaboration. Execution of an expression is also called evaluation.
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
execution of a master construct
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
