Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
7cf19e3a
Commit
7cf19e3a
authored
Nov 07, 2019
by
yoogx
Browse files
* TASTE and ASSERT properties are no longer loaded by default
parent
5a963e45
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/core/tree/ocarina-property_sets.adb
View file @
7cf19e3a
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
7
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
9
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- --
...
...
@@ -59,9 +59,7 @@ package body Ocarina.Property_Sets is
O_Deployment
,
O_Cheddar_Properties
,
O_Ocarina_Config
,
O_Base_Types
,
O_ASSERT_Types
,
O_ASSERT_Properties
);
O_Base_Types
);
AADLv2_Ocarina_Property_Sets
:
aliased
Ocarina_Property_Set_Array_Type
:=
(
O_Data_Model
,
...
...
@@ -71,9 +69,6 @@ package body Ocarina.Property_Sets is
O_Transformations
,
O_POK_Properties
,
O_Base_Types
,
O_Taste_Properties
,
O_ARINC653
,
O_ASSERT_Properties
,
O_Replication_Properties
);
Ocarina_Property_Sets_Table
:
constant
array
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment