concepts.dm.crow.action.CrowActionOrdering#

class CrowActionOrdering[source]#

Bases: JacEnum

The ordering of statements in a action body ordering suite. There are four types of ordering:

SEQUENTIAL: the statements are executed sequentially.
UNORDERED: the statements are executed in an unordered way. All achieve expressions would be achieved, but the order is not specified.
PROMOTABLE: the statements are executed in a promotable way. In particular, all achieve expressions would be achieved, but they might be promoted to the front of the action sequence.
PREAMBLE: the statements are executed in a preamble way. This must be the first statement in the action body and it specifies the preamble of the action, which will be executed at the place where the action is refined.
CRITICAL: the statements are executed in a critical way. This can only be used inside the promotable body and it specifies a critical section.

Attributes