If user really wants a protected interface, comply

If there is a single interface in a function it was a priori set as
unprotected. However this may go against an explicit user setting of
protected.

src/taste-aadl_parser.adb

@@ -433,7 +433,9 @@ package body TASTE.AADL_Parser is
                                                   others => <>);
                begin
                   New_PI.PI.RCM := (if F.Provided.Length = 1
-                                    then Unprotected_Operation
+                                    then (if PI.RCM = Protected_Operation
+                                          then PI.RCM
+                                          else Unprotected_Operation)
                                     else Protected_Operation);
                   --  Check in the DV if any caller is remote
                   for Remote of PI.Remote_Interfaces loop

templates/skeletons/README.md

@@ -141,7 +141,7 @@ This is an extract of `interface.tmplt`:
 
 ```
 @@IF@@ @_Direction_@ = "PI"
-void @_LOWER:Parent_Function_@_PI_@_LOWER:Name_@(
+void @_LOWER:Parent_Function_@_PI_@_Name_@(
 @@ELSE@@
 extern void @_LOWER:Parent_Function_@_RI_@_Name_@(
 @@END_IF@@

templates/skeletons/c-body/interface.tmplt

@@ -22,7 +22,7 @@ asn1Scc@_REPLACE_ALL((-)/_):Param_Types_@ *OUT_@_LOWER:Param_Names_@
 @@END_TABLE@@
 @@END_INLINE@@
 @@ELSE@@
-void @_LOWER:Parent_Function_@_PI_@_LOWER:Name_@(void)
+void @_LOWER:Parent_Function_@_PI_@_Name_@(void)
 @@END_IF@@
 {
    // Write your code here

templates/skeletons/cpp-body/interface.tmplt

@@ -8,7 +8,7 @@
 @@-- @_Param_Types_@         :   |_ Corresponding parameter types
 @@-- @_Param_Directions_@    :   |_ Corresponding direction
 @@IF@@ @_EXIST:Param_Names_@
-void @_LOWER:Parent_Function_@_PI_@_LOWER:Name_@
+void @_LOWER:Parent_Function_@_PI_@_Name_@
 @@INLINE(      \()(,\n       )(\)\n)@@
 @@TABLE@@
 @@IF@@ @_Param_Directions_@ = "PARAM_IN"
@@ -19,7 +19,7 @@ asn1Scc@_REPLACE_ALL((-)/_):Param_Types_@ *OUT_@_LOWER:Param_Names_@
 @@END_TABLE@@
 @@END_INLINE@@
 @@ELSE@@
-void @_LOWER:Parent_Function_@_PI_@_LOWER:Name_@(void)
+void @_LOWER:Parent_Function_@_PI_@_Name_@(void)
 @@END_IF@@
 {
    // Write your code here

templates/skeletons/gui-body/interface.tmplt

@@ -8,7 +8,7 @@
 @@-- @_Param_Types_@         :   |_ Corresponding parameter types
 @@-- @_Param_Directions_@    :   |_ Corresponding direction
 @@IF@@ @_EXIST:Param_Names_@
-void @_LOWER:Parent_Function_@_PI_@_LOWER:Name_@
+void @_LOWER:Parent_Function_@_PI_@_Name_@
 @@INLINE(      \()(,\n       )(\)\n)@@
 @@TABLE@@
 @@IF@@ @_Param_Directions_@ = "PARAM_IN"
@@ -35,7 +35,7 @@ asn1Scc@_REPLACE_ALL((-)/_):Param_Types_@ *OUT_@_LOWER:Param_Names_@
 }
 @@ELSE@@
 @@IF@@ @_LOWER:Name_@ /= poll
-void @_LOWER:Parent_Function_@_PI_@_LOWER:Name_@(void)
+void @_LOWER:Parent_Function_@_PI_@_Name_@(void)
 {
    write_message_to_queue
       (@_LOWER:Parent_Function_@_PI_queue_id,