File: /home/oboss/Users/gec/sources/PUS_Services/Storage_And_Retrieval/packet_store_types.ads
1 --% Compilation Unit: Packet_Store_Types
2 --
3 --% Category: Package Declaration
4 --
5 --% Release: $Name: $
6 --
7 --% Version: $Revision: 2.1 $
8 --
9 --% Author: $Author: gec $
10 --
11 --% Revision Log:
12 -- $Log: packet_store_types.ads,v $
13 -- Revision 2.1 2003/11/13 14:57:55 gec
14 -- Merged ECSS Migration branch to main trunk.
15 --
16 -- Revision 2.0.8.2 2003/10/29 09:32:48 gec
17 -- Corrected inconsistent references to updated packet sequence counts.
18 --
19 -- Revision 2.0.8.1 2003/10/29 07:17:43 gec
20 -- Packet headers and data field headers updated to be compliant to ECSS
21 --+ Telemetry & Telecommand Packet Utilization standard.
22 --
23 -- Revision 2.0 2003/04/04 08:51:21 gec
24 -- Initial release of source files serving as baseline for OBOSS-III
25 --+ project.
26 --
27 -- Revision 1.1.1.1 2003/04/04 08:13:14 gec
28 -- Imported using TkCVS
29 --
30 --
31 --
32 --% Project: OBOSS
33 --
34 --% Copyright (C) 2003 by Terma A/S
35 -- Proprietary and intellectual rights of Terma A/S, Denmark,
36 -- are involved in the subject-matter of this material and
37 -- all manufacturing, reproduction, use, disclosure, and
38 -- sales rights pertaining to such subject-matter are
39 -- expressly reserved. This material is submitted for a
40 -- specific purpose as agreed, and the recipient by
41 -- accepting this material agrees that this material will
42 -- not be used, copied, or reproduced in whole or in part
43 -- nor its contents revealed in any manner or to any person,
44 -- except to meet the purpose for which it was submitted and
45 -- subject to the terms of the agreement.
46 --
47 --% Target Dependencies:
48 -- None
49 --% Compiler Dependencies:
50 -- None
51
52 --~-----------------------------------------------------------------------------
53
54 with PUS_Data_Types;
55 with Mission_Parameters;
56 with External_PUS_Data_Types;
57 with Source_Data_Stream;
58 with Parameter_Representation;
59 package Packet_Store_Types is
60
61 --% Library Package:
62 -- Definition of on-board storage internal types
63 --% Active Tasks:
64 --> None
65 --% Passive Tasks:
66 --> None
67
68 type Count_Type is new Natural;
69 type Storage_Strategy is
70 (Cyclic,
71 Bounded);
72
73 type Sequence_Count is
74 record
75 Source :
76 Mission_Parameters.APID;
77 Source_Sequence_Counter :
78 External_PUS_Data_Types.External_Source_Sequence_Count;
79 end record;
80
81 type Downlink_Set_Type is
82 (All_Of,
83 Between,
84 Before,
85 After);
86
87 type Packet_Set_Spec(Packet_Set : Downlink_Set_Type := All_Of) is
88 record
89 case Packet_Set is
90 when All_Of =>
91 null;
92 when Between =>
93 From_Packet, To_Packet : Sequence_Count;
94 when Before | After =>
95 Ref_Packet : Sequence_Count;
96 end case;
97 end record;
98
99 type Time_Span_Spec(Time_Span : Downlink_Set_Type := All_Of) is
100 record
101 case Time_Span is
102 when All_Of =>
103 null;
104 when Between =>
105 From_Time, To_Time : Parameter_Representation.PUS_Time;
106 when Before | After =>
107 Ref_Time : Parameter_Representation.PUS_Time;
108 end case;
109 end record;
110
111 type Deletion_Set_Type is
112 (Delete_All_Of,
113 Delete_Before);
114
115 type Deletion_Spec is
116 record
117 Store_ID : Mission_Parameters.Packet_Store_ID;
118 To_Packet : Sequence_Count;
119 end record;
120
121 end Packet_Store_Types;
122
123 --~-----------------------------------------------------------------------------
124