Ada Conformity Assessment Authority      Home Conformity Assessment   Test Suite ARGAda Standard
 
Ada Reference Manual (Ada 2022)Legal Information
Contents   Index   References   Search   Previous   Next 

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.

Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe