Commit 967045c9 authored by yoogx's avatar yoogx
Browse files

* Minor reformatting

parent ad6b5a38
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- B o d y -- -- B o d y --
-- -- -- --
-- Copyright (C) 2005-2009 Telecom ParisTech, 2010-2012 ESA & ISAE. -- -- Copyright (C) 2005-2009 Telecom ParisTech, 2010-2013 ESA & ISAE. --
-- -- -- --
-- Ocarina is free software; you can redistribute it and/or modify -- -- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the -- -- it under terms of the GNU General Public License as published by the --
...@@ -1433,12 +1433,13 @@ package body Ocarina.Backends.Utils is ...@@ -1433,12 +1433,13 @@ package body Ocarina.Backends.Utils is
----------------------------------- -----------------------------------
function Map_Ada_Subprogram_Identifier (E : Node_Id) return Node_Id is function Map_Ada_Subprogram_Identifier (E : Node_Id) return Node_Id is
pragma Assert (Is_Thread (E)
or else Is_Subprogram (E)
or else Kind (E) = K_Port_Spec_Instance);
Spg_Name : Name_Id; Spg_Name : Name_Id;
begin
pragma Assert (Is_Thread (E) or else
Is_Subprogram (E) or else
Kind (E) = K_Port_Spec_Instance);
begin
if Is_Subprogram (E) if Is_Subprogram (E)
and then Get_Source_Language (E) /= Language_Ada_95 and then Get_Source_Language (E) /= Language_Ada_95
then then
...@@ -1451,8 +1452,10 @@ package body Ocarina.Backends.Utils is ...@@ -1451,8 +1452,10 @@ package body Ocarina.Backends.Utils is
if Is_Subprogram (E) then if Is_Subprogram (E) then
Spg_Name := Get_Source_Name (E); Spg_Name := Get_Source_Name (E);
elsif Is_Thread (E) then elsif Is_Thread (E) then
Spg_Name := Get_Thread_Compute_Entrypoint (E); Spg_Name := Get_Thread_Compute_Entrypoint (E);
else else
Spg_Name := Get_Port_Compute_Entrypoint (E); Spg_Name := Get_Port_Compute_Entrypoint (E);
end if; end if;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment