File: /home/oboss/Users/gec/sources/PUS_Services/Large_Data_Transfer/large_data_transfer-receiver-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-receiver-tc_handler.ads,v $
13 -- Revision 1.2 2003/10/09 11:05:27 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:40 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 with Large_Data_Transfer.Receiver.TC_Parser;
53
54 private generic package Large_Data_Transfer.Receiver.TC_Handler is
55
56 --% Library Package:
57 -- Implements the handling of the TC delivered to the Large Data Transfer
58 --+ receiving sub-service
59 --% Active Tasks:
60 --> None
61 --% Passive Tasks:
62 --> None
63
64 --% Subprogram:
65 -- Handles the TC delivered to the Large Data Transfer receiving
66 --+ sub-service
67 --
68 -- The TC Packet is parsed, and then the parsed tc source data is used to
69 --+ request a state change in The_Receiver_State.
70 --
71 -- TC Verification Level performed by this subprogram: Acceptance,
72 --+ Completion
73 -- The other levels are performed by other subprograms
74 --% Parameter Constraints:
75 --> TC_Packet - Must be a TC Packet with Large Data Transfer service type
76 --+ and a receiving 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 circularties
88 --+ in a static elaboration model.
89 package The_TC_Parser is new Large_Data_Transfer.Receiver.TC_Parser;
90
91 end Large_Data_Transfer.receiver.tc_Handler;
92
93 --~-----------------------------------------------------------------------------
94