X'Identity 是 Ada 屬性,其中 X 是任何任務。此屬性返回一個唯一的標識字串(型別為 "Task_ID")。此字串在某些 Ada 任務庫中用於任務標識。使用者也可以直接使用它進行輸出,以確定兩個任務是否為同一個任務等等。
task My_Task; task My_Other_Task; ... if My_Task'Identity = My_Other_Task'Identity then -- Do something end if;
task
if
then
end