next up previous contents index
Next: Ada Abortion Up: A Detailed Description of Previous: Summary   Contents   Index


When an error condition is detected in a program two basic mechanisms allow us to handle the error: exceptions, which can be used when the task itself detects the error condition and can explicitly raise (and handle) the exception, and the abortion which is used when another task detects the error condition. Ada provides two basic mechanisms to abort some execution: the abort statement, and the Asynchronous Transfer of Control (ATC).


(c) Javier Miranda. Canary Islands (Spain), 2002. Version 1.0