• julien.delange's avatar
    * ocarina/src/backends/ocarina-backends-properties.adb · f1f55451
    julien.delange authored
       ocarina/src/backends/ocarina-backends-properties.ads
       - Handle immediate_priority_ceiling_protocol and
         priority_inheritance proprty values
    
     * ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
       - Generate variables __po_hi_protected_configuration
         and __po_hi_protected_priorities that describe protected
         variable requirements
    
     * ocarina/src/backends/ocarina-backends-c_common-types.adb
       - Take in account the new protected types
    
     * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
       - Add entities RE_Protected_Regular, RE_Protected_PCP,
         RE_Protected_PIP, RE_Protected_Protocol_T, RE_Protected_Configuration,
         RE_Protected_Priorities and RE_Protected_Protocol_T
    
     * ocarina/resources/AADLv2/aadl_project.aadl
       - Add immediate_priority_ceiling_protocol and
         priority_inheritance proprty as new values
         for Supported_Concurrency_Control_Protocol
    
    
    git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1645 129961e7-ef38-4bb5-a8f7-c9a525a55882
    f1f55451
ocarina-backends-properties.adb 143 KB