跳到内容

Ada 编程/属性/'任务 ID

来自维基教科书,开放的书籍,为开放的世界

对于非被动任务对象或值 X,X'TASK_ID 返回与任务关联的唯一任务 ID。此属性的值为 SYSTEM.TASK_ID 类型。如果任务对象或值 X 表示被动任务,则结果是与被动任务关联的被动任务头记录对象。然后结果类型为 SYSTEM.PASSIVE_TASK_ID 类型。

华夏公益教科书