* Update resolution algorithm to look up also in colocated

          subcomponents



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5584 129961e7-ef38-4bb5-a8f7-c9a525a55882

src/core/model/ocarina-analyzer-aadl-links.adb

@@ -2790,13 +2790,30 @@ package body Ocarina.Analyzer.AADL.Links is
                           (Corresponding_Container,
                            Item (List_Node));
                      when AADL_V2 =>
+                        --  Search in subclause
+
                         Pointed_Node := Find_Subclause
                           (Corresponding_Container, List_Node);
 
+                        --  then in features
+
                         if No (Pointed_Node) then
                            Pointed_Node := Find_Feature
                              (Corresponding_Container, List_Node);
                         end if;
+
+                        --  in the case of property applied directly
+                        --  to a subcomponent, then we need to check
+                        --  whether the property refers to a colocated
+                        --  subcomponent.
+
+                        if No (Pointed_Node) then
+                           Pointed_Node :=
+                             Find_Subcomponent
+                             (Corresponding_Entity
+                                (Scope_Entity (Identifier (Container))),
+                              List_Node);
+                        end if;
                   end case;
 
                else