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
