* If the property Schedule_Module is not defined, return an

          empty array

          Fix for #21

src/backends/ocarina-backends-properties-arinc653.adb

@@ -101,6 +101,10 @@ package body Ocarina.Backends.Properties.ARINC653 is
          Init;
       end if;
 
+      if not Is_Defined_List_Property (E, Module_Schedule_Name) then
+         return Empty_Schedule_Window_Record_Term_Array;
+      end if;
+
       Property_Value := Get_List_Property (E, Module_Schedule_Name);
 
       declare

src/backends/ocarina-backends-properties-arinc653.ads

@@ -45,6 +45,10 @@ package Ocarina.Backends.Properties.ARINC653 is
    type Schedule_Window_Record_Term_Array is array (Natural range <>)
      of Schedule_Window_Record_Term;
 
+   Empty_Schedule_Window_Record_Term_Array :
+     constant Schedule_Window_Record_Term_Array (1 .. 0)
+     := (others => (No_Name, (0, Picosecond), False));
+
    function Get_Module_Schedule_Property
      (E : Node_Id)
      return Schedule_Window_Record_Term_Array;