Commit 11da79c7 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Update templates to sync with opengeode 3.3.x

opengeode now generate an intermediate asn1 file describing its internal
state (in order to expose it to simulation engines)
parent e78b52e0
@@-- The following tags are available in this template:
@@--
@@-- @_Name_@ : Partition name (usually the name of the binary)
@@-- @_Threads_@ : Code generated for the threads
@@-- @_Thread_Names_@ : Vector Tag: list of thread names
@@-- @_Thread_Has_Param_@ : |_ true if the thread has a param
@@-- @_Node_Name_@ : Name of the node containing this partition
@@-- @_Blocks_@ : Code generated for protected functions
@@-- @_Block_Names@ : Vector Tag: list of block (user functions) names
@@-- @_Block_Languages@ : |_ Corresponding implementation language
@@-- @_Coverage_@ : True if user requested code coverage enable
@@-- @_Package_Name_@ : AADL Package name for the target (e.g. ocarina_processors_x86)
@@-- @_CPU_Name_@ : CPU Name (e.g. x86_linux)
@@-- @_CPU_Platform_@ : AADL CPU_Platform (e.g. PLATFORM_NATIVE)
@@-- @_CPU_Classifier_@ : AADL CPU Classifier (e.g. ocarina_processors_x86::x86.linux)
@@-- @_VP_Name_@ : Virtual processor name on which the partition is bounded
@@-- @_VP_Platform_@ : Virtual processor platform (e.g. PLATFORM_AIR)
@@-- @_VP_Classifier_@ : Virtual processor classifier
@@-- @_Bound_Functions_@ : List of user functions from Interface view
@@-- @_Thread_Src_Name_@ : Vector tag : connection thread name (source)
@@-- @_Thread_Dst_Name_@ : Vector tag : connection thread name (dest)
@@-- @_Thread_Src_Port_@ : Vector tag : connection port name (source)
@@-- @_Thread_Dst_Port_@ : Vector tag : connection port name (dest)
@@-- The up to date list of tags available for this template is available here:
@@-- https://taste.tuxfamily.org/wiki/index.php?title=Kazoo_Templates_Documentation#templates.2Fconcurrency_view.2Fsub.2Fpartition.tmplt
@@-- If you are using vim, go over the URL and pres gx in to follow the link
@@-- If you have no internet access you can also use (with vim) Ctrl-W-f or gf in vim to open the text doc:
@@-- $HOME/tool-inst/share/kazoo/doc/templates_concurrency_view_sub_partition.ascii
# Build of partition @_Name_@ (common to all targets)
# (rule generated by templates/concurrency_view/aadl_4_makefile/partition.tmplt)
@@INLINE()( )(\n)@@
@_LOWER:Name_@:
@@TABLE@@
@_LOWER:Block_Names_@
@@END_TABLE@@
@@END_INLINE@@
@_LOWER:Name_@: @_REPLACE_ALL(,/ ):LOWER:Block_Names_@
@@-- Opengeode generate intermediate ASN.1 files, they must be compiled
@@-- (at partition level, not shared by all nodes)
@@INLINE( asn2dataModel -toAda -o ../dataview/Ada )( )(\n)@@
@@TABLE@@
@@IF@@ @_Block_Languages_@ = SDL
../@_LOWER:Block_Names_@/SDL/code/@_LOWER:Block_Names_@_datamodel.asn
@@END_IF@@
@@END_TABLE@@
@@END_INLINE@@
# Build of partition @_Name_@ for RTEMS (generate adainit)
# (rule generated by templates/concurrency_view/aadl_4_makefile/partition.tmplt)
......
@@-- The following tags are available in this template:
@@--
@@-- @_Nodes_@ : Code generated for the nodes
@@-- @_Node_Names_@ : Vector Tag of node names
@@-- @_Node_CPU_@ : |_ Corresponding CPU name (eg x86_linux)
@@-- @_Node_CPU_Classifier_@ : |_ CPU Classifier (ocarina...::x86_linux)
@@-- @_Node_Major_Frame_@ : |_ Time in milliseconds allocated to the CPU (TSP only)
@@-- @_Partition_Names_@ : Vector Tag of partition names
@@-- @_Partition_Node_@ : |_ Corresponding node name
@@-- @_Partition_CPU_@ : |_ Corresponding CPU name
@@-- @_Partition_Duration_@ : |_ Corresponding time allocation (TSP only)
@@-- @_Partition_VP_@ : |_ Virtual processor binding (TSP only)
@@-- @_Threads_@ : Code generated for the threads
@@-- @_Thread_Names_@ : List of all threads in the complete system
@@-- @_Target_Packages_@ : List of all target package names in the complete system
@@-- @_Part_Source_Name_@ : Inter-partition connections : partition source name (vector tag)
@@-- @_Part_Source_Port_@ : |_ Corresponding port name
@@-- @_Part_Dest_Name_@ : |_ Corresponding name of the remote partition
@@-- @_Part_Dest_Port_@ : |_ Corresponding name of the port on the remote partition
@@-- @_Bus_Names_@ : Vector tag: busses present in the system
@@-- @_Bus_AADL_Package_@ : |_ corresponding AADL Package
@@-- @_Bus_Classifier_@ : |_ corresponding AADL classifier
@@-- @_Device_Names_@
@@-- @_Device_Node_Name_@
@@-- @_Device_Partition_@ -- Partition name associated to the driver (currently only one supported per node)
@@-- @_Device_AADL_Pkg_@
@@-- @_Device_Classifier_@
@@-- @_Device_CPU_@
@@-- @_Device_Config_@
@@-- @_Device_Bus_Name_@
@@-- @_Device_Port_Name_@
@@-- @_Device_ASN1_File_@
@@-- @_Device_ASN1_Sort_@
@@-- @_Device_ASN1_Module_@ : Device drivers (vector tag)
@@-- @_Unique_Dev_ASN1_Files_@ : List of ASN.1 files/module/type for device configuration with no duplicates (vector tag)
@@-- @_Unique_Dev_ASN1_Mod_@ |_ corresponding asn1 module
@@-- @_Unique_Dev_ASN1_Sorts_@ |_ type name
@@-- @_Connect_From_Part_@ : Vector tag - bus connection: partition source
@@-- @_Connect_Via_Bus_@ |_ bus name
@@-- @_Connect_Port_Name_@ |_ port name
@@-- And all the system configuration obtained from the command line:
@@-- Interface_View, Deployment_View, Data_View, Binary_Path, Check_Data_View,
@@-- Output_Dir, Skeletons, Glue, Use_POHIC, Timer_Resolution, Debug_Flag,
@@-- No_Stdlib_Flag, Timer_Resolution, Other_Files (list of aadl files)
@@-- The up to date list of tags available for this template is available here:
@@-- https://taste.tuxfamily.org/wiki/index.php?title=Kazoo_Templates_Documentation#templates.2Fconcurrency_view.2Fsub.2Fsystem.tmplt
@@-- If you are using vim, go over the URL and pres gx in to follow the link
@@-- If you have no internet access you can also use (with vim) Ctrl-W-f then Ctrl-W-L (or gf) in vim to open the text doc:
@@-- $HOME/tool-inst/share/kazoo/doc/templates_concurrency_view_sub_system.ascii
@@INLINE()( )()@@
all:
@@TABLE@@
......
......@@ -3,6 +3,8 @@
@@-- If you are using vim, go over the URL and pres gx in to follow the link
@@-- If you have no internet access you can also use (with vim) Ctrl-W-f then Ctrl-W-L (or gf)
@@-- in vim to open the doc: $HOME/tool-inst/share/kazoo/doc/templates_concurrency_view_sub_block.ascii
@@IF@@ @_EXIST:List_Of_ASync_PIs_@ or @_EXIST:List_Of_ASync_RIs_@
@@-- Skip synchronous-only functions like Simulink...
@_REPLACE_ALL(_/-):CAPITALIZE:Name_@-Event ::= CHOICE {
@@IF@@ @_EXIST:List_Of_ASync_PIs_@
msg-in CHOICE {
......@@ -41,3 +43,6 @@
@@END_IF@@
@@END_IF@@
}
@@ELSE@@
@_REPLACE_ALL(_/-):CAPITALIZE:Name_@-Event ::= SEQUENCE {} -- Synchronous function
@@END_IF@@
@@-- The up to date list of tags available for this template is available here:
@@-- https://taste.tuxfamily.org/wiki/index.php?title=Kazoo_Templates_Documentation#templates.2Fconcurrency_view.2Fsub.2Fsystem.tmplt
@@-- If you are using vim, go over the URL and pres gx in to follow the link
@@-- If you have no internet access you can also use (with vim) Ctrl-W-f or gf in vim to open the text doc:
@@-- If you have no internet access you can also use (with vim) Ctrl-W-f then Ctrl-W-L (or gf) in vim to open the text doc:
@@-- $HOME/tool-inst/share/kazoo/doc/templates_concurrency_view_sub_system.ascii
Simulation-DataView DEFINITIONS ::=
BEGIN
......
......@@ -2,10 +2,11 @@ KAZOO=../../kazoo
all: c
simu: test-parse-c
simu:
$(KAZOO) -t SIMU -p --gw --glue -g
cp controller/controller.pr work/controller/SDL/src
cp lift_model/* work/lift_model/SIMULINK/src
$(MAKE) -C work simu
$(MAKE) -C work
c: test-parse-c # Polyorb_HI_C output
cp controller/controller.pr work/controller/SDL/src
......
KAZOO=../../kazoo
all: test-parse
$(MAKE) -C output.pohic
$(MAKE) -C work
test-parse: clean
$(KAZOO) --gw -p -o output.pohic --glue --debug
$(KAZOO) --gw -p --glue --debug
clean:
rm -rf output.pohic
rm -rf work
.PHONY: clean test-parse
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