HidingBehavior

This operation transforms the behavior of the left operand according to the configuration referenced by the right operand.

HidingBehavior ::= Behavior ( reduce | collapse | internalize ) ConfigId .
ConfigId ::= Ident .

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.



Show: