Perform abort by using the Ada
abort
statement. Abort is done as follows:
2. In addition, if code is generated with debug facilities, then to enable a proper termination, command QUIT causes calls to procedures:
●
FINISHING (found in file main_dbg__.a) aborts all tasks in Run Time Libraries.
●
USER_QUIT (found in file user_activities.a) aborts all extra tasks.
Note: The PANEL_DISPATCH, and basic activities-tasks abort statements are generated automatically. Abort statements for user written tasks should be added manually. The only way to stop code generated without the debug facilities is by Ctrl-C. In this case, all involved tasks also become terminated.