Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
O
Ocarina
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
2
Issues
2
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
TASTE
Ocarina
Commits
90ab3209
Commit
90ab3209
authored
May 05, 2014
by
yoogx
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* Follow-up to Types to Ocarina.Types renaming
parent
e6bb90e7
Changes
132
Expand all
Hide whitespace changes
Inline
Side-by-side
Showing
132 changed files
with
1161 additions
and
1163 deletions
+1161
-1163
src/backends/ocarina-backends-ada_tree-nutils.adb
src/backends/ocarina-backends-ada_tree-nutils.adb
+1
-1
src/backends/ocarina-backends-asn1_tree-nutils.adb
src/backends/ocarina-backends-asn1_tree-nutils.adb
+1
-1
src/backends/ocarina-backends-c_tree-nutils.adb
src/backends/ocarina-backends-c_tree-nutils.adb
+2
-2
src/backends/ocarina-backends-mast_tree-nutils.adb
src/backends/ocarina-backends-mast_tree-nutils.adb
+1
-1
src/backends/ocarina-backends-pn-components.adb
src/backends/ocarina-backends-pn-components.adb
+46
-46
src/backends/ocarina-backends-pn-components.ads
src/backends/ocarina-backends-pn-components.ads
+15
-15
src/backends/ocarina-backends-pn-iutils.adb
src/backends/ocarina-backends-pn-iutils.adb
+99
-99
src/backends/ocarina-backends-pn-iutils.ads
src/backends/ocarina-backends-pn-iutils.ads
+93
-93
src/backends/ocarina-backends-pn-nutils.adb
src/backends/ocarina-backends-pn-nutils.adb
+10
-10
src/backends/ocarina-backends-pn-nutils.ads
src/backends/ocarina-backends-pn-nutils.ads
+10
-10
src/backends/ocarina-backends-pn.adb
src/backends/ocarina-backends-pn.adb
+5
-5
src/backends/ocarina-backends-pn.ads
src/backends/ocarina-backends-pn.ads
+4
-4
src/backends/ocarina-backends-rtsj_tree-nutils.adb
src/backends/ocarina-backends-rtsj_tree-nutils.adb
+2
-2
src/backends/ocarina-backends-xml_tree-nutils.adb
src/backends/ocarina-backends-xml_tree-nutils.adb
+2
-2
src/backends/ocarina-backends.ads
src/backends/ocarina-backends.ads
+2
-2
src/backends/ocarina-be_aadl.ads
src/backends/ocarina-be_aadl.ads
+2
-2
src/backends/ocarina-be_aadl_ba.ads
src/backends/ocarina-be_aadl_ba.ads
+2
-2
src/backends/ocarina-be_real.adb
src/backends/ocarina-be_real.adb
+2
-2
src/core/common_files/errors.ads
src/core/common_files/errors.ads
+2
-2
src/core/common_files/locations.adb
src/core/common_files/locations.adb
+15
-15
src/core/common_files/locations.ads
src/core/common_files/locations.ads
+16
-16
src/core/common_files/ocarina-namet.ads
src/core/common_files/ocarina-namet.ads
+3
-3
src/core/common_files/ocarina-output.ads
src/core/common_files/ocarina-output.ads
+3
-3
src/core/common_files/ocarina-types.adb
src/core/common_files/ocarina-types.adb
+2
-2
src/core/common_files/ocarina-types.ads
src/core/common_files/ocarina-types.ads
+3
-3
src/core/common_files/outfiles.ads
src/core/common_files/outfiles.ads
+2
-2
src/core/common_files/utils.ads
src/core/common_files/utils.ads
+2
-2
src/core/instance/ocarina-instances-real_checker-queries-access_predicates.ads
...rina-instances-real_checker-queries-access_predicates.ads
+4
-4
src/core/instance/ocarina-instances-real_checker-queries-bound_predicates.ads
...arina-instances-real_checker-queries-bound_predicates.ads
+4
-4
src/core/instance/ocarina-instances-real_checker-queries-call_predicates.ads
...carina-instances-real_checker-queries-call_predicates.ads
+4
-4
src/core/instance/ocarina-instances-real_checker-queries-connected_predicates.ads
...a-instances-real_checker-queries-connected_predicates.ads
+4
-4
src/core/instance/ocarina-instances-real_checker-queries-passing_predicates.ads
...ina-instances-real_checker-queries-passing_predicates.ads
+4
-4
src/core/instance/ocarina-instances-real_checker-queries-predecessor_predicates.ads
...instances-real_checker-queries-predecessor_predicates.ads
+4
-4
src/core/instance/ocarina-instances-real_checker-queries-predicates.ads
...nce/ocarina-instances-real_checker-queries-predicates.ads
+3
-3
src/core/instance/ocarina-instances-real_checker-queries-provided_class_predicates.ads
...tances-real_checker-queries-provided_class_predicates.ads
+4
-4
src/core/instance/ocarina-instances-real_checker-queries-relational_predicates.ads
...-instances-real_checker-queries-relational_predicates.ads
+5
-5
src/core/instance/ocarina-instances-real_checker-queries-subcomponent_predicates.ads
...nstances-real_checker-queries-subcomponent_predicates.ads
+4
-4
src/core/instance/ocarina-instances-real_checker-queries.adb
src/core/instance/ocarina-instances-real_checker-queries.adb
+3
-3
src/core/instance/ocarina-instances-real_checker-queries.ads
src/core/instance/ocarina-instances-real_checker-queries.ads
+8
-8
src/core/instance/ocarina-instances.ads
src/core/instance/ocarina-instances.ads
+2
-2
src/core/instance/ocarina-real_expander.ads
src/core/instance/ocarina-real_expander.ads
+3
-3
src/core/mgmt/ocarina-files.ads
src/core/mgmt/ocarina-files.ads
+2
-2
src/core/mgmt/ocarina-options.ads
src/core/mgmt/ocarina-options.ads
+2
-2
src/core/mgmt/ocarina-parser.ads
src/core/mgmt/ocarina-parser.ads
+2
-2
src/core/model/ocarina-analyzer-real-finder.adb
src/core/model/ocarina-analyzer-real-finder.adb
+2
-2
src/core/model/ocarina-analyzer.ads
src/core/model/ocarina-analyzer.ads
+3
-3
src/core/model/ocarina-builder-aadl-annexes.adb
src/core/model/ocarina-builder-aadl-annexes.adb
+27
-27
src/core/model/ocarina-builder-aadl-annexes.ads
src/core/model/ocarina-builder-aadl-annexes.ads
+15
-15
src/core/model/ocarina-builder-aadl-components-modes.adb
src/core/model/ocarina-builder-aadl-components-modes.adb
+10
-10
src/core/model/ocarina-builder-aadl-components-modes.ads
src/core/model/ocarina-builder-aadl-components-modes.ads
+3
-3
src/core/model/ocarina-builder-aadl-components.ads
src/core/model/ocarina-builder-aadl-components.ads
+3
-3
src/core/model/ocarina-builder-aadl-namespaces.adb
src/core/model/ocarina-builder-aadl-namespaces.adb
+29
-29
src/core/model/ocarina-builder-aadl-namespaces.ads
src/core/model/ocarina-builder-aadl-namespaces.ads
+23
-23
src/core/model/ocarina-builder-aadl-properties.ads
src/core/model/ocarina-builder-aadl-properties.ads
+3
-3
src/core/model/ocarina-builder-aadl_ba-actions.ads
src/core/model/ocarina-builder-aadl_ba-actions.ads
+3
-3
src/core/model/ocarina-builder-aadl_ba-expressions.ads
src/core/model/ocarina-builder-aadl_ba-expressions.ads
+3
-3
src/core/model/ocarina-builder-aadl_ba-specifications.ads
src/core/model/ocarina-builder-aadl_ba-specifications.ads
+3
-3
src/core/model/ocarina-builder-aadl_ba-thread_dispatch.ads
src/core/model/ocarina-builder-aadl_ba-thread_dispatch.ads
+3
-3
src/core/model/ocarina-builder-real.ads
src/core/model/ocarina-builder-real.ads
+3
-3
src/core/model/ocarina-processor-properties.ads
src/core/model/ocarina-processor-properties.ads
+3
-3
src/core/tree/ocarina-aadl_values.ads
src/core/tree/ocarina-aadl_values.ads
+2
-2
src/core/tree/ocarina-annotations.ads
src/core/tree/ocarina-annotations.ads
+2
-2
src/core/tree/ocarina-me_aadl-aadl_instances-debug.ads
src/core/tree/ocarina-me_aadl-aadl_instances-debug.ads
+1
-1
src/core/tree/ocarina-me_aadl-aadl_instances-entities-properties.ads
...ee/ocarina-me_aadl-aadl_instances-entities-properties.ads
+2
-2
src/core/tree/ocarina-me_aadl-aadl_instances-entities.adb
src/core/tree/ocarina-me_aadl-aadl_instances-entities.adb
+23
-23
src/core/tree/ocarina-me_aadl-aadl_instances-entities.ads
src/core/tree/ocarina-me_aadl-aadl_instances-entities.ads
+16
-16
src/core/tree/ocarina-me_aadl-aadl_instances-nutils.ads
src/core/tree/ocarina-me_aadl-aadl_instances-nutils.ads
+3
-3
src/core/tree/ocarina-me_aadl-aadl_tree-debug.ads
src/core/tree/ocarina-me_aadl-aadl_tree-debug.ads
+1
-1
src/core/tree/ocarina-me_aadl-aadl_tree-entities-properties.ads
...re/tree/ocarina-me_aadl-aadl_tree-entities-properties.ads
+2
-2
src/core/tree/ocarina-me_aadl-aadl_tree-entities.adb
src/core/tree/ocarina-me_aadl-aadl_tree-entities.adb
+43
-43
src/core/tree/ocarina-me_aadl-aadl_tree-entities.ads
src/core/tree/ocarina-me_aadl-aadl_tree-entities.ads
+28
-28
src/core/tree/ocarina-me_aadl-aadl_tree-nutils.adb
src/core/tree/ocarina-me_aadl-aadl_tree-nutils.adb
+2
-2
src/core/tree/ocarina-me_aadl-aadl_tree-nutils.ads
src/core/tree/ocarina-me_aadl-aadl_tree-nutils.ads
+4
-4
src/core/tree/ocarina-me_aadl-printers.ads
src/core/tree/ocarina-me_aadl-printers.ads
+2
-2
src/core/tree/ocarina-me_aadl-tokens.ads
src/core/tree/ocarina-me_aadl-tokens.ads
+2
-2
src/core/tree/ocarina-me_aadl_ba-ba_tree-debug.ads
src/core/tree/ocarina-me_aadl_ba-ba_tree-debug.ads
+2
-2
src/core/tree/ocarina-me_aadl_ba-ba_tree-nutils.ads
src/core/tree/ocarina-me_aadl_ba-ba_tree-nutils.ads
+2
-2
src/core/tree/ocarina-me_aadl_ba-tokens.ads
src/core/tree/ocarina-me_aadl_ba-tokens.ads
+2
-2
src/core/tree/ocarina-me_real-real_tree-debug.ads
src/core/tree/ocarina-me_real-real_tree-debug.ads
+2
-2
src/core/tree/ocarina-me_real-real_tree-nutils.ads
src/core/tree/ocarina-me_real-real_tree-nutils.ads
+3
-3
src/core/tree/ocarina-me_real-real_tree-utils.ads
src/core/tree/ocarina-me_real-real_tree-utils.ads
+3
-3
src/core/tree/ocarina-me_real-tokens.ads
src/core/tree/ocarina-me_real-tokens.ads
+3
-3
src/core/tree/ocarina-property_sets.ads
src/core/tree/ocarina-property_sets.ads
+2
-2
src/core/tree/ocarina-real_values.ads
src/core/tree/ocarina-real_values.ads
+3
-3
src/frontends/aadl/ocarina-fe_aadl-lexer.ads
src/frontends/aadl/ocarina-fe_aadl-lexer.ads
+2
-2
src/frontends/aadl/ocarina-fe_aadl-parser-annexes.adb
src/frontends/aadl/ocarina-fe_aadl-parser-annexes.adb
+6
-6
src/frontends/aadl/ocarina-fe_aadl-parser-annexes.ads
src/frontends/aadl/ocarina-fe_aadl-parser-annexes.ads
+4
-4
src/frontends/aadl/ocarina-fe_aadl-parser-components-arrays.adb
...ontends/aadl/ocarina-fe_aadl-parser-components-arrays.adb
+4
-4
src/frontends/aadl/ocarina-fe_aadl-parser-components-arrays.ads
...ontends/aadl/ocarina-fe_aadl-parser-components-arrays.ads
+5
-5
src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb
...ds/aadl/ocarina-fe_aadl-parser-components-connections.adb
+5
-5
src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.ads
...ds/aadl/ocarina-fe_aadl-parser-components-connections.ads
+2
-2
src/frontends/aadl/ocarina-fe_aadl-parser-components-features.adb
...tends/aadl/ocarina-fe_aadl-parser-components-features.adb
+12
-12
src/frontends/aadl/ocarina-fe_aadl-parser-components-features.ads
...tends/aadl/ocarina-fe_aadl-parser-components-features.ads
+4
-4
src/frontends/aadl/ocarina-fe_aadl-parser-components-modes.adb
...rontends/aadl/ocarina-fe_aadl-parser-components-modes.adb
+7
-7
src/frontends/aadl/ocarina-fe_aadl-parser-components-modes.ads
...rontends/aadl/ocarina-fe_aadl-parser-components-modes.ads
+3
-3
src/frontends/aadl/ocarina-fe_aadl-parser-components-prototypes.adb
...nds/aadl/ocarina-fe_aadl-parser-components-prototypes.adb
+4
-4
src/frontends/aadl/ocarina-fe_aadl-parser-components-prototypes.ads
...nds/aadl/ocarina-fe_aadl-parser-components-prototypes.ads
+5
-5
src/frontends/aadl/ocarina-fe_aadl-parser-components-subcomponents.adb
.../aadl/ocarina-fe_aadl-parser-components-subcomponents.adb
+2
-2
src/frontends/aadl/ocarina-fe_aadl-parser-components-subcomponents.ads
.../aadl/ocarina-fe_aadl-parser-components-subcomponents.ads
+3
-3
src/frontends/aadl/ocarina-fe_aadl-parser-components-subprogram_calls.adb
...dl/ocarina-fe_aadl-parser-components-subprogram_calls.adb
+4
-4
src/frontends/aadl/ocarina-fe_aadl-parser-components-subprogram_calls.ads
...dl/ocarina-fe_aadl-parser-components-subprogram_calls.ads
+2
-2
src/frontends/aadl/ocarina-fe_aadl-parser-components.adb
src/frontends/aadl/ocarina-fe_aadl-parser-components.adb
+9
-9
src/frontends/aadl/ocarina-fe_aadl-parser-components.ads
src/frontends/aadl/ocarina-fe_aadl-parser-components.ads
+5
-5
src/frontends/aadl/ocarina-fe_aadl-parser-identifiers.adb
src/frontends/aadl/ocarina-fe_aadl-parser-identifiers.adb
+2
-2
src/frontends/aadl/ocarina-fe_aadl-parser-identifiers.ads
src/frontends/aadl/ocarina-fe_aadl-parser-identifiers.ads
+3
-3
src/frontends/aadl/ocarina-fe_aadl-parser-namespaces.adb
src/frontends/aadl/ocarina-fe_aadl-parser-namespaces.adb
+13
-13
src/frontends/aadl/ocarina-fe_aadl-parser-namespaces.ads
src/frontends/aadl/ocarina-fe_aadl-parser-namespaces.ads
+7
-7
src/frontends/aadl/ocarina-fe_aadl-parser-properties.ads
src/frontends/aadl/ocarina-fe_aadl-parser-properties.ads
+6
-6
src/frontends/aadl/ocarina-fe_aadl-parser.ads
src/frontends/aadl/ocarina-fe_aadl-parser.ads
+2
-2
src/frontends/aadl/ocarina-fe_aadl-parser_errors.ads
src/frontends/aadl/ocarina-fe_aadl-parser_errors.ads
+2
-2
src/frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.ads
src/frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.ads
+2
-2
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.adb
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.adb
+6
-6
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.ads
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.ads
+2
-2
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.adb
...ontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.adb
+13
-13
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.ads
...ontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.ads
+13
-13
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.adb
...ontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.adb
+3
-3
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.ads
...ontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.ads
+4
-4
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.adb
...ends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.adb
+10
-10
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.ads
...ends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.ads
+2
-2
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.adb
...nds/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.adb
+8
-8
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.ads
...nds/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.ads
+2
-2
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser.ads
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser.ads
+3
-3
src/frontends/real/ocarina-fe_real-lexer.ads
src/frontends/real/ocarina-fe_real-lexer.ads
+3
-3
src/frontends/real/ocarina-fe_real-parser.ads
src/frontends/real/ocarina-fe_real-parser.ads
+3
-3
src/main/ocarina-scripts.adb
src/main/ocarina-scripts.adb
+1
-1
src/main/ocarina_cmd.adb
src/main/ocarina_cmd.adb
+3
-3
src/python/ocarina-utils.adb
src/python/ocarina-utils.adb
+1
-1
src/transfo/ocarina-transfo.ads
src/transfo/ocarina-transfo.ads
+3
-3
tools/mknodes/lexer.adb
tools/mknodes/lexer.adb
+15
-17
tools/mknodes/lexer.ads
tools/mknodes/lexer.ads
+5
-5
tools/mknodes/parser.adb
tools/mknodes/parser.adb
+178
-178
tools/mknodes/parser.ads
tools/mknodes/parser.ads
+58
-58
No files found.
src/backends/ocarina-backends-ada_tree-nutils.adb
View file @
90ab3209
...
...
@@ -38,7 +38,7 @@ with Charset; use Charset;
with
Locations
;
use
Locations
;
with
Ocarina
.
Namet
;
use
Ocarina
.
Namet
;
with
Ocarina
.
Output
;
use
Ocarina
.
Output
;
with
Types
;
use
Types
;
with
Ocarina
.
Types
;
use
Ocarina
.
Types
;
with
Utils
;
use
Utils
;
with
Ocarina
.
Backends
.
Ada_Values
;
use
Ocarina
.
Backends
.
Ada_Values
;
...
...
src/backends/ocarina-backends-asn1_tree-nutils.adb
View file @
90ab3209
...
...
@@ -405,7 +405,7 @@ package body Ocarina.Backends.ASN1_Tree.Nutils is
Set_Str_To_Name_Buffer
(
Image
(
T
));
Name
:=
Name_Find
;
Name
:=
Add_Suffix_To_Name
(
Keyword_Suffix
,
Name
);
Set_Name_Table_Byte
(
Name
,
Types
.
Byte
(
Token_Type
'
Pos
(
T
)
+
1
));
Set_Name_Table_Byte
(
Name
,
Ocarina
.
Types
.
Byte
(
Token_Type
'
Pos
(
T
)
+
1
));
Set_Str_To_Name_Buffer
(
Image
(
T
));
else
...
...
src/backends/ocarina-backends-c_tree-nutils.adb
View file @
90ab3209
...
...
@@ -1042,7 +1042,7 @@ package body Ocarina.Backends.C_Tree.Nutils is
Set_Str_To_Name_Buffer
(
Image
(
T
));
Name
:=
Name_Find
;
Name
:=
Add_Suffix_To_Name
(
Keyword_Suffix
,
Name
);
Set_Name_Table_Byte
(
Name
,
Types
.
Byte
(
Token_Type
'
Pos
(
T
)
+
1
));
Set_Name_Table_Byte
(
Name
,
Ocarina
.
Types
.
Byte
(
Token_Type
'
Pos
(
T
)
+
1
));
Set_Str_To_Name_Buffer
(
Image
(
T
));
else
...
...
@@ -1154,7 +1154,7 @@ package body Ocarina.Backends.C_Tree.Nutils is
is
Name
:
Name_Id
;
Test_Name
:
Name_Id
;
V
:
Types
.
Byte
;
V
:
Ocarina
.
Types
.
Byte
;
begin
Get_Name_String
(
Normalize_Name
(
N
,
Ada_Style
));
Name
:=
Name_Find
;
...
...
src/backends/ocarina-backends-mast_tree-nutils.adb
View file @
90ab3209
...
...
@@ -387,7 +387,7 @@ package body Ocarina.Backends.MAST_Tree.Nutils is
Set_Str_To_Name_Buffer
(
Image
(
T
));
Name
:=
Name_Find
;
Name
:=
Add_Suffix_To_Name
(
Keyword_Suffix
,
Name
);
Set_Name_Table_Byte
(
Name
,
Types
.
Byte
(
Token_Type
'
Pos
(
T
)
+
1
));
Set_Name_Table_Byte
(
Name
,
Ocarina
.
Types
.
Byte
(
Token_Type
'
Pos
(
T
)
+
1
));
Set_Str_To_Name_Buffer
(
Image
(
T
));
else
...
...
src/backends/ocarina-backends-pn-components.adb
View file @
90ab3209
...
...
@@ -70,19 +70,19 @@ package body Ocarina.Backends.PN.Components is
PN_Dup_Arc_Proc
:
PN_Dup_Arc
);
function
Process_Component_Instance
(
Instance
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
)
(
Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
)
return
Boolean
;
function
Process_Thread_Instance
(
Aadl_Instance
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
)
(
Aadl_Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
)
return
Boolean
;
procedure
PN_Process_Thread_Pattern
(
Aadl_Instance
:
Types
.
Node_Id
;
PN_Thread
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
(
Aadl_Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Thread
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
PN_P_Init_Proc
:
PN_Init_Node
;
PN_P_New_Proc
:
PN_New_Node
;
PN_T_Init_Proc
:
PN_Init_Node
;
...
...
@@ -91,9 +91,9 @@ package body Ocarina.Backends.PN.Components is
PN_A_New_Proc
:
PN_New_Node
);
procedure
PN_Thread_Skeleton
(
Aadl_Instance
:
Types
.
Node_Id
;
PN_Thread
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
(
Aadl_Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Thread
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
PN_P_Init_Proc
:
PN_Init_Node
;
PN_P_New_Proc
:
PN_New_Node
;
PN_T_Init_Proc
:
PN_Init_Node
;
...
...
@@ -102,10 +102,10 @@ package body Ocarina.Backends.PN.Components is
PN_A_New_Proc
:
PN_New_Node
);
procedure
PN_Build_Spg_Par
(
Aadl_Instance
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
Spg_Feat
:
Types
.
Node_Id
;
PN_Spg_Call
:
Types
.
Node_Id
;
(
Aadl_Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
Spg_Feat
:
Ocarina
.
Types
.
Node_Id
;
PN_Spg_Call
:
Ocarina
.
Types
.
Node_Id
;
In_Par
:
Boolean
:=
True
;
PN_P_Init_Proc
:
PN_Init_Node
;
PN_P_New_Proc
:
PN_New_Node
;
...
...
@@ -114,21 +114,21 @@ package body Ocarina.Backends.PN.Components is
PN_A_Init_Proc
:
PN_Init_Arc
;
PN_A_New_Proc
:
PN_New_Node
);
procedure
PN_Build_Port
(
Aadl_Instance
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
PN_Thread
:
Types
.
Node_Id
;
F
:
Types
.
Value_Id
);
procedure
PN_Build_Port
(
Aadl_Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
PN_Thread
:
Ocarina
.
Types
.
Node_Id
;
F
:
Ocarina
.
Types
.
Value_Id
);
procedure
PN_Build_Tpn_Port
(
Aadl_Instance
:
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
Port_Instance
:
Node_Id
;
PN_Port
:
Node_Id
;
Is_Data
:
Boolean
:=
True
);
procedure
PN_Build_Cpn_Port
(
Aadl_Instance
:
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
Port_Instance
:
Node_Id
;
PN_Port
:
Node_Id
;
Is_Data
:
Boolean
:=
True
);
...
...
@@ -138,9 +138,9 @@ package body Ocarina.Backends.PN.Components is
-----------------------------------
function
Process_Architecture_Instance
(
Architecture_Instance
:
Types
.
Node_Id
;
(
Architecture_Instance
:
Ocarina
.
Types
.
Node_Id
;
F
:
Unsigned_Long_Long
)
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
ME_AADL
.
AADL_Instances
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Iutils
;
...
...
@@ -1097,7 +1097,7 @@ package body Ocarina.Backends.PN.Components is
-- to in ports
declare
Port_Iter
:
Node_Id
;
Interconnection_Node
:
Types
.
Node_Id
;
Interconnection_Node
:
Ocarina
.
Types
.
Node_Id
;
Pop_Node
:
Node_Id
;
begin
if
not
Is_Empty
(
Out_Ports
(
Thread_Iter
))
then
...
...
@@ -1512,8 +1512,8 @@ package body Ocarina.Backends.PN.Components is
--------------------------------
function
Process_Component_Instance
(
Instance
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
)
(
Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
)
return
Boolean
is
use
Ocarina
.
ME_AADL
.
AADL_Instances
.
Entities
;
...
...
@@ -1565,8 +1565,8 @@ package body Ocarina.Backends.PN.Components is
-----------------------------
function
Process_Thread_Instance
(
Aadl_Instance
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
)
(
Aadl_Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
)
return
Boolean
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
...
...
@@ -1627,9 +1627,9 @@ package body Ocarina.Backends.PN.Components is
-------------------------------------
procedure
PN_Process_Thread_Pattern
(
Aadl_Instance
:
Types
.
Node_Id
;
PN_Thread
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
(
Aadl_Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Thread
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
PN_P_Init_Proc
:
PN_Init_Node
;
PN_P_New_Proc
:
PN_New_Node
;
PN_T_Init_Proc
:
PN_Init_Node
;
...
...
@@ -2223,7 +2223,7 @@ package body Ocarina.Backends.PN.Components is
Get_String_Name
(
"_Clock"
));
Clock_T_Pattern
:
constant
Clock_Pattern
:=
(
1
=>
Get_String_Name
(
"_Period_Event"
));
P
,
T
,
A
:
Types
.
Node_Id
;
P
,
T
,
A
:
Ocarina
.
Types
.
Node_Id
;
PN_Period
:
Time_Type
;
PN_Hyperperiod
:
Value_Type
;
B
:
Boolean
:=
True
;
...
...
@@ -2314,7 +2314,7 @@ package body Ocarina.Backends.PN.Components is
-- set place initial marking
declare
P
:
Types
.
Node_Id
;
P
:
Ocarina
.
Types
.
Node_Id
;
begin
P
:=
OPN
.
First_Node
(
Internal_Places
(
PN_Thread
));
-- Halted place
...
...
@@ -2460,10 +2460,10 @@ package body Ocarina.Backends.PN.Components is
------------------------
procedure
PN_Build_Spg_Par
(
Aadl_Instance
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
Spg_Feat
:
Types
.
Node_Id
;
PN_Spg_Call
:
Types
.
Node_Id
;
(
Aadl_Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
Spg_Feat
:
Ocarina
.
Types
.
Node_Id
;
PN_Spg_Call
:
Ocarina
.
Types
.
Node_Id
;
In_Par
:
Boolean
:=
True
;
PN_P_Init_Proc
:
PN_Init_Node
;
PN_P_New_Proc
:
PN_New_Node
;
...
...
@@ -2588,10 +2588,10 @@ package body Ocarina.Backends.PN.Components is
-- PN_Build_Port --
---------------------
procedure
PN_Build_Port
(
Aadl_Instance
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
PN_Thread
:
Types
.
Node_Id
;
F
:
Types
.
Value_Id
)
procedure
PN_Build_Port
(
Aadl_Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
PN_Thread
:
Ocarina
.
Types
.
Node_Id
;
F
:
Ocarina
.
Types
.
Value_Id
)
is
use
Ocarina
.
Namet
;
...
...
@@ -2686,7 +2686,7 @@ package body Ocarina.Backends.PN.Components is
procedure
PN_Build_Tpn_Port
(
Aadl_Instance
:
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
Port_Instance
:
Node_Id
;
PN_Port
:
Node_Id
;
Is_Data
:
Boolean
:=
True
)
...
...
@@ -2854,7 +2854,7 @@ package body Ocarina.Backends.PN.Components is
procedure
PN_Build_Cpn_Port
(
Aadl_Instance
:
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
Port_Instance
:
Node_Id
;
PN_Port
:
Node_Id
;
Is_Data
:
Boolean
:=
True
)
...
...
@@ -3171,9 +3171,9 @@ package body Ocarina.Backends.PN.Components is
--------------------------
procedure
PN_Thread_Skeleton
(
Aadl_Instance
:
Types
.
Node_Id
;
PN_Thread
:
Types
.
Node_Id
;
PN_Generated
:
Types
.
Node_Id
;
(
Aadl_Instance
:
Ocarina
.
Types
.
Node_Id
;
PN_Thread
:
Ocarina
.
Types
.
Node_Id
;
PN_Generated
:
Ocarina
.
Types
.
Node_Id
;
PN_P_Init_Proc
:
PN_Init_Node
;
PN_P_New_Proc
:
PN_New_Node
;
PN_T_Init_Proc
:
PN_Init_Node
;
...
...
@@ -3198,7 +3198,7 @@ package body Ocarina.Backends.PN.Components is
T_Local_Skeleton
:
constant
Thread_Pattern
:=
(
1
=>
Get_String_Name
(
"_Init_Dispatch"
));
P
,
T
,
A
:
Types
.
Node_Id
;
P
,
T
,
A
:
Ocarina
.
Types
.
Node_Id
;
begin
-- local places
for
PN
in
P_Skeleton
'
First
..
P_Skeleton
'
Last
loop
...
...
src/backends/ocarina-backends-pn-components.ads
View file @
90ab3209
...
...
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
2
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
4
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
...
...
@@ -34,31 +34,31 @@
package
Ocarina
.
Backends
.
PN
.
Components
is
function
Process_Architecture_Instance
(
Architecture_Instance
:
Types
.
Node_Id
;
(
Architecture_Instance
:
Ocarina
.
Types
.
Node_Id
;
F
:
Unsigned_Long_Long
)
-- 0 for CPN, 1 for TPN
return
Types
.
Node_Id
;
return
Ocarina
.
Types
.
Node_Id
;
-- Transform the Ocarina tree of the distributed application nodes
-- into a Petri Net (pn) tree.
private
type
PN_Init_Node
is
access
procedure
(
N
:
Types
.
Node_Id
;
A
:
Types
.
Node_Id
;
Name
:
Types
.
Name_Id
;
PN_G
:
Types
.
Node_Id
;
type
PN_Init_Node
is
access
procedure
(
N
:
Ocarina
.
Types
.
Node_Id
;
A
:
Ocarina
.
Types
.
Node_Id
;
Name
:
Ocarina
.
Types
.
Name_Id
;
PN_G
:
Ocarina
.
Types
.
Node_Id
;
M
:
Unsigned_Long_Long
);
type
PN_Init_Arc
is
access
procedure
(
N
:
Types
.
Node_Id
;
A
:
Types
.
Node_Id
;
F
:
Types
.
Node_Id
;
T
:
Types
.
Node_Id
;
type
PN_Init_Arc
is
access
procedure
(
N
:
Ocarina
.
Types
.
Node_Id
;
A
:
Ocarina
.
Types
.
Node_Id
;
F
:
Ocarina
.
Types
.
Node_Id
;
T
:
Ocarina
.
Types
.
Node_Id
;
K
:
Unsigned_Long_Long
);
type
PN_Dup_Arc
is
access
procedure
(
A
:
Types
.
Node_Id
;
A_Inst
:
Types
.
Node_Id
;
Endpoint
:
Types
.
Node_Id
;
type
PN_Dup_Arc
is
access
procedure
(
A
:
Ocarina
.
Types
.
Node_Id
;
A_Inst
:
Ocarina
.
Types
.
Node_Id
;
Endpoint
:
Ocarina
.
Types
.
Node_Id
;
From
:
Boolean
);
type
PN_New_Node
is
access
function
return
Types
.
Node_Id
;
type
PN_New_Node
is
access
function
return
Ocarina
.
Types
.
Node_Id
;
end
Ocarina
.
Backends
.
PN
.
Components
;
src/backends/ocarina-backends-pn-iutils.adb
View file @
90ab3209
...
...
@@ -56,8 +56,8 @@ package body Ocarina.Backends.PN.Iutils is
--------------------------
procedure
PN_Init_PN_Generated
(
G
:
Types
.
Node_Id
;
F
:
Types
.
Value_Id
)
(
G
:
Ocarina
.
Types
.
Node_Id
;
F
:
Ocarina
.
Types
.
Value_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -90,7 +90,7 @@ package body Ocarina.Backends.PN.Iutils is
-----------------------------
function
PN_Get_New_PN_Generated
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nutils
;
use
Ocarina
.
Backends
.
PN
.
Nodes
;
...
...
@@ -111,7 +111,7 @@ package body Ocarina.Backends.PN.Iutils is
---------------------------------
function
PN_Get_New_TPN_Informations
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nutils
;
use
Ocarina
.
Backends
.
PN
.
Nodes
;
...
...
@@ -131,7 +131,7 @@ package body Ocarina.Backends.PN.Iutils is
-----------------------------------
function
PN_Get_New_Processor_Priority
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nutils
;
use
Ocarina
.
Backends
.
PN
.
Nodes
;
...
...
@@ -146,8 +146,8 @@ package body Ocarina.Backends.PN.Iutils is
--------------------------------
procedure
PN_Init_Processor_Priority
(
PN_Proc
:
Types
.
Node_Id
;
Aadl_P
:
Types
.
Node_Id
)
(
PN_Proc
:
Ocarina
.
Types
.
Node_Id
;
Aadl_P
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nutils
;
use
Ocarina
.
Backends
.
PN
.
Nodes
;
...
...
@@ -161,8 +161,8 @@ package body Ocarina.Backends.PN.Iutils is
-------------------------------
procedure
Append_Trans_To_Processor
(
PN_T
:
Types
.
Node_Id
;
PN_Proc
:
Types
.
Node_Id
)
(
PN_T
:
Ocarina
.
Types
.
Node_Id
;
PN_Proc
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nutils
;
use
Ocarina
.
Backends
.
PN
.
Nodes
;
...
...
@@ -280,7 +280,7 @@ package body Ocarina.Backends.PN.Iutils is
----------------------------------
function
PN_Get_New_Processor_Pattern
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -295,8 +295,8 @@ package body Ocarina.Backends.PN.Iutils is
-------------------------------
procedure
PN_Init_Processor_Pattern
(
PN_Proc
:
Types
.
Node_Id
;
Aadl_P
:
Types
.
Node_Id
)
(
PN_Proc
:
Ocarina
.
Types
.
Node_Id
;
Aadl_P
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -317,7 +317,7 @@ package body Ocarina.Backends.PN.Iutils is
-------------------------------
function
PN_Get_New_Thread_Pattern
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -332,8 +332,8 @@ package body Ocarina.Backends.PN.Iutils is
----------------------------
procedure
PN_Init_Thread_Pattern
(
PN_T
:
Types
.
Node_Id
;
Aadl_T
:
Types
.
Node_Id
)
(
PN_T
:
Ocarina
.
Types
.
Node_Id
;
Aadl_T
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -358,7 +358,7 @@ package body Ocarina.Backends.PN.Iutils is
-----------------------------
function
PN_Get_New_Port_Pattern
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -373,8 +373,8 @@ package body Ocarina.Backends.PN.Iutils is
--------------------------
procedure
PN_Init_Port_Pattern
(
PN_P
:
Types
.
Node_Id
;
Aadl_P
:
Types
.
Node_Id
)
(
PN_P
:
Ocarina
.
Types
.
Node_Id
;
Aadl_P
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -397,7 +397,7 @@ package body Ocarina.Backends.PN.Iutils is
-------------------------------
function
PN_Get_New_D_Port_Pattern
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -412,8 +412,8 @@ package body Ocarina.Backends.PN.Iutils is
----------------------------
procedure
PN_Init_D_Port_Pattern
(
PN_DP
:
Types
.
Node_Id
;
Aadl_DP
:
Types
.
Node_Id
)
(
PN_DP
:
Ocarina
.
Types
.
Node_Id
;
Aadl_DP
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -431,7 +431,7 @@ package body Ocarina.Backends.PN.Iutils is
--------------------------------
function
PN_Get_New_ED_Port_Pattern
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -446,8 +446,8 @@ package body Ocarina.Backends.PN.Iutils is
-----------------------------
procedure
PN_Init_ED_Port_Pattern
(
PN_DEP
:
Types
.
Node_Id
;
Aadl_DEP
:
Types
.
Node_Id
)
(
PN_DEP
:
Ocarina
.
Types
.
Node_Id
;
Aadl_DEP
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -469,7 +469,7 @@ package body Ocarina.Backends.PN.Iutils is
---------------------------------
function
PN_Get_New_Call_Seq_Pattern
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -485,8 +485,8 @@ package body Ocarina.Backends.PN.Iutils is
------------------------------
procedure
PN_Init_Call_Seq_Pattern
(
PN_CS
:
Types
.
Node_Id
;
Aadl_T
:
Types
.
Node_Id
)
(
PN_CS
:
Ocarina
.
Types
.
Node_Id
;
Aadl_T
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -505,7 +505,7 @@ package body Ocarina.Backends.PN.Iutils is
----------------------------
function
PN_Get_New_Spg_Pattern
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -520,8 +520,8 @@ package body Ocarina.Backends.PN.Iutils is
-------------------------
procedure
PN_Init_Spg_Pattern
(
PN_Spg
:
Types
.
Node_Id
;
Aadl_Spg
:
Types
.
Node_Id
)
(
PN_Spg
:
Ocarina
.
Types
.
Node_Id
;
Aadl_Spg
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -539,7 +539,7 @@ package body Ocarina.Backends.PN.Iutils is
--------------------------------
function
PN_Get_New_Spg_Par_Pattern
return
Types
.
Node_Id
return
Ocarina
.
Types
.
Node_Id
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -554,8 +554,8 @@ package body Ocarina.Backends.PN.Iutils is
-----------------------------
procedure
PN_Init_Spg_Par_Pattern
(
PN_Spg_Par
:
Types
.
Node_Id
;
Aadl_Spg_Par
:
Types
.
Node_Id
)
(
PN_Spg_Par
:
Ocarina
.
Types
.
Node_Id
;
Aadl_Spg_Par
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -572,8 +572,8 @@ package body Ocarina.Backends.PN.Iutils is
--------------------------
procedure
PN_Init_PN_Component
(
PN_C
:
Types
.
Node_Id
;
Aadl_C
:
Types
.
Node_Id
)
(
PN_C
:
Ocarina
.
Types
.
Node_Id
;
Aadl_C
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -597,9 +597,9 @@ package body Ocarina.Backends.PN.Iutils is
---------------------
procedure
PN_Init_PN_Node
(
PN_N
:
Types
.
Node_Id
;
Aadl_N
:
Types
.
Node_Id
;
Name
:
Types
.
Name_id
)
(
PN_N
:
Ocarina
.
Types
.
Node_Id
;
Aadl_N
:
Ocarina
.
Types
.
Node_Id
;
Name
:
Ocarina
.
Types
.
Name_id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
...
...
@@ -632,7 +632,7 @@ package body Ocarina.Backends.PN.Iutils is
-- PN_Init_Node --
------------------
procedure
PN_Init_Node
(
N
:
Types
.
Node_Id
)
is
procedure
PN_Init_Node
(
N
:
Ocarina
.
Types
.
Node_Id
)
is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
begin
...
...
@@ -646,10 +646,10 @@ package body Ocarina.Backends.PN.Iutils is
-------------------------
procedure
PN_TPN_Init_Place
(
P
:
Types
.
Node_Id
;
Aadl
:
Types
.
Node_Id
;
Name
:
Types
.
Name_Id
;
PN_G
:
Types
.
Node_Id
;
(
P
:
Ocarina
.
Types
.
Node_Id
;
Aadl
:
Ocarina
.
Types
.
Node_Id
;
Name
:
Ocarina
.
Types
.
Name_Id
;