Supplementing Generated Ada : Synchronization of Primitive Activities : Synchronization : Aborting Tasks

Aborting Tasks

Perform abort by using the Ada abort statement. Abort is done as follows:

1.
2.

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.