Changeset 552 for trunk/ada-2012/src/semantic/gela-plain_type_views.adb

Timestamp:

Jun 30, 2018, 9:31:03 AM (4 years ago)

Author:

Maxim Reznik

Message:

Add Is_The_Same_Type function

File:

• trunk/ada-2012/src/semantic/gela-plain_type_views.adb (modified) (2 diffs)

trunk/ada-2012/src/semantic/gela-plain_type_views.adb

@@ -444 +444 @@
       Matcher : Visitors.Type_Visitor;
    begin
-      if Expected.all in Type_View'Class and then
-        Self.Def = Type_View'Class (Expected.all).Def
-      then
+      if Self.Is_The_Same_Type (Expected.all) then
          return True;
       end if;
@@ -543 +541 @@
         | Gela.Type_Categories.An_Universal_Integer;
    end Is_Signed_Integer;
+
+   ----------------------
+   -- Is_The_Same_Type --
+   ----------------------
+
+   overriding function Is_The_Same_Type
+     (Left  : Type_View;
+      Right : Gela.Types.Type_View'Class) return Boolean
+   is
+      use type Gela.Elements.Defining_Names.Defining_Name_Access;
+   begin
+      if Right in Type_View'Class then
+         return Left.Name = Type_View'Class (Right).Name;
+      end if;
+
+      return False;
+   end Is_The_Same_Type;
 
    ------------------