Commit 4c710750 authored by hugues.jerome's avatar hugues.jerome
Browse files

* (Get_Scheduling_Protocol): defend in case the property is

	  defined, but the iterator does not find it.

git-svn-id: 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 4660e004
......@@ -2781,9 +2781,18 @@ package body Ocarina.Backends.Properties is
-- relevant information. This is BAD BAD BAD
Scheduling_L := Ocarina.Analyzer.AADL.Queries.Get_List_Property
(Corresponding_Declaration (P), Scheduling_Protocol);
if Present (Node_Id (Scheduling_L)) then
Scheduling_N :=
To_Lower (ATN.Display_Name
(ATN.Identifier (ATN.First_Node (Scheduling_L))));
return Unknown_Scheduler;
-- XXX The property can be defined, but the returned
-- value may be empty because of a subtle bug:
-- Get_List_Property does not traverse the whole
-- inheritance tree ...
end if;
return Unknown_Scheduler;
Markdown is supported
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