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

Port the TAPS models to Space Creator

Incomplete: the interfaceview has an issue, but build is fine
parent 045b6e5f
KAZOO?=kazoo
SPACECREATOR?=spacecreator.AppImage
# Here you can specify custom compiler/linker flags, and add folders containing
# external code you want to compile and link for a specific partition.
# Use upper case for the partition name:
#
# export <PARTITIONNAME>_USER_CFLAGS=...
# export <PARTITIONNAME>_USER_LDFLAGS=...
# export <PARTITIONNAME>_EXTERNAL_SOURCE_PATH=
# If you need to reset this Makefile to its original state, run:
# $ space-creator reset
# Get the list of ASN.1 files from Space Creator project file:
DISTFILES=$(shell qmake taps.pro -o /tmp/null 2>&1)
ASN1_FILES=$(shell find ${DISTFILES} 2>/dev/null | egrep '\.asn$$|\.asn1$$')
all: release
release: work/glue_release
rm -rf work/glue_debug
rm -rf work/glue_coverage
$(MAKE) -C work check_targets
$(MAKE) -C work
debug: work/glue_debug
rm -rf work/glue_release
rm -rf work/glue_coverage
$(MAKE) -C work check_targets
$(MAKE) -C work
coverage: work/glue_coverage
rm -rf work/glue_release
rm -rf work/glue_debug
$(MAKE) -C work check_targets
$(MAKE) -C work
# To build and run the system type e.g. 'make debug run'
run:
$(MAKE) -C work run
# To run Cheddar/Marzhin for scheduling analysis, type 'make edit_cv'
edit_cv:
$(MAKE) -C work run_cv
# Simulation target (experimental - for systems made of SDL functions only)
simu:
$(MAKE) interfaceview work/glue_simu
$(MAKE) -C work
$(MAKE) -C work/simulation -f Makefile.Simulation simu
skeletons:
$(MAKE) work/skeletons_built
work/skeletons_built: InterfaceView.aadl DataView.aadl
$(KAZOO) --gw -o work
$(MAKE) -C work dataview
touch $@
work/glue_simu: InterfaceView.aadl DataView.aadl
$(KAZOO) -t SIMU --glue --gw
$(MAKE) -C work dataview
touch $@
work/glue_release: InterfaceView.aadl DeploymentView.aadl DataView.aadl
sed -i 's/CoverageEnabled => true/CoverageEnabled => false/g' DeploymentView.aadl || :
$(KAZOO) -p --glue --gw -o work
touch $@
work/glue_debug: InterfaceView.aadl DeploymentView.aadl DataView.aadl
sed -i 's/CoverageEnabled => true/CoverageEnabled => false/g' DeploymentView.aadl || :
$(KAZOO) --debug -p --glue --gw -o work
touch $@
work/glue_coverage: InterfaceView.aadl DeploymentView.aadl DataView.aadl
sed -i 's/CoverageEnabled => false/CoverageEnabled => true/g' DeploymentView.aadl || :
$(KAZOO) --debug -p --glue --gw -o work
touch $@
InterfaceView.aadl: interfaceview.xml
$(SPACECREATOR) --aadlconverter -o $^ -t $(shell taste-config --prefix)/share/xml2aadl/interfaceview.tmplt -x $@
%: %.dv.xml Default_Deployment.aadl
# Build using deployment view $^
@# We must update the .aadl only if the dv.xml file has changed (more recent timestamp)
if [ $< -nt $@.aadl ]; then $(SPACECREATOR) --dvconverter -o $< -t $(shell taste-config --prefix)/share/dv2aadl/deploymentview.tmplt -x $@.aadl; fi;
rsync --checksum $@.aadl DeploymentView.aadl
interfaceview: Default_Deployment.aadl
# Build when no deployment view is open - use default
rsync --checksum $< DeploymentView.aadl
Default_Deployment.aadl: interfaceview.xml
# Create/update a default deployment view for Linux target, if none other is provided
$(SPACECREATOR) --aadlconverter -o $^ -t $(shell taste-config --prefix)/share/xml2dv/interfaceview.tmplt -x $@ || exit 1
rsync --checksum $@ DeploymentView.aadl
DeploymentView.aadl: Default_Deployment.aadl
DataView.aadl: ${ASN1_FILES}
taste-update-data-view $^
clean:
rm -rf work/build work/dataview work/glue_simu
rm -f *.aadl # Interface and Deployment views in AADL are generated
rm -f work/glue_release work/glue_debug work/glue_coverage work/skeletons_built
find work -type d -name "wrappers" -exec rm -rf {} + || :
find work -type d -name "*_GUI" -exec rm -rf {} + || :
.PHONY: clean release debug coverage skeletons simu run
This diff is collapsed.
Taps DEFINITIONS ::= BEGIN
APID[encoding pos-int, encode-values, size 11]
APUserID[encoding pos-int, encode-values, size 16]
On-off-dev-addr[encoding pos-int, encode-values, size 32]
CPDU-output-line-ID[]
CPDU-Ids[]
Pulse-Instr-Instance[] {
output-line-id [],
reserved NULL [pattern '0'B],
duration-exp-value []
}
TYPE8b-ID[encoding pos-int, size 8]
TC[]{
packet-version-no NULL [pattern '000'B],
packet-type NULL [pattern '1'B], -- 1 for TC, 0 for TM
has-secondary-hdr NULL [pattern '1'B], -- !!! 0 for cpdu packets
dest-apid [],
sequence-flags NULL [pattern '11'B],
sequence-count [],
packet-length [],
secondary-header [] {
pus-version-number NULL [pattern '0010'B],
ack-successful-completion [],
ack-successful-progress [],
ack-successful-start [],
ack-successful-acceptance [],
pus-type TYPE8b-ID [],
pus-subtype TYPE8b-ID [],
source-id []
},
application-data <secondary-header.pus-type, secondary-header.pus-subtype> [],
spare-tc NULL [pattern '00000000'B],
packet-error []
}
TC-ev-act[]{
packet-version-no NULL [pattern '000'B],
packet-type NULL [pattern '1'B], -- 1 for TC, 0 for TM
has-secondary-hdr NULL [pattern '1'B], -- !!! 0 for cpdu packets
dest-apid [],
sequence-flags NULL [pattern '11'B],
sequence-count [],
packet-length [],
secondary-header [] {
pus-version-number NULL [pattern '0010'B],
ack-successful-completion [],
ack-successful-progress [],
ack-successful-start [],
ack-successful-acceptance [],
pus-type TYPE8b-ID [],
pus-subtype TYPE8b-ID [],
source-id []
},
application-data <secondary-header.pus-type, secondary-header.pus-subtype> [],
spare-tc NULL [pattern '00000000'B],
packet-error []
}
TC-sched[]{
packet-version-no NULL [pattern '000'B],
packet-type NULL [pattern '1'B], -- 1 for TC, 0 for TM
has-secondary-hdr NULL [pattern '1'B], -- !!! 0 for cpdu packets
dest-apid [],
sequence-flags NULL [pattern '11'B],
sequence-count [],
packet-length [],
secondary-header [] {
pus-version-number NULL [pattern '0010'B],
ack-successful-completion [],
ack-successful-progress [],
ack-successful-start [],
ack-successful-acceptance [],
pus-type TYPE8b-ID [],
pus-subtype TYPE8b-ID [],
source-id []
},
application-data <secondary-header.pus-type, secondary-header.pus-subtype> [],
spare-tc NULL [pattern '00000000'B],
packet-error []
}
PUS <INTEGER: pus-type, INTEGER: pus-subtype> [] {
device-access [present-when pus-type == 2]{
pus-2-1-device-cmds [present-when pus-subtype == 1],
pus-2-4-cpdu-cmds [present-when pus-subtype == 4]
},
housekeeping [present-when pus-type == 3]{
pus-3-1-new-HK [present-when pus-subtype == 1],
pus-3-3-del-HK [present-when pus-subtype == 3],
pus-3-5-periodic-HK-on [present-when pus-subtype == 5],
pus-3-6-periodic-HK-off [present-when pus-subtype == 6],
pus-3-9-report-HK [present-when pus-subtype == 9],
pus-3-27-one-shot-HK [present-when pus-subtype == 27],
pus-3-31-new-col-int [present-when pus-subtype == 31]
},
memory-management [present-when pus-type == 6]{
pus-6-2-load-mem [present-when pus-subtype == 2],
pus-6-5-dump-mem [present-when pus-subtype == 5],
pus-6-12-abort-dumps [present-when pus-subtype == 12],
pus-6-13-enable-scrubbing [present-when pus-subtype == 13],
pus-6-14-disable-scrubbing [present-when pus-subtype == 14]
},
time-management [present-when pus-type == 9]{
pus-9-1-set-rate-exp [present-when pus-subtype == 1]
},
time-scheduling [present-when pus-type == 11]{
pus-11-1-enable-funct [present-when pus-subtype == 1],
pus-11-2-disable-funct [present-when pus-subtype == 2],
pus-11-3-reset-sched [present-when pus-subtype == 3],
pus-11-4-insert-act [present-when pus-subtype == 4],
pus-11-17-summary-rep [present-when pus-subtype == 17]
},
on-board-monitoring [present-when pus-type == 12]{
pus-12-1-enable-def [present-when pus-subtype == 1],
pus-12-2-disable-def [present-when pus-subtype == 2],
pus-12-13-report-def [present-when pus-subtype == 13],
pus-12-15-enable-func [present-when pus-subtype == 15],
pus-12-16-disable-func [present-when pus-subtype == 16]
},
storage-and-retrieval [present-when pus-type == 15]{
pus-15-1-enable-storing [present-when pus-subtype == 1],
pus-15-2-disable-storing [present-when pus-subtype == 2],
pus-15-3-add-report-type [present-when pus-subtype == 3],
pus-15-4-del-report-type [present-when pus-subtype == 4],
pus-15-14-change-open-time [present-when pus-subtype == 14],
pus-15-15-resume-open-retrieval [present-when pus-subtype == 15],
pus-15-16-suspend-open-retrieval [present-when pus-subtype == 16]
},
event-action [present-when pus-type == 19]{
pus-19-1-add-defs [present-when pus-subtype == 1],
pus-19-3-del-defs [present-when pus-subtype == 3],
pus-19-4-enable-defs [present-when pus-subtype == 4],
pus-19-5-disable-defs [present-when pus-subtype == 5],
pus-19-8-enable-funct [present-when pus-subtype == 8],
pus-19-9-disable-funct [present-when pus-subtype == 9]
},
param-management [present-when pus-type == 20]{
pus-20-1-report-params [present-when pus-subtype == 1],
pus-20-3-set-params [present-when pus-subtype == 3]
}
}
PUS-ev-action <INTEGER: pus-type, INTEGER: pus-subtype> [] {
device-access [present-when pus-type == 2]{
pus-2-1-device-cmds [present-when pus-subtype == 1],
pus-2-4-cpdu-cmds [present-when pus-subtype == 4]
},
housekeeping [present-when pus-type == 3]{
pus-3-1-new-HK [present-when pus-subtype == 1],
pus-3-3-del-HK [present-when pus-subtype == 3],
pus-3-5-periodic-HK-on [present-when pus-subtype == 5],
pus-3-6-periodic-HK-off [present-when pus-subtype == 6],
pus-3-9-report-HK [present-when pus-subtype == 9],
pus-3-27-one-shot-HK [present-when pus-subtype == 27],
pus-3-31-new-col-int [present-when pus-subtype == 31]
}
}
PUS-sched <INTEGER: pus-type, INTEGER: pus-subtype> [] {
device-access [present-when pus-type == 2]{
pus-2-1-device-cmds [present-when pus-subtype == 1],
pus-2-4-cpdu-cmds [present-when pus-subtype == 4]
},
housekeeping [present-when pus-type == 3]{
pus-3-1-new-HK [present-when pus-subtype == 1],
pus-3-3-del-HK [present-when pus-subtype == 3],
pus-3-5-periodic-HK-on [present-when pus-subtype == 5],
pus-3-6-periodic-HK-off [present-when pus-subtype == 6],
pus-3-9-report-HK [present-when pus-subtype == 9],
pus-3-27-one-shot-HK [present-when pus-subtype == 27],
pus-3-31-new-col-int [present-when pus-subtype == 31]
}
}
PUS-2 []
PUS-3 []
PUS-6 []
Address-inst[encoding pos-int, size 32]
PUS-9 []
PUS-11 []
PUS-12 []
PUS-15 []
PUS-19 []
PUS-20 []
PTC-1-PFC-8[encoding pos-int, size 8]
PTC-3-PFC-14[encoding pos-int, size 32]
TM-1-1 []
TM-1-2 []
TM-1-3 []
TM-1-4 []
TM-1-5 []
TM-1-6 []
TM-1-7 []
TM-1-8 []
TM-1-10 []
TMs <TYPE8b-ID: tm-type, TYPE8b-ID: tm-subtype> [] {
tm1-1 [present-when tm-type==1 tm-subtype==1],
tm1-2 [present-when tm-type==1 tm-subtype==2],
tm1-3 [present-when tm-type==1 tm-subtype==3],
tm1-4 [present-when tm-type==1 tm-subtype==4],
tm1-5 [present-when tm-type==1 tm-subtype==5],
tm1-6 [present-when tm-type==1 tm-subtype==6],
tm1-7 [present-when tm-type==1 tm-subtype==7],
tm1-8 [present-when tm-type==1 tm-subtype==8],
tm1-10 [present-when tm-type==1 tm-subtype==10],
tm3-10 [present-when tm-type==3 tm-subtype==10],
tm3-25 [present-when tm-type==3 tm-subtype==25],
tm5-1 [present-when tm-type==5 tm-subtype==1],
tm5-2 [present-when tm-type==5 tm-subtype==2],
tm5-3 [present-when tm-type==5 tm-subtype==3],
tm5-4 [present-when tm-type==5 tm-subtype==4],
tm6-6 [present-when tm-type==6 tm-subtype==6],
tm11-13 [present-when tm-type==11 tm-subtype==13],
tm12-12 [present-when tm-type==12 tm-subtype==12],
tm12-14 [present-when tm-type==12 tm-subtype==14],
tm20-2 [present-when tm-type==20 tm-subtype==2]
}
TM[]{
packet-version-no NULL [pattern '000'B],
packet-type NULL [pattern '0'B], -- 1 for TC, 0 for TM
has-secondary-hdr NULL [pattern '1'B], -- 0 for time packets
source-apid [],
sequence-flags NULL [pattern '11'B],
sequence-count [],
packet-length [],
secondary-header [] {
packet-version-number NULL [pattern '0010'B],
time-reference-status [],
service-type-id TYPE8b-ID [],
service-subtype-id TYPE8b-ID [],
message-type-counter [],
destination-id [],
time []
},
source-data <secondary-header.service-type-id, secondary-header.service-subtype-id> [],
spare-tm NULL [pattern '00000000'B], -- TBD !!!
packet-error []
}
TM-st09 []{
packet-version-no NULL [pattern '000'B],
packet-type NULL [pattern '0'B], -- 1 for TC, 0 for TM
has-secondary-hdr NULL [pattern '0'B], -- 0 for time packets
source-apid [],
sequence-flags NULL [pattern '11'B],
sequence-count [],
packet-length [],
source-data [],
spare-tm NULL [pattern '00000000'B], -- TBD !!!
packet-error []
}
TM-1-2-failure-codes [encoding pos-int, encode-values, size 8]
TM-1-10-failure-codes [encoding pos-int, encode-values, size 8]
Request-ID-inst[]{
packet-version-no NULL [pattern '000'B],
packet-type NULL [pattern '1'B], -- 1 for TC, 0 for TM
has-secondary-hdr NULL [pattern '1'B], -- !!! 0 for cpdu packets
source-apid [],
sequence-flags NULL [pattern '11'B],
sequence-count []
}
END
This diff is collapsed.
mscdocument taps /* MSC AND */;
language ASN.1;
data taps.asn;
/* CIF MSCDOCUMENT (0, 0) (4200, 2300) */
mscdocument Nominal /* MSC LEAF */;
msc taps;
endmsc;
endmscdocument;
endmscdocument;
TEMPLATE = lib
CONFIG -= qt
CONFIG += generateC
DISTFILES += $(HOME)/tool-inst/share/taste-types/taste-types.asn
DISTFILES += taps.asn
DISTFILES += taps.acn
DISTFILES += taps.msc
DISTFILES += interfaceview.xml
DISTFILES += work/binaries/*.msc
DISTFILES += work/binaries/coverage/index.html
DISTFILES += work/binaries/filters
#include(handleAsn1AcnBuild.pri)
include(work/taste.pro)
message($$DISTFILES)
This diff is collapsed.
This diff is collapsed.
Node : node_linux
|_ Partition : demo
|_ Coverage : FALSE
|_ Package : ocarina_processors_x86
|_ CPU Name : x86_linux
|_ CPU Platform : PLATFORM_NATIVE
|_ CPU Classifier : ocarina_processors_x86::x86.linux
|_ Contains : acceptance_cpdu1 acceptance_hk acceptance_st06 acceptance_st09 acceptance_st11 acceptance_st12 acceptance_st15 acceptance_st19 acceptance_st20 common_mem_management cpdu1 cpdu1_cmds cpdu2 data_pool event_action event_report execution_cpdu1 execution_st01 execution_st06 execution_st15 ground_gui hk_service memory_01 memory_02 memory_management obsw_routing on_board_monitoring packet_selection parameter_management processtc sc_routing sendtm sensor1 sensor2 st01_acceptance st01_execution st02_on_off_cmds storage_retrieval time_management time_scheduling tm_cpdu1 tm_hk tm_obm tm_st01 tm_st06 tm_st11 tm_st15 tm_st20
This diff is collapsed.
This diff is collapsed.
-- TASTE CONFIGURATION ------------------------------------
|
|Interface View : InterfaceView.aadl
|Deployment View : DeploymentView.aadl
|Data View : DataView.aadl
|Other Files :
|Output Directory :
|Generate skeletons : YES
|Generate glue : YES
|Debug mode : YES
|No stdlib : NO
|Timer resolution : 10
|Use PolyORB-HI-C : YES
|Target : pohic
|
-----------------------------------------------------------
This diff is collapsed.
# SDL
OPENGEODE?=opengeode
all: compile-linux
clean:
rm -rf obj
edit:
cd src && $(OPENGEODE) system_structure.pr acceptance_cpdu1.pr
# Ada
generate-code:
mkdir -p code && cd code && \
$(OPENGEODE) --taste --toAda ../src/acceptance_cpdu1.pr ../src/system_structure.pr && \
mv *.gpr ..
compile-linux: generate-code
CODE_PATH=code ADA_INCLUDE_PATH=../../../dataview/Ada gprbuild -p -P acceptance_cpdu1_ada.gpr
project acceptance_cpdu1_Ada is
for Languages use ("Ada");
for Source_Dirs use (".") & External_As_List ("CODE_PATH", ":");
for Object_Dir use "../obj";
end acceptance_cpdu1_Ada;
\ No newline at end of file
-- This file was generated automatically by OpenGEODE: DO NOT MODIFY IT !
with Interfaces,
Interfaces.C.Strings,
Ada.Characters.Handling;
use Interfaces,
Interfaces.C.Strings,
Ada.Characters.Handling;
with PUS_Implicit_Knowledge;
use PUS_Implicit_Knowledge;
with Request_Verification_Reports;
use Request_Verification_Reports;
with Device_Access_Structures;
use Device_Access_Structures;
with HK_Service_Structures;
use HK_Service_Structures;
with Event_Reporting_Structures;
use Event_Reporting_Structures;
with Memory_Management_Structures;
use Memory_Management_Structures;
with Time_Management_Structures;
use Time_Management_Structures;
with Time_Based_Sched_Structures;
use Time_Based_Sched_Structures;
with Parameter_Monitoring_Structures;
use Parameter_Monitoring_Structures;
with On_Board_Storage_Structures;
use On_Board_Storage_Structures;
with Event_Action_Structures;
use Event_Action_Structures;
with Parameter_Management_Structures;
use Parameter_Management_Structures;
with Taps;
use Taps;
with Taps_Test_Structures;
use Taps_Test_Structures;
with TASTE_BasicTypes;
use TASTE_BasicTypes;
with adaasn1rtl;
use adaasn1rtl;
with acceptance_cpdu1_Datamodel; use acceptance_cpdu1_Datamodel;
with acceptance_cpdu1_RI;
package acceptance_cpdu1 with Elaborate_Body is
ctxt : aliased asn1SccAcceptance_cpdu1_Context :=
(Init_Done => False,
others => <>);
function To_Pus_9_selection (Src : Taps.asn1SccPus_9_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_9_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_9_selection'Enum_Val (Src'Enum_Rep));
function To_Parameter_Value_selection (Src : Taps.asn1SccParameter_Value_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Parameter_Value_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Parameter_Value_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_2_selection (Src : Taps.asn1SccPus_2_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_2_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_2_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_3_selection (Src : Taps.asn1SccPus_3_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_3_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_3_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_Sched_selection (Src : Taps.asn1SccPus_Sched_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_Sched_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_Sched_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_Ev_Action_selection (Src : Taps.asn1SccPus_Ev_Action_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_Ev_Action_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_Ev_Action_selection'Enum_Val (Src'Enum_Rep));
function To_Auxiliary_Data_Inst_selection (Src : Taps.asn1SccAuxiliary_Data_Inst_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Auxiliary_Data_Inst_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Auxiliary_Data_Inst_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_6_selection (Src : Taps.asn1SccPus_6_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_6_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_6_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_12_selection (Src : Taps.asn1SccPus_12_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_12_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_12_selection'Enum_Val (Src'Enum_Rep));
function To_Definition_Check_Type_selection (Src : Taps.asn1SccDefinition_Check_Type_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Definition_Check_Type_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Definition_Check_Type_selection'Enum_Val (Src'Enum_Rep));
function To_Transition_Type_Inst_selection (Src : Taps.asn1SccTransition_Type_Inst_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Transition_Type_Inst_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Transition_Type_Inst_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_15_selection (Src : Taps.asn1SccPus_15_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_15_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_15_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_20_selection (Src : Taps.asn1SccPus_20_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_20_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_20_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_11_selection (Src : Taps.asn1SccPus_11_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_11_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_11_selection'Enum_Val (Src'Enum_Rep));
function To_Tms_selection (Src : Taps.asn1SccTms_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Tms_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Tms_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_19_selection (Src : Taps.asn1SccPus_19_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_19_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_19_selection'Enum_Val (Src'Enum_Rep));
function To_Pus_selection (Src : Taps.asn1SccPus_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Pus_selection'Enum_Val (Src'Enum_Rep));
function To_Test_Taps_Parameters_selection (Src : Taps_Test_Structures.asn1SccTest_Taps_Parameters_selection) return acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Test_Taps_Parameters_selection is (acceptance_cpdu1_Datamodel.asn1Sccacceptance_cpdu1_Test_Taps_Parameters_selection'Enum_Val (Src'Enum_Rep));
function Get_State return chars_ptr is (New_String (asn1Sccacceptance_cpdu1_States'Image (ctxt.State))) with Export, Convention => C, Link_Name => "acceptance_cpdu1_state";
procedure Startup with Export, Convention => C, Link_Name => "acceptance_cpdu1_startup";
-- Provided interface "tc_payload"
procedure tc_payload(tc: in out asn1SccTC);
pragma Export(C, tc_payload, "acceptance_cpdu1_PI_tc_payload");
-- Provided interface "test_Payload"
procedure test_Payload(testPayload: in out asn1SccTest_Taps_Parameters);
pragma Export(C, test_Payload, "acceptance_cpdu1_PI_test_Payload");
-- Required interface "reqID"
procedure RI_0_reqID (reqId : in out asn1SccRequest_ID_ACK) renames acceptance_cpdu1_RI.reqID;
-- Required interface "tc24"
procedure RI_0_tc24 (tc2_4 : in out asn1SccDistribute_CPDU_Cmds) renames acceptance_cpdu1_RI.tc24;
-- Required interface "testExecCpdu1"
procedure RI_0_testExecCpdu1 (testEx : in out asn1SccST01ExecutionTestParams) renames acceptance_cpdu1_RI.testExecCpdu1;
-- Required interface "testStatusCpdu1"
procedure RI_0_testStatusCpdu1 (cpduStatus : in out asn1SccCPDU_status) renames acceptance_cpdu1_RI.testStatusCpdu1;
-- Required interface "tm"
procedure RI_0_tm (tm : in out asn1SccTM) renames acceptance_cpdu1_RI.tm;
procedure Execute_Transition (Id : Integer);
CS_Only : constant := 3;
end acceptance_cpdu1;
\ No newline at end of file
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