* Add an error message in case of incomplete model

For issue #10
OpenAADL · Mar 21, 2013 · 4a980ab · 4a980ab
1 parent e243cd0
commit 4a980ab
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/backends/ocarina-backends-pn-components.adb b/src/backends/ocarina-backends-pn-components.adb
@@ -1261,6 +1261,11 @@ package body Ocarina.Backends.PN.Components is
         (PN_Subcomponents
          (PN_Box (PN_Generated)));
 
+      if No (Thread_Iter) then
+         Display_Error ("Petri Net backend : "
+                          & "incomplete AADL model", True);
+      end if;
+
       declare
          Init_Node : constant Node_Id
            := OPN.First_Node (Internal_Transitions (Thread_Iter));