Commit 4a980abc authored by yoogx's avatar yoogx
Browse files

* Add an error message in case of incomplete model

        For issue #10
parent e243cd0e
......@@ -1261,6 +1261,11 @@ package body Ocarina.Backends.PN.Components is
(PN_Box (PN_Generated)));
if No (Thread_Iter) then
Display_Error ("Petri Net backend : "
& "incomplete AADL model", True);
end if;
Init_Node : constant Node_Id
:= OPN.First_Node (Internal_Transitions (Thread_Iter));
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment