Commit 18dc1bf4 authored by yoogx's avatar yoogx
Browse files

* Added new property sets for TASTE IV/DV

        For openaadl/ocarina#136
parent e438a919
-- mapping TASTE : AADL
-- Node : System
-- Processor : Processor
-- Process : Function
-- Bus : Bus
-- Device : Device
-- Driver : Driver
property set TASTE_DV_Properties is
-- MyBoolean: aadlboolean applies to (System, Processor, Process);
CoverageEnabled: aadlboolean applies to (Process);
Comment: aadlstring applies to (Device, Bus);
-- MyInt: aadlinteger applies to (System);
-- MyReal: aadlreal applies to (Bus);
-- MyEnum: enumeration (val1, val2, val3, val4) applies to (Device);
end TASTE_DV_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;
......@@ -31,11 +31,13 @@ AADL_V2_PROPERTIES = $(srcdir)/AADLv2/aadl_project.aadl \
$(srcdir)/AADLv2/replication_properties.aadl \
$(srcdir)/AADLv2/errorlibrary.aadl \
$(srcdir)/AADLv2/taste_properties.aadl \
$(srcdir)/AADLv2/TASTE_IV_Properties.aadl \
$(srcdir)/AADLv2/TASTE_DV_Properties.aadl \
$(srcdir)/AADLv2/transformations.aadl
AADL_V2_COMPONENTS = $(srcdir)/AADLv2/components/*.aadl \
$(srcdir)/AADLv2/components/devices/*.aadl \
$(srcdir)/AADLv2/components/processors/*.aadl
$(srcdir)/AADLv2/components/devices/*.aadl \
$(srcdir)/AADLv2/components/processors/*.aadl
EXTRA_DIST = $(AADL_COMMON_PROPERTIES) \
$(AADL_V1_PROPERTIES) \
......
Supports Markdown
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