Exception mechanisms of languages: termination model Programming languages such as Ada offer mechanisms wh ich permit the detection of eITor occurrence and provoke the call to an exception handler which terminates the interrupted execution.

Example:

procedure XYZ( ... ) is

-- declarative part begin

-- current body exception when others => exception handling end XYZ;
Analyze the redundancy characteristics due to the exception mechanism.
Is this redundancy: active or passive, separable or non-separable, on-line or off-line?