Skip to content
GitLab
Commit 37ff590f authored by yoogx's avatar yoogx
Browse files

* Solved minor bugs in instanciation and finder

parent 5f951c1a
Show whitespace changes
Inline Side-by-side
src/core/instance/ocarina-instances-properties.adb
View file @ 37ff590f
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2005-2009 Telecom ParisTech, 2010-2015 ESA & ISAE. --
-- Copyright (C) 2005-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- --
......@@ -185,7 +185,7 @@ package body Ocarina.Instances.Properties is
(Instance_Root,
ATN.Property_Association_Value (Property_Association),
Entity_Instance,
ATN.Property_Association_Value (Property_Instance)));
AIN.Property_Association_Value (Property_Instance)));
else
Property_Instance :=
......
src/core/model/ocarina-analyzer-aadl-finder.adb
View file @ 37ff590f
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2015 ESA & ISAE. --
-- Copyright (C) 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- --
......@@ -819,6 +819,7 @@ package body Ocarina.Analyzer.AADL.Finder is
while Present (List_Node) loop
if Component_Category'Val (Category (List_Node)) = CC_System
and then Kind (List_Node) = K_Component_Implementation
and then Is_Empty
(Features
(Corresponding_Entity (Component_Type_Identifier (List_Node))))
......
Supports Markdown
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