Commit 6982b504 authored by Bechir Zalila's avatar Bechir Zalila
Browse files

* (ocarina-property_sets.ad?): Mark ErrorLibrary as a standard

        property set

	(By Fatma Kacem)
parent ab33559a
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- B o d y -- -- B o d y --
-- -- -- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-2015 ESA & ISAE. -- -- Copyright (C) 2008-2009 Telecom ParisTech, 2010-2016 ESA & ISAE. --
-- -- -- --
-- Ocarina is free software; you can redistribute it and/or modify under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -47,7 +47,8 @@ package body Ocarina.Property_Sets is ...@@ -47,7 +47,8 @@ package body Ocarina.Property_Sets is
S_Memory_Properties, S_Memory_Properties,
S_Modeling_Properties, S_Modeling_Properties,
S_Timing_Properties, S_Timing_Properties,
S_Programming_Properties); S_Programming_Properties,
S_ErrorLibrary);
Standard_Property_Sets_Table : constant array Standard_Property_Sets_Table : constant array
(AADL_Version_Type) of Standard_Property_Set_Array_Access := (AADL_Version_Type) of Standard_Property_Set_Array_Access :=
......
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-2015 ESA & ISAE. -- -- Copyright (C) 2008-2009 Telecom ParisTech, 2010-2016 ESA & ISAE. --
-- -- -- --
-- Ocarina is free software; you can redistribute it and/or modify under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -43,7 +43,8 @@ package Ocarina.Property_Sets is ...@@ -43,7 +43,8 @@ package Ocarina.Property_Sets is
S_Memory_Properties, S_Memory_Properties,
S_Modeling_Properties, S_Modeling_Properties,
S_Timing_Properties, S_Timing_Properties,
S_Programming_Properties); S_Programming_Properties,
S_ErrorLibrary);
-- The standard property sets -- The standard property sets
type Ocarina_Property_Set_Type is type Ocarina_Property_Set_Type is
......
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