GitLab

extend functions in c_common-mapping used in the implementation of BA dispatch pattern for sporadic threads

        For openaadl/ocarina#190

Fixes #49

            For issue #43

 clauses

generated.

          avoid collision with external packages

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5604 129961e7-ef38-4bb5-a8f7-c9a525a55882

          source name but no source language, suppose the source
          language is the same as the back end.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4676 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Add V_Lua_Context variable name

 * ocarina-backends-po_hi_c-runtime.ads
   - Add RE_LUA_Get_String
   - Add RE_LUA_Get_Number
   - Add RE_LUA_Get_Boolean
   - Add RE_LUA_Push_String
   - Add RE_LUA_Push_Number
   - Add RE_LUA_Push_Boolean
   - Add RE_LUA_Perform_Function_Call
   - Add RE_LUA_Init_Function_Call

 * ocarina-backends-c_common-mapping.adb
   - Adapt with the new PolyORB-HI-C interface


   


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@3673 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Map subprograms correctly when calling a lua function
     or just a file



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@3667 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/src/backends/ocarina-backends-properties.ads
   - Support for Subprogram_LUA subprogram kind
   - Add Language_LUA_Name and Language_LUA

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Introduce RH_PO_HI_Lua, RE_LUA_Load, RE_LUA_Load_File
     and RE_LUA_Load_File_With_Function entities

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   - Map LUA subprograms

 * ocarina/resources/AADLv2/aadl_project.aadl
   - Add LUA language in the potential supported languages



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@3660 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Fix the build system to include ASN1Scc runtime
     when using ASN1

 * ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Generate identifiers for protocols (see enum __po_hi_protocol_t)
   - Generate the macro __PO_HI_NB_PROTOCOLS

 * ocarina/src/backends/ocarina-backends-build_utils.adb
   - Do not visit data subcomponents in build utils since
     it crashes the testsuite

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Nb_Protocols
   - Add RE_Protocol_T

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   - Add mapping rules to convert virtual bus names into
     C enumerator (see Map_C_Enumerator_Name)


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2968 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2703 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Introduce the ability to use two instances
     of the same driver.
   - Impact: poller are expected to take a mandatory
     argument that has the type __po_hi_device_id

 * ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
 * ocarina/src/backends/ocarina-backends-c_tree-nutils.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
   - Also adapt the call sequence of a subprogram and a thread
     when we generate the call sequence

 * ocarina/src/backends/ocarina-backends-c_common-subprograms.adb
   - Also consider the device if the subprogram
     is part of a device implementation, map the correct
     arguments when mapping the spec of the subprogram
     and its call sequence.

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   - Add the __po_hi_device_id to the subprogram signatures
     that correspond to functions defined for the implementation
     of a driver



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2701 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Add bench and compcert execution platform
 
 * ocarina/src/backends/ocarina-backends-properties.adb
   ocarina/src/backends/ocarina-backends-properties.ads
   - Supports the handling of new platform values

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
   ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   ocarina/src/backends/ocarina-backends-po_hi_c-main.adb
   - Generate code compliant with compcert





git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2671 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Adapt Makefile for multiple user sources dir

 * ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Avoid several configuration patterns (string and asn1 based)

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   - Adapt the external variable naming schema
     according to buildsupport





git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2099 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Map ASN type to C type names

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   - Add Map_ASN_Type function

 * ocarina/resources/Makefile.am
   - Substitute OCARINA_INCLUDE_PATH to the ocarina_components.aadl
     file

 * ocarina/resources/AADLv2/components/devices.aadl
   - Specify ASN.1 and C header files



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2062 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Add extern declaration of configuration variables
     of devices in deployment files

 * ocarina/src/backends/ocarina-backends-build_utils.adb
   - Add the file that contains the configuration variable
     in the list of files to be compiled

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Devices_Configuration_Values that is an array
     that contains a reference to the variable
     that contain device configuration

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   - Add Map_Device_Confvar_Name to define the name of the
     configuration variable of a device



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2034 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Describe the number of buses accessed by each device
   - Put the buses names accessed by each device.
   
 * backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Devices_Nb_Accessed_Buses
   - Add RE_Devices_Accessed_Buses

 * backends/ocarina-backends-c_common-mapping.adb
   backends/ocarina-backends-c_common-mapping.ads
   - Add Map_Devices_Buses_Array_Name that provides
     a name for the array that describes the buses
     accessed by the device.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2033 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Generate the __po_hi_bus_id type

 * backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Bus_Id

 *  backends/ocarina-backends-c_common-mapping.adb
   - Map_C_Enumerator can now map bus components




git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2032 129961e7-ef38-4bb5-a8f7-c9a525a55882

	reuse an existing instance of a	     data component type only for
        access components, this allow to have subcomponent-specific
        properties to be correctly attached to the corresponing
	instance of subcomponents



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1486 129961e7-ef38-4bb5-a8f7-c9a525a55882

	  update backends to avoid treating subprogram subcomponents
	  when building types or marshallers.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1456 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
   - Add Keyword_Check parameter to decide if we need to check
     that a generated item correspond to an AADL keyword

 * ocarina/src/backends/ocarina-backends-xml_tree-generator.adb
   - Avoid the generation of automatic .asn1 extension

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-pok_c-makefile.adb
   - Do not check AADL keyword for directories



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1455 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1347 129961e7-ef38-4bb5-a8f7-c9a525a55882

   of the pci_minio card now works


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@974 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@708 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@590 129961e7-ef38-4bb5-a8f7-c9a525a55882

device devices enumerator
extract port/channel/deployment information and use it for initialization
purposes



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@584 129961e7-ef38-4bb5-a8f7-c9a525a55882