Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
3cb1d889
Commit
3cb1d889
authored
Mar 16, 2020
by
Jerome Hugues
Browse files
* (Map_C_Enumerator_Name): Add the option to fully qualify name
with parent name
parent
12761e48
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/backends/ocarina-backends-c_common-mapping.ads
View file @
3cb1d889
...
...
@@ -70,19 +70,22 @@ package Ocarina.Backends.C_Common.Mapping is
Variable
:
Name_Id
:=
No_Name
)
return
Node_Id
;
function
Map_C_Enum_Name
(
E
:
Node_Id
;
Enumerator
:
Name_Id
)
return
Name_Id
;
function
Map_C_Enumerator_Name
(
E
:
Node_Id
;
Custom_Parent
:
Node_Id
:=
No_Node
;
Entity
:
Boolean
:=
False
;
Server
:
Boolean
:=
False
;
Port_Type
:
Boolean
:=
False
;
Local_Port
:
Boolean
:=
False
)
return
Name_Id
;
(
E
:
Node_Id
;
Custom_Parent
:
Node_Id
:=
No_Node
;
Fully_Qualify_Parent
:
Boolean
:=
False
;
Entity
:
Boolean
:=
False
;
Server
:
Boolean
:=
False
;
Port_Type
:
Boolean
:=
False
;
Local_Port
:
Boolean
:=
False
)
return
Name_Id
;
function
Map_C_Define_Name
(
E
:
Node_Id
;
Nb_Ports
:
Boolean
:=
False
;
Nb_States
:
Boolean
:=
False
;
Max_Dispatch_Transitions_Per_Complete_State
:
Boolean
:=
False
;
Max_Dispatch_Triggers_Per_Dispatch_Transition
:
Boolean
:=
False
)
return
Name_Id
;
return
Name_Id
;
function
Map_C_Full_Parameter_Name
(
Spg
:
Node_Id
;
P
:
Node_Id
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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