Assertion: elaboration | /r/HasProperty | completed
Facets:
Source sentences:
text: This specifically tells the synth_design process to stop after the elaboration has been completed.
text: The reason for this is that library tasks start as soon as they are declared (more precisely, as soon as the statement part of the enclosing package body is reached), that is to say before elaboration of the program is complete.
text: An elaboration incorporates such a wide range of resources from textual, social, and cultural traditions that ancient rhetoricians considered an elaboration to be a complete argument.
text: If we examine the task body, it is apparent that the task cannot proceed past the accept statement until after elaboration has been completed, because the corresponding entry call comes from the main program, not earlier.
text: The compiler will check to the extent it can that the above restriction is not violated, but it is not always possible to do a complete check at compile time, so it is important to use this pragma only if the stated restriction is in fact met, that is to say no task receives an entry call before elaboration of all units is completed.
text: Two events are key indicators that elaboration is complete.