File: /home/oboss/Users/gec/sources/Basic_Services/Control_Structures/event_task.ads
1 --% Compilation Unit: Event_Task
2 --
3 --% Category: Generic Package Declaration
4 --
5 --% Release: $Name: $
6 --
7 --% Version: $Revision: 2.0 $
8 --
9 --% Author: $Author: gec $
10 --
11 --% Revision Log:
12 -- $Log: event_task.ads,v $
13 -- Revision 2.0 2003/04/04 08:49:59 gec
14 -- Initial release of source files serving as baseline for OBOSS-III project.
15 --
16 -- Revision 1.1.1.1 2003/04/04 08:13:01 gec
17 -- Imported using TkCVS
18 --
19 --
20 --
21 --% Project: OBOSS
22 --
23 --% Copyright (C) 2003 by Terma A/S
24 -- Proprietary and intellectual rights of Terma A/S, Denmark,
25 -- are involved in the subject-matter of this material and
26 -- all manufacturing, reproduction, use, disclosure, and
27 -- sales rights pertaining to such subject-matter are
28 -- expressly reserved. This material is submitted for a
29 -- specific purpose as agreed, and the recipient by
30 -- accepting this material agrees that this material will
31 -- not be used, copied, or reproduced in whole or in part
32 -- nor its contents revealed in any manner or to any person,
33 -- except to meet the purpose for which it was submitted and
34 -- subject to the terms of the agreement.
35 --
36 --% Target Dependencies:
37 -- None
38 --% Compiler Dependencies:
39 -- None
40
41 --~-----------------------------------------------------------------------------
42
43 with Task_Priority_Control;
44 with Mission_Parameters;
45 with Globals;
46 generic
47
48 --% Generic Parameter Constraints:
49 --> Event_Operation - Must not propagate any exceptions out of the
50 --+ call.
51
52 -- My_Application_ID is application ID for associated application process.
53 -- Used for generation of event reports in case of unhandled exceptions
54 --+ propagated out of Event_Operation
55 My_Application_ID : in Mission_Parameters.APID;
56
57 -- Priority and stack size of Event object performing Event_Operation
58 Event_Task_Priority : in Task_Priority_Control.Active_Task_Priority;
59 Event_Task_Stack_Size : in Natural;
60
61 -- Event_Operation is an HRT-HOOD ASER type of operation
62 type Event_Parameter_Type is private;
63
64 -- No violation of minimum inter-arrival time is detected.
65 -- Only Event_Event_Buffer_Size number of calls are buffered.
66 with function Event_Operation
67 (Event_Parameter : in Event_Parameter_Type) return Boolean;
68
69 with function Extract_Operation return Event_Parameter_Type;
70
71 package Event_Task is
72
73 --% Library Package:
74 -- Implementation of control structure corresponding to Event task as
75 --+ defined in HRT-HOOD.
76 --% Active Tasks:
77 --> The_Event_Task - Sporadic
78 --% Passive Tasks:
79 --> Event_Buffer.Queue_Task - Critical region ensuring atomic execution on
80 --+ operations on queue of execution requests.
81
82 procedure Dummy;
83
84 end Event_Task;
85
86 --~-----------------------------------------------------------------------------
87