Commit 8f192289 authored by Maxime Perrotin's avatar Maxime Perrotin

Add modifications from IBKrates to support multiple instances

two properties added to TASTE_IV_Properties.aadl, that can be used to
specify that a component is a component type and/or an instance of
another component. At the moment this is placed here for incubation
until the concept is proven.
Component type support is limited to SDL first, and then could be
extented to Ada and C++.
parent 995380b9
-- mapping TASTE : AADL -- mapping TASTE : AADL
-- Container : Package -- Container : Package
-- Function : System -- Function : System
-- Interface : Subprogram -- Interface : Subprogram
property set TASTE_IV_Properties is property set TASTE_IV_Properties is
-- MyBoolean: aadlboolean applies to (System, Package); -- MyBoolean: aadlboolean applies to (System, Package);
-- MyString: aadlstring applies to (System, Subprogram); -- MyString: aadlstring applies to (System, Subprogram);
Version: aadlstring applies to (System); Version: aadlstring applies to (System);
-- MyInt: aadlinteger applies to (System); is_Component_Type : aadlboolean applies to (System);
-- MyReal: aadlreal applies to (System); is_instance_of : aadlstring applies to (System);
-- MyEnum: enumeration (val1, val2, val3, val4) applies to (System); -- MyInt: aadlinteger applies to (System);
MSCFiles : aadlstring applies to (Subprogram); -- MyReal: aadlreal applies to (System);
end TASTE_IV_Properties; -- MyEnum: enumeration (val1, val2, val3, val4) applies to (System);
MSCFiles : aadlstring applies to (Subprogram);
end TASTE_IV_Properties;
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