File: /home/oboss/Users/gec/sources/PUS_Services/Event_Action/event_action-service-tc_verification.ads
1 --% Compilation Unit: Event_Action.Service.TC_Verification
2 --
3 --% Category: Generic Package Declaration
4 --
5 --% Release: $Name: $
6 --
7 --% Version: $Revision: 1.3 $
8 --
9 --% Author: $Author: jhl $
10 --
11 --% Revision Log:
12 -- $Log: event_action-service-tc_verification.ads,v $
13 -- Revision 1.3 2003/10/13 11:03:46 jhl
14 -- Removed with's not needed.
15 --
16 -- Revision 1.2 2003/10/09 11:05:23 jhl
17 -- Added Service 13 And 19
18 --
19 -- Revision 1.1.2.2 2003/10/06 12:17:19 jhl
20 -- Event Action Post Review first update
21 --
22 -- Revision 1.1.2.1 2003/10/01 11:54:32 jhl
23 -- Initial version of service 13 Event Action, and 19 Large Data Transfer.
24 --
25 -- Revision 2.0 2003/04/04 10:08:58 gec
26 -- Initial release serving as baseline for OBOSS-III project.
27 --
28 -- Revision 1.1.1.1 2003/04/04 07:19:20 gec
29 -- Imported using TkCVS
30 --
31 --
32 --
33 --% Project: OBOSS
34 --
35 --% Copyright (C) 2003 by Terma A/S
36 -- Proprietary and intellectual rights of Terma A/S, Denmark,
37 -- are involved in the subject-matter of this material and
38 -- all manufacturing, reproduction, use, disclosure, and
39 -- sales rights pertaining to such subject-matter are
40 -- expressly reserved. This material is submitted for a
41 -- specific purpose as agreed, and the recipient by
42 -- accepting this material agrees that this material will
43 -- not be used, copied, or reproduced in whole or in part
44 -- nor its contents revealed in any manner or to any person,
45 -- except to meet the purpose for which it was submitted and
46 -- subject to the terms of the agreement.
47 --
48 --% Target Dependencies:
49 -- None
50 --% Compiler Dependencies:
51 -- None
52
53 --~-----------------------------------------------------------------------------
54
55 with PUS;
56 with Verification_Types;
57 private generic package Event_Action.Service.TC_Verification is
58
59 --% Library Package:
60 -- Wrapper package for the TC verification service for the event action
61 --+ service
62 --% Active Tasks:
63 --> None
64 --% Passive Tasks:
65 --> None
66
67 -- Exception indicating that a TM packet were used as parameter when a TC
68 --+ packet was expected.
69 Illegal_Packet_Type : exception;
70
71 --% Subprogram:
72 -- Initialises the command interpreter state for a new telecommand
73 --+ execution
74 --% Parameter Constraints:
75 --> None
76 --% Exceptions Raised:
77 --> None
78
79 procedure Start_New_TC_Interpretation;
80
81 --% Subprogram:
82 -- Submit telecommand verifications for the given stage and status
83 --% Parameter Constraints:
84 --> None
85 --% Exceptions Raised:
86 --> PUS_State.No_Streams_Available - Heap of source data streams has been
87 --+ exhausted
88 --> PUS_State.No_Packets_Available - Heap of PUS packets has been
89 --+ exhausted
90
91 procedure Verify_Stage
92 (TC : in PUS.PUS_Packet;
93 Stage : in PUS_Data_Types.Ack_Stages;
94 Status : in Verification_Types.Verification_Status);
95
96 --% Subprogram:
97 -- Submit telecommand verifications for the next step using Status
98 --% Parameter Constraints:
99 --> None
100 --% Exceptions Raised:
101 --> Illegal_Packet_Type - Operation has been invoked on a telemetry
102 --+ packet.
103 --> PUS_State.No_Streams_Available - Heap of source data streams has been
104 --+ exhausted
105 --> PUS_State.No_Packets_Available - Heap of PUS packets has been
106 --+ exhausted
107
108 procedure Verify_Step
109 (TC : in PUS.PUS_Packet;
110 Status : in Verification_Types.Verification_Status);
111
112 end Event_Action.service.tc_Verification;
113
114 --~-----------------------------------------------------------------------------
115
116