Ada Abort and Abortby Kinds

Use “ada abort” to match all Ada abort reference kinds.

Kind Name
Entity Performing Reference
Entity Being Referenced
Ada Abort
some_proc
some_task
Ada Abortby
some_task
some_proc

These kinds indicate a task is aborted by another program unit.

procedure some_proc is 
    task some_task is 
       ... 
    end; 
    task body some_task is separate; 
begin 
    abort some_task; 
end; 

Scientific Toolworks, Inc.
http://www.scitools.com