Titan



deactivate


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

Related keywords:


deactivate(default_ref)


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