Commit a9a5a33a authored by yoogx's avatar yoogx
Browse files

* Minor reformatting

parent 333b9aac
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- B o d y -- -- B o d y --
-- -- -- --
-- Copyright (C) 2014-2015 ESA & ISAE. -- -- Copyright (C) 2014-2016 ESA & ISAE. --
-- -- -- --
-- Ocarina is free software; you can redistribute it and/or modify under -- -- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -126,8 +126,8 @@ package body Ocarina.Backends.Alloy is ...@@ -126,8 +126,8 @@ package body Ocarina.Backends.Alloy is
(Get_Name_String (Get_Name_String
(Normalize_Name (Fully_Qualified_Instance_Name (E)))) & (Normalize_Name (Fully_Qualified_Instance_Name (E)))) &
" extends Component{}{"); " extends Component{}{");
else else
Put_Line (Kind (E)'Img);
Root_System_Name := Normalize_Name (Display_Name (Identifier (E))); Root_System_Name := Normalize_Name (Display_Name (Identifier (E)));
Put_Line Put_Line
...@@ -135,7 +135,6 @@ package body Ocarina.Backends.Alloy is ...@@ -135,7 +135,6 @@ package body Ocarina.Backends.Alloy is
"one sig " & "one sig " &
To_Lower (Get_Name_String (Root_System_Name)) & To_Lower (Get_Name_String (Root_System_Name)) &
" extends Component{}{"); " extends Component{}{");
end if; end if;
Put_Line Put_Line
...@@ -172,7 +171,7 @@ package body Ocarina.Backends.Alloy is ...@@ -172,7 +171,7 @@ package body Ocarina.Backends.Alloy is
Put_Line (FD, "none"); Put_Line (FD, "none");
end if; end if;
-- Rule#3: list properties -- Rule #3: list properties
Put (FD, ASCII.HT & "properties="); Put (FD, ASCII.HT & "properties=");
if Present (AIN.Properties (E)) then if Present (AIN.Properties (E)) then
......
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