Commit f0a919d3 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Update the space creator version of hte model

parent 5e222734
This diff is collapsed.
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE QtCreatorProject>
<!-- Written by QtCreator 4.8.2, 2021-09-16T10:25:44. -->
<!-- Written by QtCreator 4.8.2, 2022-03-17T22:14:07. -->
<qtcreator>
<data>
<variable>EnvironmentId</variable>
......
......@@ -328,7 +328,8 @@ BEGIN
Disable-Param-Monitor-Func ::= SEQUENCE {}
-- define a list of repetition counters, one for each parameter monitoring definition
Repetition-Counter-List{INTEGER: paramMonitor-Defs-No, RepCounter} ::= SEQUENCE ( SIZE(1 .. paramMonitor-Defs-No) ) OF RepCounter
-- EDIT (MP) : use a fixed size
Repetition-Counter-List{INTEGER: paramMonitor-Defs-No, RepCounter} ::= SEQUENCE ( SIZE(paramMonitor-Defs-No) ) OF RepCounter
-- enable/disable the parameter monitoring definitions (TC[12,1] & TC[12,2])
Setting-Param-Monitoring-Def{INTEGER: paramMonitor-Defs-No, Param-Monitor-Def-ID} ::= SEQUENCE ( SIZE(1 .. paramMonitor-Defs-No) ) OF Param-Monitor-Def-ID
......@@ -751,7 +752,8 @@ PUS-2 ::= CHOICE {
HK-Parameter-Report-Index ::= INTEGER (1..no-Of-ParamValues)
-- store the HK parameters for multiple active HK definitions
HK-Def-Params-List ::= SEQUENCE (SIZE (1..maxNo-HK-structures)) OF HK-Parameters-List-inst
-- EDIT (MP) make it a fixed-size list
HK-Def-Params-List ::= SEQUENCE (SIZE (maxNo-HK-structures)) OF HK-Parameters-List-inst
IndexHKdef ::= INTEGER (1..maxNo-HK-structures)
-- instantiate the list of HK definitions:
......
......@@ -33,10 +33,10 @@ package body acceptance_cpdu1 is
procedure Execute_Transition (Id : Integer) is
trId : Integer := Id;
tmp50 : asn1SccDistribute_CPDU_Cmds;
-- !! stack: _call_external_function line 1656
tmp172 : asn1SccST01ExecutionTestParams;
tmp176 : asn1SccCPDU_status;
tmp50 : asn1SccDistribute_CPDU_Cmds;
begin
while (trId /= -1) loop
case trId is
......
-- DO NOT EDIT THIS FILE, IT WILL BE OVERWRITTEN DURING THE BUILD
-- Generated by TASTE (Kazoo template templates/skeletons/ada-ri-source/function.tmplt)
-- 2022-03-17 18:02:47
-- 2022-03-18 08:53:02
with Event_Action_Structures; use Event_Action_Structures;
with Memory_Management_Structures; use Memory_Management_Structures;
with Parameter_Monitoring_Structures; use Parameter_Monitoring_Structures;
......
......@@ -2,7 +2,7 @@
-- Header file for function acceptance_cpdu1 in SDL language
-- Component type : FALSE
-- Instance of :
-- Generated by TASTE on 2022-03-17 18:02:47
-- Generated by TASTE on 2022-03-18 08:53:02
-- Context Parameters present : NO
-- Provided interfaces : tc_payload, test_Payload
-- Required interfaces : reqID, tc24, testExecCpdu1, testStatusCpdu1, tm
......
......@@ -21,13 +21,13 @@ package body acceptance_hk is
procedure Execute_Transition (Id : Integer) is
trId : Integer := Id;
tmp215 : asn1SccManage_HK_Struct;
tmp380 : asn1SccManage_HK_Struct;
tmp105 : asn1SccManage_HK_Struct;
-- !! stack: _call_external_function line 1656
tmp50 : asn1SccCreate_HK_Struct;
tmp105 : asn1SccManage_HK_Struct;
tmp270 : asn1SccManage_HK_Struct;
tmp215 : asn1SccManage_HK_Struct;
tmp325 : asn1SccChange_CollectionInterval;
tmp50 : asn1SccCreate_HK_Struct;
tmp160 : asn1SccManage_HK_Struct;
begin
while (trId /= -1) loop
......
-- DO NOT EDIT THIS FILE, IT WILL BE OVERWRITTEN DURING THE BUILD
-- Generated by TASTE (Kazoo template templates/skeletons/ada-ri-source/function.tmplt)
-- 2022-03-17 18:02:47
-- 2022-03-18 08:53:02
with Event_Action_Structures; use Event_Action_Structures;
with Memory_Management_Structures; use Memory_Management_Structures;
with Parameter_Monitoring_Structures; use Parameter_Monitoring_Structures;
......
......@@ -2,7 +2,7 @@
-- Header file for function acceptance_hk in SDL language
-- Component type : FALSE
-- Instance of :
-- Generated by TASTE on 2022-03-17 18:02:47
-- Generated by TASTE on 2022-03-18 08:53:02
-- Context Parameters present : NO
-- Provided interfaces : tc_hk
-- Required interfaces : reqID, tc31, tc327, tc33, tc331, tc35, tc36, tc39, tm
......
......@@ -21,11 +21,11 @@ package body acceptance_st06 is
procedure Execute_Transition (Id : Integer) is
trId : Integer := Id;
-- !! stack: _call_external_function line 1656
tmp57 : asn1SccLoad_Raw_Memory;
tmp217 : asn1SccScrabbing_Memory;
tmp272 : asn1SccScrabbing_Memory;
tmp112 : asn1SccDump_Raw_Memory;
tmp272 : asn1SccScrabbing_Memory;
-- !! stack: _call_external_function line 1656
tmp57 : asn1SccLoad_Raw_Memory;
begin
while (trId /= -1) loop
case trId is
......
-- DO NOT EDIT THIS FILE, IT WILL BE OVERWRITTEN DURING THE BUILD
-- Generated by TASTE (Kazoo template templates/skeletons/ada-ri-source/function.tmplt)
-- 2022-03-17 18:02:47
-- 2022-03-18 08:53:02
with Event_Action_Structures; use Event_Action_Structures;
with Memory_Management_Structures; use Memory_Management_Structures;
with Parameter_Monitoring_Structures; use Parameter_Monitoring_Structures;
......
......@@ -2,7 +2,7 @@
-- Header file for function acceptance_st06 in SDL language
-- Component type : FALSE
-- Instance of :
-- Generated by TASTE on 2022-03-17 18:02:47
-- Generated by TASTE on 2022-03-18 08:53:02
-- Context Parameters present : NO
-- Provided interfaces : tc_st06
-- Required interfaces : reqID, tc612, tc613, tc614, tc62, tc65, tm
......
......@@ -21,8 +21,8 @@ package body acceptance_st09 is
procedure Execute_Transition (Id : Integer) is
trId : Integer := Id;
-- !! stack: _call_external_function line 1656
tmp57 : asn1SccRate_Exp_Value_91;
-- !! stack: _call_external_function line 1656
begin
while (trId /= -1) loop
case trId is
......
-- DO NOT EDIT THIS FILE, IT WILL BE OVERWRITTEN DURING THE BUILD
-- Generated by TASTE (Kazoo template templates/skeletons/ada-ri-source/function.tmplt)
-- 2022-03-17 18:02:47
-- 2022-03-18 08:53:02
with Event_Action_Structures; use Event_Action_Structures;
with Memory_Management_Structures; use Memory_Management_Structures;
with Parameter_Monitoring_Structures; use Parameter_Monitoring_Structures;
......
......@@ -2,7 +2,7 @@
-- Header file for function acceptance_st09 in SDL language
-- Component type : FALSE
-- Instance of :
-- Generated by TASTE on 2022-03-17 18:02:47
-- Generated by TASTE on 2022-03-18 08:53:02
-- Context Parameters present : NO
-- Provided interfaces : tc_time
-- Required interfaces : reqID, tc91, tm_link
......
......@@ -21,8 +21,8 @@ package body acceptance_st11 is
procedure Execute_Transition (Id : Integer) is
trId : Integer := Id;
tmp207 : asn1SccSchedule_Activity_Def_Inst;
-- !! stack: _call_external_function line 1656
tmp207 : asn1SccSchedule_Activity_Def_Inst;
begin
while (trId /= -1) loop
case trId is
......
-- DO NOT EDIT THIS FILE, IT WILL BE OVERWRITTEN DURING THE BUILD
-- Generated by TASTE (Kazoo template templates/skeletons/ada-ri-source/function.tmplt)
-- 2022-03-17 18:02:47
-- 2022-03-18 08:53:02
with Event_Action_Structures; use Event_Action_Structures;
with Memory_Management_Structures; use Memory_Management_Structures;
with Parameter_Monitoring_Structures; use Parameter_Monitoring_Structures;
......
......@@ -2,7 +2,7 @@
-- Header file for function acceptance_st11 in SDL language
-- Component type : FALSE
-- Instance of :
-- Generated by TASTE on 2022-03-17 18:02:47
-- Generated by TASTE on 2022-03-18 08:53:02
-- Context Parameters present : NO
-- Provided interfaces : tc_st11
-- Required interfaces : reqID, tc111, tc1117, tc112, tc113, tc114, tm
......
......@@ -21,9 +21,9 @@ package body acceptance_st12 is
procedure Execute_Transition (Id : Integer) is
trId : Integer := Id;
tmp50 : asn1SccControl_Param_Monitoring_Def;
-- !! stack: _call_external_function line 1656
tmp105 : asn1SccControl_Param_Monitoring_Def;
-- !! stack: _call_external_function line 1656
tmp50 : asn1SccControl_Param_Monitoring_Def;
begin
while (trId /= -1) loop
case trId is
......
-- DO NOT EDIT THIS FILE, IT WILL BE OVERWRITTEN DURING THE BUILD
-- Generated by TASTE (Kazoo template templates/skeletons/ada-ri-source/function.tmplt)
-- 2022-03-17 18:02:47
-- 2022-03-18 08:53:02
with Event_Action_Structures; use Event_Action_Structures;
with Memory_Management_Structures; use Memory_Management_Structures;
with Parameter_Monitoring_Structures; use Parameter_Monitoring_Structures;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment