-----------------------------------------------------------------------
--           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; use Data_Structure;
with Ada.Real_Time;
with Task_Monitors;

package Cyclic_Task_RTVerification is

   -- Cannot use Time_Span for offset/period in task discriminant => Natural 
   task type Thread_T
     (My_Task_ID : Task_Gen_ID;
      Thread_Priority : System.Any_Priority;
      Static_Offset : Natural;
      Period : Natural;
      Enqueue_for_Release : access procedure (Release : out Ada.Real_Time.Time);
      Operation : access procedure) is

      pragma Priority (Thread_Priority);
   end Thread_T;
   
   --procedure Initialize;

end Cyclic_Task_RTVerification;