* ocarina/resources/AADLv1/aadl_project.aadl

   - Add new ceiling protocol values in AADLv1 properties



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

resources/AADLv1/aadl_project.aadl

@@ -32,6 +32,8 @@ property set AADL_Project is
     (NoneSpecified,
      Read_Only,
      Protected_Access,
+     Immediate_Priority_Ceiling_Protocol,
+     Priority_Ceiling_Protocol,
      Priority_Ceiling);
   -- phf : NoneSpecified instead of None
   -- The following are example concurrency control protocols.