# deactivate

The operation is used to deactivate an already activated default context (i.e., an altstep).

- Default context is a set of branches (cf. altstep) that is implicitly appended at the end of all alt statements (except if the alt has an else branch) and after all stand-alone receive/timeout/done â¦ statements. When no branch of the alt matches the received message, the previously activated default(s) are examined.
- It is possible to deactivate the activated defaults one by one.

Related keywords:

- activate
- alt
- alstep
- default
- null

### deactivate(default_ref)

- default_ref is the default reference referring to the altstep to be deactivated as default.

Example 1:

var default vd_Default := null;
Default := activate(as_Altstep());
deactivate(Default);

The variable Default holds the reference to the altstep activated as default (as_Altstep). It is used as argument in the deactivate operation which removes the altstep from the list of activated defaults.

BNF definition of deactivate