Commit 79120519 authored by yoogx's avatar yoogx

* Add support for ARINC653::Partition_Identifier property

parent 96747bd4
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2014-2015 ESA & ISAE. --
-- Copyright (C) 2014-2016 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
......@@ -41,6 +41,9 @@ use Ocarina.AADL_Values;
with Ocarina.ME_AADL.AADL_Tree.Nodes;
use Ocarina.ME_AADL.AADL_Tree.Nodes;
with Ocarina.Backends.Properties.Utils;
use Ocarina.Backends.Properties.Utils;
package body Ocarina.Backends.Properties.ARINC653 is
package ATNU renames Ocarina.ME_AADL.AADL_Tree.Nutils;
......@@ -59,6 +62,9 @@ package body Ocarina.Backends.Properties.ARINC653 is
-- ARINC653::Module_Schedule
Module_Schedule_Name : Name_Id;
-- ARINC653::Partition_Identifier
Partition_Identifier_Name : Name_Id;
procedure Init;
----------
......@@ -77,6 +83,10 @@ package body Ocarina.Backends.Properties.ARINC653 is
Duration_Name := Get_String_Name ("duration");
Periodic_Processing_Start_Name
:= Get_String_Name ("periodic_processing_start");
Partition_Identifier_Name
:= Get_String_Name ("arinc653::partition_identifier");
Is_Initialized := True;
end Init;
......@@ -156,4 +166,15 @@ package body Ocarina.Backends.Properties.ARINC653 is
end;
end Get_Module_Schedule_Property;
------------------------------
-- Get_Partition_Identifier --
------------------------------
function Get_Partition_Identifier
(P : Node_Id)
return Unsigned_Long_Long is
begin
return Check_And_Get_Property (P, Partition_Identifier_Name);
end Get_Partition_Identifier;
end Ocarina.Backends.Properties.ARINC653;
......@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2014-2015 ESA & ISAE. --
-- Copyright (C) 2014-2016 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
......@@ -51,4 +51,8 @@ package Ocarina.Backends.Properties.ARINC653 is
(E : Node_Id)
return Schedule_Window_Record_Term_Array;
function Get_Partition_Identifier
(P : Node_Id)
return Unsigned_Long_Long;
end Ocarina.Backends.Properties.ARINC653;
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