Commit ac79467d authored by Maxime Perrotin's avatar Maxime Perrotin
parents 918eb5eb ea80d6b0
This diff is collapsed.
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-2017 ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-2018 ESA & ISAE. --
-- --
-- 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- --
......@@ -206,7 +206,6 @@ package body Ocarina.BE_AADL.Namespaces is
if Has_Public or else
not Is_Empty (Ocarina.ME_AADL.AADL_Tree.Nodes.Annexes (Node))
then
Write_Eol;
Print_Token (T_Public);
Write_Eol;
end if;
......@@ -381,6 +380,9 @@ package body Ocarina.BE_AADL.Namespaces is
if not Is_Empty
(Ocarina.ME_AADL.AADL_Tree.Nodes.Properties (Node))
then
Print_Token (T_Properties);
Write_Eol;
List_Node :=
First_Node (Ocarina.ME_AADL.AADL_Tree.Nodes.Properties (Node));
......
......@@ -327,6 +327,7 @@ tests/github/issue_66/test.aadl
tests/github/issue_87/test.aadl
tests/github/issue_174/test.aadl
tests/github/issue_177/test.aadl
tests/github/issue_179/t.aadl
tests/root_system/test.aadl
......
AADL_VERSION=-aadlv2
OCARINA_FLAGS= -f -g aadl
property set ps is
foo : aadlstring applies to (package);
end ps;
package p
public
with ps;
system s end s;
system implementation s.i end s.i;
properties
ps::foo => "bar";
end p;
\ No newline at end of file
This diff is collapsed.
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