File: /home/oboss/Users/gec/sources/PUS_Services/TC_Verification/telecommand_verification_generator.ads
1 --~-----------------------------------------------------------------------------
2
3 with Mission_Parameters;
4 with Packet_Depositor;
5 with PUS;
6 with PUS_Data_Types;
7 with Verification_Types;
8 generic
9
10 --% Generic Parameter Constraints:
11 --> None
12
13 -- Application ID of application process for which verification reports are
14 --+ generated
15 My_APID : in Mission_Parameters.APID;
16
17 -- Pacakge suppporting routing of generated telemetry reports
18 with package Router is new Packet_Depositor(<>);
19
20 package Telecommand_Verification_Generator is
21
22 --% Library Package:
23 -- Generic package that may generate and submit telecommand verification
24 --+ reports.
25 --% Active Tasks:
26 --> None
27 --% Passive Tasks:
28 --> None
29
30 --% Subprogram:
31 -- Generate telecommand verification packet acknowledging Stage if
32 --+ requested in TC.
33 -- Stage indicates telecommand execution stage, Status is associated
34 --+ status.
35 -- Step_Number is intermediate step being acknowledged iff Stage =
36 --+ PUS_Data_Types.Progress_Of_Execution
37 -- Iff a verification report is to be generated, the result is routed
38 --+ using the actual generic parameter Router
39 --% Parameter Constraints:
40 --> Step_Number - Only applicable iff
41 --+ PUS_Data_Types.Progress_Of_Execution.
42 --% Exceptions Raised:
43 --> Illegal_Packet_Type - Operation has been invoked on a telemetry
44 --+ packet.
45 --> PUS_State.No_Streams_Available - Heap of source streams has been
46 --+ exhausted
47 --> PUS_State.No_Packets_Available - Heap of PUS packets has been
48 --+ exhausted
49 procedure Generate_TC_Verification
50 (TC : in PUS.PUS_Packet;
51 Stage : in PUS_Data_Types.Ack_Stages;
52 Status : in Verification_Types.Verification_Status;
53 Step_Number : in Verification_Types.Verification_Step_Number :=
54 Verification_Types.Verification_Step_Number'First);
55
56 end Telecommand_Verification_Generator;
57
58 --~-----------------------------------------------------------------------------
59