acceptance_cpdu1.ads 2.02 KB
Newer Older
1
2
3
4
5
6
-- This file was generated automatically: DO NOT MODIFY IT !

with PUS_Implicit_Knowledge;
use PUS_Implicit_Knowledge;
with Request_Verification_Reports;
use Request_Verification_Reports;
7
8
with Device_Access_Structures;
use Device_Access_Structures;
9
10
with HK_Service_Structures;
use HK_Service_Structures;
11
12
with Event_Reporting_Structures;
use Event_Reporting_Structures;
13
14
with Time_Management_Structures;
use Time_Management_Structures;
15
16
with Time_Based_Sched_Structures;
use Time_Based_Sched_Structures;
17
18
with Parameter_Monitoring_Structures;
use Parameter_Monitoring_Structures;
19
20
with Event_Action_Structures;
use Event_Action_Structures;
21
22
with Taps;
use Taps;
23
24
with Taps_Test_Structures;
use Taps_Test_Structures;
25
26
27
28
29
30
31
32
33
34
with TASTE_Dataview;
use TASTE_Dataview;
with TASTE_BasicTypes;
use TASTE_BasicTypes;
with adaasn1rtl;
use adaasn1rtl;



package acceptance_cpdu1 is
35
36
37
38
39
40
    --  Provided interface "tc_payload"
    procedure tc_payload(tc: access asn1SccTC);
    pragma Export(C, tc_payload, "acceptance_cpdu1_tc_payload");
    --  Provided interface "test_Payload"
    procedure test_Payload(testPayload: access asn1SccTest_Taps_Parameters);
    pragma Export(C, test_Payload, "acceptance_cpdu1_test_Payload");
41
    --  Required interface "tc24"
42
    procedure RItc24(tc2_4: access asn1SccDistribute_CPDU_Cmds);
43
44
45
46
47
48
49
    pragma import(C, RItc24, "acceptance_cpdu1_RI_tc24");
    --  Required interface "tm"
    procedure RItm(tm: access asn1SccTM);
    pragma import(C, RItm, "acceptance_cpdu1_RI_tm");
    --  Required interface "reqID"
    procedure RIreqID(reqId: access asn1SccRequest_ID_ACK);
    pragma import(C, RIreqID, "acceptance_cpdu1_RI_reqID");
50
51
52
53
54
55
    --  Required interface "testExecCpdu1"
    procedure RItestExecCpdu1(testEx: access asn1SccST01ExecutionTestParams);
    pragma import(C, RItestExecCpdu1, "acceptance_cpdu1_RI_testExecCpdu1");
    --  Required interface "testStatusCpdu1"
    procedure RItestStatusCpdu1(cpduStatus: access asn1SccCPDU_status);
    pragma import(C, RItestStatusCpdu1, "acceptance_cpdu1_RI_testStatusCpdu1");
56
end acceptance_cpdu1;