AcceptCompletionConstruct
This construct is used in connection with the BoundedExplorationConstruct. Together, they can be used with or without the PointShootConstruct.
Syntax Definition
AcceptCompletionConstruct ::= construct accept completion
where Completer = String
for Behavior .
Remarks
If used with the Point and Shoot construct, defaults are equivalent to those of the Point and Shoot construct. The values of the Completer
parameter must be a machine name provided as a string in quotation marks (" ").
Example
The following Cord code illustrates the syntax of AcceptCompletionConstruct. A more detailed example of this construct’s use is found in the stand-alone Sailboat
sample (see Finding the Code Samples).
machine BoundedShoot(): ConfigActions
{
construct accept completion
where Completer = "ShootCompleterMachine"
for ShootMachine
}
See Also
Reference
BoundedExplorationConstruct
PointShootConstruct
ConstructBehavior
Machine