Syntax:
pragma Deadline_Floor (time_span_EXPRESSION);
This pragma applies only to protected types and specifies the floor deadline inherited by a task when the task enters a protected object. It is effective only when the EDF scheduling policy is used.