跳至内容

Ada 编程/属性/'相对截止日期

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

P 的相对截止日期。

表示受保护对象 P 的非别名组件。此组件的类型为 Ada.Real_Time.Time_Span,其值为 P 的相对截止日期。P'Relative_Deadline 表示一个变量当且仅当 P 表示一个变量。对该属性的引用只能出现在 P 的主体中。

PRelative_Deadline return Ada.Real_Time.Time_Span
华夏公益教科书