Ada Programming/Attributes/'Identity
Description
editX'Identity is an Ada attribute where X is any task. This attribute returns a unique identifying string (of type "Task_ID"). This string is used in some Ada tasking libraries for task identification. It may also be used directly by the user for output purposes, to determine if two tasks are the same task, etc.
Example
edittask
My_Task;task
My_Other_Task; ...if
My_Task'Identity = My_Other_Task'Identitythen
-- Do somethingend
if
;