Commit d74bb12f authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
parents 9f1a0a86 8200b72c
Subproject commit e135c37835b5f23aee589642c4fa96b062199845
Subproject commit 973d9ed7a777d58401f01be652cd58e5486bfb8b
Subproject commit 56eaf1fc2c38ff9edf7338be68ac67d54df9879b
Subproject commit 0a35e428e9ddb6ddca7e8fc27ba71ddabcafdbf5
......@@ -7,7 +7,7 @@
-- Driver : Driver
property set TASTE_DV_Properties is
-- MyBoolean: aadlboolean applies to (System, Processor, Process);
CoverageEnabled: aadlboolean applies to (Process);
CoverageEnabled: aadlboolean applies to (Process);
Comment: aadlstring applies to (Device, Bus);
-- MyInt: aadlinteger applies to (System);
-- MyReal: aadlreal applies to (Bus);
......
-- mapping TASTE : AADL
-- Container : Package
-- Function : System
-- Interface : Subprogram
property set TASTE_IV_Properties is
-- MyBoolean: aadlboolean applies to (System, Package);
-- MyString: aadlstring applies to (System, Subprogram);
Version: aadlstring applies to (System);
-- MyInt: aadlinteger applies to (System);
-- MyReal: aadlreal applies to (System);
-- MyEnum: enumeration (val1, val2, val3, val4) applies to (System);
end TASTE_IV_Properties;
-- mapping TASTE : AADL
-- Container : Package
-- Function : System
-- Interface : Subprogram
property set TASTE_IV_Properties is
-- MyBoolean: aadlboolean applies to (System, Package);
-- MyString: aadlstring applies to (System, Subprogram);
Version: aadlstring applies to (System);
-- 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;
Subproject commit ab77171e307982fe35331883b2ed062e51234b75
Subproject commit 90b7b6841ce49bd9b420ff0bae8ac0425151bcaf
Subproject commit 3b58e33e765f930751f031bc564bf34f870b4a5c
Subproject commit a551c05c0008f0b348ac55cdd39a98b2b26e9b43
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