File: /home/oboss/Users/gec/sources/PUS_Services/Large_Data_Transfer/large_data_transfer-sender-tc_handler.ads
1 --% Compilation Unit:
2 --
3 --% Category: Procedure Declaration
4 --
5 --% Release: $Name: $
6 --
7 --% Version: $Revision: 1.2 $
8 --
9 --% Author: $Author: jhl $
10 --
11 --% Revision Log:
12 -- $Log: large_data_transfer-sender-tc_handler.ads,v $
13 -- Revision 1.2 2003/10/09 11:05:31 jhl
14 -- Added Service 13 And 19
15 --
16 -- Revision 1.1.2.2 2003/10/03 09:47:54 jhl
17 -- Large Data Transfer post review first update
18 --
19 -- Revision 1.1.2.1 2003/10/01 11:54:46 jhl
20 -- Initial version of service 13 Event Action, and 19 Large Data Transfer.
21 --
22 -- Revision 2.0 2003/04/04 10:08:58 gec
23 -- Initial release serving as baseline for OBOSS-III project.
24 --
25 -- Revision 1.1.1.1 2003/04/04 07:19:20 gec
26 -- Imported using TkCVS
27 --
28 --
29 --
30 --% Project: OBOSS
31 --
32 --% Copyright (C) 2003 by Terma A/S
33 -- Proprietary and intellectual rights of Terma A/S, Denmark,
34 -- are involved in the subject-matter of this material and
35 -- all manufacturing, reproduction, use, disclosure, and
36 -- sales rights pertaining to such subject-matter are
37 -- expressly reserved. This material is submitted for a
38 -- specific purpose as agreed, and the recipient by
39 -- accepting this material agrees that this material will
40 -- not be used, copied, or reproduced in whole or in part
41 -- nor its contents revealed in any manner or to any person,
42 -- except to meet the purpose for which it was submitted and
43 -- subject to the terms of the agreement.
44 --
45 --% Target Dependencies:
46 -- None
47 --% Compiler Dependencies:
48 -- None
49
50
51 --~-----------------------------------------------------------------------------
52
53 with Large_Data_Transfer.Sender.TC_Parser;
54 with PUS;
55
56 private generic package Large_Data_Transfer.Sender.TC_Handler is
57
58 --% Library Package:
59 -- Implements the handling of the TC delivered to the Large Data Transfer
60 --+ sending sub-service
61 --% Active Tasks:
62 --> None
63 --% Passive Tasks:
64 --> None
65
66 --% Subprogram:
67 -- Handles the TC delivered to the Large Data Transfer sending
68 --+ sub-service
69 --
70 -- The TC Packet is parsed, and then the parsed tc source data is used to
71 --+ request a state change in The_Sender_State.
72 --
73 -- TC Verification Level: Acceptance, Completion
74 --% Parameter Constraints:
75 --> TC_Packet - Must be a TC Packet with Large Data Transfer service type
76 --+ and a sending sub-service service subtype
77 --% Exceptions Raised:
78 --> None
79
80 procedure Handle_TC_Packet
81 (TC_Packet : in PUS.PUS_Packet);
82
83 private
84
85 --% Library Package:
86 -- Package for parsing tc packets
87 -- Package is places in specification to avoid elaboration circularities
88 --+ in a static elaboration model.
89 package The_TC_Parser is new Large_Data_Transfer.Sender.TC_Parser;
90
91 end Large_Data_Transfer.sender.tc_Handler;
92
93 --~-----------------------------------------------------------------------------
94