Ada Programming/Attributes/'Identity

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Ada. Time-tested, safe and secure.

Description[edit | edit source]

X'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[edit | edit source]

task My_Task;
task My_Other_Task;
if My_Task'Identity = My_Other_Task'Identity then
  -- Do something
end if;

See also[edit | edit source]

Wikibook[edit | edit source]

Ada Reference Manual[edit | edit source]