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
f1616a7a
Commit
f1616a7a
authored
Aug 11, 2017
by
Damien George
Browse files
Initial support for MicroPython
parent
4e7d02cf
Changes
3
Hide whitespace changes
Inline
Side-by-side
resources/AADLv2/aadl_project.aadl
View file @
f1616a7a
...
...
@@ -81,7 +81,8 @@ property set AADL_Project is
VHDL,
ACN,
QGenC,
QGenAda);
QGenAda,
MicroPython);
Supported_Distributions: type enumeration (Fixed, Poisson);
...
...
src/backends/ocarina-backends-properties.adb
View file @
f1616a7a
...
...
@@ -282,6 +282,7 @@ package body Ocarina.Backends.Properties is
Language_VDM_Name
:
Name_Id
;
Language_QGenAda_Name
:
Name_Id
;
Language_QGenC_Name
:
Name_Id
;
Language_MicroPython_Name
:
Name_Id
;
Thread_Periodic_Name
:
Name_Id
;
Thread_Aperiodic_Name
:
Name_Id
;
...
...
@@ -1226,6 +1227,9 @@ package body Ocarina.Backends.Properties is
elsif
Source_L
=
Language_QGenC_Name
then
return
Language_QGenC
;
elsif
Source_L
=
Language_MicroPython_Name
then
return
Language_MicroPython
;
else
Display_Located_Error
(
AIN
.
Loc
(
E
),
...
...
@@ -1412,6 +1416,9 @@ package body Ocarina.Backends.Properties is
when
Language_Simulink
|
Language_QGenC
|
Language_QGenAda
=>
return
Subprogram_Simulink
;
when
Language_MicroPython
=>
return
Subprogram_Unknown
;
when
Language_Scade
=>
return
Subprogram_Scade
;
...
...
@@ -2979,6 +2986,7 @@ package body Ocarina.Backends.Properties is
Language_System_C_Name
:=
Get_String_Name
(
"system_c"
);
Language_QGenAda_Name
:=
Get_String_Name
(
"qgenada"
);
Language_QGenC_Name
:=
Get_String_Name
(
"qgenc"
);
Language_MicroPython_Name
:=
Get_String_Name
(
"micropython"
);
Thread_Periodic_Name
:=
Get_String_Name
(
"periodic"
);
Thread_Aperiodic_Name
:=
Get_String_Name
(
"aperiodic"
);
...
...
src/backends/ocarina-backends-properties.ads
View file @
f1616a7a
...
...
@@ -80,6 +80,7 @@ package Ocarina.Backends.Properties is
Language_System_C
,
Language_VDM
,
Language_VHDL
,
Language_MicroPython
,
Language_None
);
type
Supported_Scheduling_Protocol
is
...
...
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