* Added Subprogram_With_Behavior_Specification as new

          subprogram kind

          For openaadl/ocarina#190

src/backends/ocarina-backends-properties.adb

@@ -1356,7 +1356,7 @@ package body Ocarina.Backends.Properties is
                --  and a null source name and a null source text is a
                --  wrong built subprogram.
 
-               return Subprogram_Opaque_C;
+               return Subprogram_Unknown;
             end if;
 
          when Language_CPP =>
@@ -1441,11 +1441,17 @@ package body Ocarina.Backends.Properties is
                      return Subprogram_Unknown;
                   end if;
                else
-                  --  A subprogram having no implementation language
-                  --  and a *null* call sequence list is an empty
-                  --  subprogram.
+                  if Has_Behavior_Specification (S) then
+                     --  A subprogram is defined using a behavior specification
 
-                  return Subprogram_Empty;
+                     return Subrogram_With_Behavior_Specification;
+                  else
+                     --  A subprogram having no implementation language
+                     --  and a *null* call sequence list and no behavior
+                     --  specification is an empty subprogram.
+
+                     return Subprogram_Empty;
+                  end if;
                end if;
             end if;
 

src/backends/ocarina-backends-properties.ads

@@ -494,7 +494,8 @@ package Ocarina.Backends.Properties is
       Subprogram_Esterel,
       Subprogram_Lua,
       Subprogram_Pure_Call_Sequence,
-      Subprogram_Hybrid_Ada_95);
+      Subprogram_Hybrid_Ada_95,
+      Subrogram_With_Behavior_Specification);
 
    function Get_Subprogram_Kind (S : Node_Id) return Supported_Subprogram_Kind;
    --  Return the kind of a subprogram depending on its internal