PreconstraintBehavior
A PreconstraintBehavior adds a constraint to initial states of a behavior. If a constraint works on steps, not states, as in requirement capture, it is applied to the steps issued from the initial state.
PreconstraintBehavior ::= EmbeddedCode : Behavior .
The offered signature is that of the behavior operand.
Reference
MachineCordScript
Concepts
Cord Syntax DefinitionOther Resources
Cord Scripting Language
Show: