Commit fe5b01e6 authored by yoogx's avatar yoogx
Browse files

* Minor bugfixes

        For openaadl/ocarina#160
parent fd7e9b83
......@@ -198,7 +198,8 @@ package body Ocarina.Backends.AIR_Conf.Partitions is
Q :=
Make_Literal
(XV.New_Numeric_Value
(Get_Partition_Identifier (E),
(Get_Partition_Identifier
(Associated_Processor),
0,
10));
Append_Node_To_List
......@@ -265,7 +266,7 @@ package body Ocarina.Backends.AIR_Conf.Partitions is
-- Port name
Set_Str_To_Name_Buffer ("name");
Set_Str_To_Name_Buffer ("Name");
P := Make_Defining_Identifier (Name_Find);
Get_Name_String (Display_Name (Identifier (F)));
......
......@@ -167,6 +167,9 @@ package body Ocarina.Backends.Properties.ARINC653 is
function Get_Partition_Identifier (P : Node_Id) return Unsigned_Long_Long is
begin
if not Is_Initialized then
Init;
end if;
return Check_And_Get_Property (P, Partition_Identifier_Name);
end Get_Partition_Identifier;
......
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