Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
cc5d50e0
Commit
cc5d50e0
authored
Oct 07, 2019
by
Maxime Perrotin
Browse files
Merge
https://github.com/openaadl/ocarina
parents
5427e465
e054ad56
Changes
7
Hide whitespace changes
Inline
Side-by-side
resources/AADLv2/TASTE_DV_Properties.aadl
deleted
100644 → 0
View file @
5427e465
-- 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;
resources/AADLv2/TASTE_DV_Properties.aadl.ignore
deleted
100644 → 0
View file @
5427e465
resources/AADLv2/TASTE_IV_Properties.aadl
deleted
100644 → 0
View file @
5427e465
-- 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;
resources/AADLv2/TASTE_IV_Properties.aadl.ignore
deleted
100644 → 0
View file @
5427e465
resources/AADLv2/taste_properties.aadl.ignore
deleted
100644 → 0
View file @
5427e465
resources/Makefile.am
View file @
cc5d50e0
...
...
@@ -30,9 +30,6 @@ AADL_V2_PROPERTIES = $(srcdir)/AADLv2/aadl_project.aadl \
$(srcdir)
/AADLv2/base_types.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
\
$(srcdir)
/AADLv2/ocarina_library.aadl
\
$(srcdir)
/AADLv2/fmi.aadl
...
...
src/backends/po_hi_c/ocarina-backends-po_hi_c-activity.adb
View file @
cc5d50e0
...
...
@@ -1556,6 +1556,11 @@ package body Ocarina.Backends.PO_HI_C.Activity is
(
Map_C_Enumerator_Name
(
S
,
Custom_Parent
=>
Current_Device
));
N1
:=
Make_Defining_Identifier
(
Map_C_Enumerator_Name
(
S
,
Custom_Parent
=>
Current_Device
));
else
N
:=
Make_Defining_Identifier
(
Map_C_Enumerator_Name
(
S
));
N1
:=
Make_Defining_Identifier
(
Map_C_Enumerator_Name
(
S
));
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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