* Continue processing of record elements, case of property

definition declaration For issue #17

* Continue processing of record elements, case of property
definition declaration For issue #17
8d493901 · yoogx · 78b0160b · 8d493901
Commit 8d493901 authored May 16, 2015 by yoogx
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletion

src/core/model/ocarina-analyzer-aadl-links.adb src/core/model/ocarina-analyzer-aadl-links.adb +4 -1

No files found.
--- a/src/core/model/ocarina-analyzer-aadl-links.adb
+++ b/src/core/model/ocarina-analyzer-aadl-links.adb
@@ -2581,7 +2581,10 @@ package body Ocarina.Analyzer.AADL.Links is
                     Message1 => "does not point to anything");
                  Success := False;

-               elsif Kind (Pointed_Node) /= K_Property_Type_Declaration then
+               elsif (Kind (Pointed_Node) /= K_Property_Type_Declaration
+                        and then Kind (Pointed_Node)
+                        /= K_Property_Definition_Declaration)
+               then
                  DAE
                    (Node1    => Node,
                     Message1 => " points to ",