From 4a980abce3d627d9993547e413d12c2b79c6676a Mon Sep 17 00:00:00 2001
From: yoogx <hugues.jerome@gmail.com>
Date: Thu, 21 Mar 2013 09:49:47 +0100
Subject: [PATCH]         * Add an error message in case of incomplete model

        For issue #10
---
 src/backends/ocarina-backends-pn-components.adb | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/backends/ocarina-backends-pn-components.adb b/src/backends/ocarina-backends-pn-components.adb
index 6e88429e..eacb9fe4 100644
--- 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));