Update TASTE-provided versions of IV/DV Properties

fec6ae8c · Maxime Perrotin · 81846638 · fec6ae8c · fec6ae8c
Commit fec6ae8c authored Oct 02, 2017 by Maxime Perrotin
Show whitespace changes
Inline Side-by-side

Showing with 17 additions and 13 deletions

misc/ellidiss/TASTE_DV_Properties.aadl misc/ellidiss/TASTE_DV_Properties.aadl +1 -1

misc/ellidiss/TASTE_IV_Properties.aadl misc/ellidiss/TASTE_IV_Properties.aadl +16 -12

No files found.
--- a/misc/ellidiss/TASTE_DV_Properties.aadl
+++ b/misc/ellidiss/TASTE_DV_Properties.aadl
--- a/misc/ellidiss/TASTE_IV_Properties.aadl
+++ b/misc/ellidiss/TASTE_IV_Properties.aadl
@@ -9,4 +9,8 @@ property set TASTE_IV_Properties is
 --  MyInt: aadlinteger applies to (System);
 --  MyReal: aadlreal applies to (System);
 --  MyEnum: enumeration  (val1, val2, val3, val4) applies to (System);
+    MSCFiles : aadlstring applies to (Subprogram);
+    is_Component_Type : aadlboolean applies to (System);
+    is_instance_of    : aadlstring applies to (System);
+--    MSCFiles : list of aadlstring applies to (Subprogram);
 end TASTE_IV_Properties;