Changeset 2567

Timestamp:

12/04/07 10:29:12 (1 year ago)

Author:

maxr

Message:

ada-2005: part of name resolution rule 4.5.2(9.1/2)

Files:

• branches/ada-2005/tendra/src/producers/ada/asis/asis-gela-overloads-walk-up.adb (modified) (2 diffs)

branches/ada-2005/tendra/src/producers/ada/asis/asis-gela-overloads-walk-up.adb

@@ -1184 +1184 @@
-      end Check_Slice_Index;
-
+      ----------------------------
+      -- Is_Universal_Access_Eq --
+      ----------------------------
+
+      function Is_Universal_Access_Eq (Op : Asis.Declaration) return Boolean is
+         Name : constant Asis.Defining_Name := Asis.Declarations.Names (Op)(1);
+         Tipe : Asis.Definition;
+         Decl : Asis.Declaration;
+      begin
+         if Defining_Name_Kind (Name) = A_Defining_Operator_Symbol and then
+           Is_Part_Of_Implicit (Op)
+         then
+            Tipe := Asis.Declarations.Corresponding_Type (Op);
+            Decl := Enclosing_Element (Tipe);
+
+            return Is_Equal (Decl, XASIS.Types.Universal_Access);
+         end if;
+
+         return False;
+      end Is_Universal_Access_Eq;
+
+      function Check_Universal_Access_Eq  --  ARM 4.5.2 (9.1/2)
+        (Name : Up_Interpretation) return Boolean
+      is
+      begin
+         if Name.Kind /= A_Declaration or else
+           not Is_Universal_Access_Eq (Name.Declaration)
+         then
+            return True;
+         end if;
+
+         if not Is_Anonymous_Access (Stored.Real_Types (1))
+           and then not Is_Anonymous_Access (Stored.Real_Types (2))
+         then
+            return False;
+         end if;
+
+         if Is_Expanded_Name (Asis.Expressions.Prefix (Element)) then
+            return True;
+         end if;
+
+         --  TODO rest of rule
+         return True;
+      end Check_Universal_Access_Eq;
+
-   begin  --  Up_Function_Call
-      for I in reverse Sets'Range loop
@@ -1198 +1243 @@
-         Get (Names, I, Name);
-
-
+
+
+
-         then
-            Tipe := Get_Result_Profile (Name, Element);