| ----------------------------------------------------------------------- |
| -- Code Archetypes for the CHESS Component Model -- |
| -- -- |
| -- Copyright (C) 2011-2012 -- |
| -- University of Padova, ITALY -- |
| -- -- |
| -- Author: Marco Panunzio panunzio@math.unipd.it -- |
| -- -- |
| -- All rights reserved. This program and the accompanying materials -- |
| -- are made available under the terms of the Eclipse Public License -- |
| -- v1.0 which accompanies this distribution, and is available at -- |
| -- http://www.eclipse.org/legal/epl-v20.html -- |
| ----------------------------------------------------------------------- |
| |
| with System; |
| with Data_Structure; |
| with Ada.Real_Time; |
| with Task_Monitors; |
| |
| package Sporadic_Task_Monitored is |
| |
| -- Cannot use Time_Span for offset/period in task discriminant => Natural |
| |
| task type Thread_T |
| (My_Task_ID : Data_Structure.Task_Gen_ID; |
| Thread_Priority : System.Any_Priority; |
| MIAT : Natural; |
| Get_Request : access procedure (Req : out Data_Structure.Request_Descriptor_T; |
| Release : out Ada.Real_Time.Time); |
| Name : access String) is |
| |
| pragma Priority (Thread_Priority); |
| end Thread_T; |
| |
| end Sporadic_Task_Monitored; |
