ConstructBehavior
Construct behaviors provide a means for extending Cord behaviors. Cord provides a set of predefined construct behaviors that are described in this and subsequent topics.
Syntax Definition
ConstructBehavior ::=
AcceptCompletionConstruct
| BoundedExplorationConstruct
| AcceptingPathsConstruct
| ModelProgramConstruct
| PointShootConstruct
| RequirementCoverageConstruct
| TestCasesConstruct
| construct ConstructKind [ from Ident ] [ where Switch { , Switch } ]
[ with EmbeddedCode ] [ for Behavior ] .
ConstructKind ::= Ident { Ident } .
Switch ::= Ident = ( Literal | Ident | none ) .
Remarks
The syntactic form of constructs uses a sequence of identifiers for identification of the particular construct, has an optional configuration operand (from keyword), an optional number of switches (where keyword), an optional embedded code operand (with keyword), and an optional behavior operand (for keyword). The generic validation condition is that the configuration parameter, if specified, must be resolvable, and that the behavior operand can be validated. Additional conditions are specific to the predefined constructs.
The offered signature of the construct behavior depends on its actual instance.
Predefined Construct Behaviors
Cord has the following predefined construct behaviors: