Spec-Zone.ru › Ada 2022
Ada Reference Manual (Ada 2022)

J.15.12 Pragma Relative_Deadline

Syntax

The form of a pragma Relative_Deadline is as follows:
pragma Relative_Deadline (relative_deadline_expression);

Name Resolution Rules

The expected type for a relative_deadline_expression is Real_Time.Time_Span.

Legality Rules

A Relative_Deadline pragma is allowed only immediately within a task_definition or the declarative_part of a subprogram_body.

Static Semantics

For an implementation that supports Annex D, a pragma Relative_Deadline specifies the value of the Relative_Deadline aspect (see D.2.6). If the pragma appears in a task_definition, the expression is associated with the aspect for the task type or single_task_declaration that contains the pragma; otherwise, the expression is associated with the aspect for the subprogram that contains the pragma.


Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API