File: /home/oboss/Users/gec/sources/PUS_Services/Storage_And_Retrieval/storage_selection_defs.ads
1 --% Compilation Unit: Storage_Selection_Defs
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: storage_selection_defs.ads,v $
13 -- Revision 2.0 2003/04/04 08:51:23 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:14 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 PUS;
44 with Mission_Parameters;
45 with Packet_Store_Types;
46 with Task_Priority_Control;
47 generic
48
49 --% Generic Parameter Constraints:
50 --> Telecommand_Buffer_Priority - Shall at least be the ceiling of
51 --+ priorities of all tasks using services from the
52 --+ Storage_Selection_Defs
53
54 Application_ID : in Mission_Parameters.APID;
55
56 with function Optional_Deposit
57 (Packet : in PUS.Optional_PUS_Packet)
58 return Boolean;
59
60 Max_Store_IDs : in Packet_Store_Types.Count_Type;
61
62 Telecommand_Buffer_Size : in Natural;
63
64 -- Priority of protected object implementing buffering of calls to
65 --+ Handle_PUS_Packet
66 Telecommand_Buffer_Priority
67 : in Task_Priority_Control.
68 Passive_Task_Priority;
69
70 -- Priority and stack size of sporadic task performing telecommand execution
71 --+ as a response to calls to Handle_PUS_Packet
72 Telecommand_Interpreter_Priority
73 : in Task_Priority_Control.
74 Active_Task_Priority;
75 Telecommand_Interpreter_Stack_Size : in Natural;
76
77
78 package Storage_Selection_Defs is
79
80 --% Library Package:
81 -- Management of on-board storage selection definitions
82 --% Active Tasks:
83 -->
84 --+ Storage_Selection_Defs_TC_Interpreter.The_TC_Interpreter.The_Sporadic_Task
85 --+ - Sporadic
86 --% Passive Tasks:
87 -->
88 --+ Storage_Selection_Defs_TC_Interpreter.The_TC_Interpreter.Event_Buffer.Queue_Task
89 --+ - Queue of on-board storage selection definition related TCs
90
91 procedure Initialize;
92
93
94 --% Subprogram:
95 -- Handling of on-board storage selection definition related TCs
96 --% Parameter Constraints:
97 --> None
98 --% Exceptions Raised:
99 --> None
100
101 procedure Handle_PUS_Packet
102 (Packet : in PUS.PUS_Packet);
103
104 end Storage_Selection_Defs;
105
106 --~-----------------------------------------------------------------------------
107