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
78b6cd55
Commit
78b6cd55
authored
Jun 18, 2014
by
yoogx
Browse files
* Revert previous changes
parent
3d9c83a8
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/backends/ocarina-backends-pn-components.adb
View file @
78b6cd55
...
...
@@ -180,9 +180,10 @@ package body Ocarina.Backends.PN.Components is
if
Instance
/=
No_Node
and
then
PN_Generated
/=
No_Node
then
Success
:=
Process_Component_Instance
(
Instance
,
PN_Generated
);
if
not
Success
then
return
No_Node
;
end
if
;
-- XXX ?
-- if not Success then
-- return No_Node;
-- end if;
end
if
;
-- assembly and final processing
...
...
@@ -202,9 +203,10 @@ package body Ocarina.Backends.PN.Components is
if
Instance
/=
No_Node
and
then
PN_Generated
/=
No_Node
then
Success
:=
Process_Component_Instance
(
Instance
,
PN_Generated
);
if
not
Success
then
return
No_Node
;
end
if
;
-- XXX ?
-- if not Success then
-- return No_Node;
-- end if;
end
if
;
-- assembly and final processing
...
...
src/backends/ocarina-backends-pn-iutils.adb
View file @
78b6cd55
...
...
@@ -661,9 +661,9 @@ package body Ocarina.Backends.PN.Iutils is
Set_Tokens_Number
(
P
,
New_Integer_Value
(
0
));
-- compilation
if
M
=
0
then
raise
Program_Error
;
-- XXX
end
if
;
--
if M = 0 then
--
null;
--
end if;
end
if
;
end
PN_TPN_Init_Place
;
...
...
@@ -711,7 +711,7 @@ package body Ocarina.Backends.PN.Iutils is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Aadl_Values
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
pragma
Unreferenced
(
M
);
begin
if
T
/=
No_Node
and
then
PN_G
/=
No_Node
then
PN_Init_Transition
(
T
,
Aadl
,
Name
);
...
...
@@ -725,9 +725,9 @@ package body Ocarina.Backends.PN.Iutils is
Set_Priority
(
T
,
New_Integer_Value
(
0
));
-- compilation
if
M
=
0
then
raise
Program_Error
;
-- XXX
end
if
;
--
if M = 0 then
--
raise Program_Error; -- XXX
--
end if;
end
if
;
end
PN_TPN_Init_Transition
;
...
...
@@ -1138,6 +1138,7 @@ package body Ocarina.Backends.PN.Iutils is
use
Ocarina
.
Backends
.
PN
.
Nodes
;
use
Ocarina
.
Aadl_Values
;
use
Ocarina
.
Backends
.
PN
.
Nutils
;
pragma
Unreferenced
(
M
);
begin
if
T
/=
No_Node
and
then
PN_G
/=
No_Node
then
...
...
@@ -1147,9 +1148,9 @@ package body Ocarina.Backends.PN.Iutils is
Set_Guards
(
T
,
New_List
(
K_List_Id
));
-- compilation
if
M
=
0
then
raise
Program_Error
;
-- XXX
end
if
;
--
if M = 0 then
--
raise Program_Error; -- XXX
--
end if;
end
if
;
end
PN_CPN_Init_Transition
;
...
...
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