PostconstraintBehavior
A PostconstraintBehavior adds a constraint to accepting states of a behavior. If the accepting state is the initial state, then the constraint is applied to its outgoing steps. If a constraint works on steps, not states, as in requirement capture, it is applied to the steps whose target state is the state applying with the post constraint.
Syntax Definition
PostconstraintBehavior ::= Behavior : ( EmbeddedCode | fail ) .
Remarks
The purpose of the fail keyword is to mark the accepting states of a behavior as error states. It can be syntactically reduced as follows: B1 : fail -> B1 : {. Condition.AssertIsTrue(false); .}
The offered signature of both forms is that of the behavior operand.