* Declare the Offset variable to be included in 
     activity.c generated file.

 - backends/ocarina-backends-po_hi_c-activity.adb
   * Call __po_hi_task_wait_offset when the task
     use the Dispatch_Offset property

 - backends/ocarina-backends-po_hi_c-runtime.ads
   * Declare the __po_hi_task_wait_offset function
     of PolyORB-HI-C


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4908 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

   comments in the generated code.

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   - Generate a doxygen.cfg file per node.

 * ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
   - Add some doxygen comments.

 * ocarina/src/backends/ocarina-backends-c_tree-nutils.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
   - Add the Make_Doxygen_Comment_Node function

 * ocarina/src/backends/ocarina-backends-c_tree-nodes.idl
   - Add a new node to handle doxygen comment

 * ocarina/src/backends/ocarina-backends-c_tree-generator.adb
   - Generate comments according to doxygen rules.

 * ocarina/src/backends/ocarina-backends-po_hi_c-main.adb
   - Add comments compliant with doxygen requirements



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2709 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

   backends/ocarina-backends-c_tree-nutils.ads
   backends/ocarina-backends-po_hi_c-naming.adb
   backends/ocarina-backends-po_hi_c-runtime.ads
    - Prefix all global variables with __po_hi
      to ease code analysis



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1768 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@708 129961e7-ef38-4bb5-a8f7-c9a525a55882

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

   This function sends the request of each thread using
   appropriate drivers functions.



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

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