HidingBehavior
This operation transforms the behavior of the left operand according to the configuration referenced by the right operand.
Syntax Definition
HidingBehavior ::= Behavior ( reduce | collapse | internalize ) ConfigId .
ConfigId ::= Ident .
Remarks
The options are as shown in the following table.
| Option | Description |
|---|---|
reduce |
Hide all steps with actions not in the configuration. |
collapse |
Combine all sequences of steps with actions not in the configuration into a single internal step. |
internalize |
Convert each step with an action not in the configuration to an internal step. |
The offered signature is that of the configuration. The action for the internal step does not count as part of the signature.