Commit aaeb2b93 authored by Bechir Zalila's avatar Bechir Zalila

* (ocarina-property_sets.ad?): New enumerator for the replication

        property set.

        * (ocarina_cmd.adb): enable EMV2 parsing by defaut (as it is the
        case for other supported annexes)

	(By Wafa Gabsi)
parent f05e60bd
......@@ -73,7 +73,8 @@ package body Ocarina.Property_Sets is
O_Base_Types,
O_Taste_Properties,
O_ARINC653,
O_ASSERT_Properties);
O_ASSERT_Properties,
O_Replication_Properties);
Ocarina_Property_Sets_Table : constant array
(AADL_Version_Type) of Ocarina_Property_Set_Array_Access :=
......
......@@ -58,7 +58,8 @@ package Ocarina.Property_Sets is
O_ARINC653,
O_Taste_Properties,
O_ASSERT_Types,
O_ASSERT_Properties);
O_ASSERT_Properties,
O_Replication_Properties);
-- The Ocarina property sets
type Standard_Property_Set_Array_Type is
......
......@@ -432,6 +432,7 @@ procedure Ocarina_Cmd is
Unset_Annex_Action (Disable_ALL);
Unset_Annex_Action (Disable_REAL);
Unset_Annex_Action (Disable_BA);
Unset_Annex_Action (Disable_EMA);
elsif A = "annex_none" then
null;
......@@ -442,6 +443,9 @@ procedure Ocarina_Cmd is
elsif A = "real_specification" then
Unset_Annex_Action (Disable_REAL);
elsif A = "emv2" then
Unset_Annex_Action (Disable_EMA);
else
raise Program_Error
with "Internal error : make sure you handle "
......
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