Ignore:
Timestamp:
Feb 16, 2015, 6:35:11 AM (5 years ago)
Author:
Maxim Reznik
Message:

Make distinction between index and disriminant constraint

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/ada-2012/src/semantic/gela-plain_type_managers.adb

    r396 r399  
    22with Gela.Element_Factories;
    33with Gela.Element_Visiters;
     4with Gela.Elements.Component_Declarations;
     5with Gela.Elements.Component_Definitions;
    46with Gela.Elements.Defining_Identifiers;
     7with Gela.Elements.Discriminant_Specifications;
     8with Gela.Elements.Identifiers;
    59with Gela.Elements.Object_Declarations;
    610with Gela.Elements.Object_Definitions;
    711with Gela.Elements.Record_Type_Definitions;
    812with Gela.Elements.Root_Type_Definitions;
     13with Gela.Elements.Subtype_Indication_Or_Access_Definitions;
    914with Gela.Elements.Subtype_Indications;
     15with Gela.Elements.Subtype_Mark_Or_Access_Definitions;
    1016with Gela.Elements.Type_Definitions;
     17with Gela.Elements.Unconstrained_Array_Definitions;
    1118with Gela.Plain_Type_Views;
    12 with Gela.Elements.Identifiers;
    13 with Gela.Elements.Discriminant_Specifications;
    14 with Gela.Elements.Subtype_Mark_Or_Access_Definitions;
    15 with Gela.Elements.Component_Declarations;
    16 with Gela.Elements.Component_Definitions;
    17 with Gela.Elements.Subtype_Indication_Or_Access_Definitions;
    1819
    1920package body Gela.Plain_Type_Managers is
     
    179180              Root_Type_Definition_Access);
    180181
     182         overriding procedure Unconstrained_Array_Definition
     183           (Self : in out Visiter;
     184            Node : not null Gela.Elements.Unconstrained_Array_Definitions.
     185              Unconstrained_Array_Definition_Access);
     186
    181187      end Visiters;
    182188
     
    228234            Self.Result := Node.Type_Kind;
    229235         end Root_Type_Definition;
     236
     237         overriding procedure Unconstrained_Array_Definition
     238           (Self : in out Visiter;
     239            Node : not null Gela.Elements.Unconstrained_Array_Definitions.
     240              Unconstrained_Array_Definition_Access) is
     241         begin
     242            Self.Result := Type_From_Declaration.Self.Get
     243              (Category => Gela.Type_Views.An_Other_Array,
     244               Decl     => Gela.Elements.Full_Type_Declarations.
     245                 Full_Type_Declaration_Access (Node.Enclosing_Element));
     246         end Unconstrained_Array_Definition;
     247
    230248      end Visiters;
    231249
Note: See TracChangeset for help on using the changeset viewer.