Changeset 514


Ignore:
Timestamp:
Aug 20, 2017, 11:19:52 AM (5 years ago)
Author:
Maxim Reznik
Message:

Add new test

Location:
trunk/ada-2012
Files:
3 added
8 edited

Legend:

Unmodified
Added
Removed
  • trunk/ada-2012/src/ag/down.ag

    r500 r514  
    197197Rules for component_clause. :
    198198(.
    199       ${Representation_Clause_Name.Down} := 0;  --  FIXME
     199      Gela.Pass_Utils.Resolve.Interpretation
     200        (Self.Compilation,
     201         ${component_clause.env_in},
     202         ${Representation_Clause_Name.Up},
     203         ${Representation_Clause_Name.Down});
    200204.)
    201205
  • trunk/ada-2012/src/ag/env_out.ag

    r499 r514  
    428428Rules for derived_type_definition. :
    429429(.
    430       ${derived_type_definition.env_out} := ${derived_type_definition.env_in};
     430      Gela.Pass_Utils.Inheritance.Environment
     431        (Self.Compilation,
     432         Node,
     433         ${derived_type_definition.env_in},
     434         ${derived_type_definition.env_out});
    431435.)
    432436
  • trunk/ada-2012/src/ag/main.ag.pp

    r496 r514  
    99#include "def_name.ag"
    1010#include "inst.ag"
     11#include "inherited.ag"
    1112#include "errors.ag"
    1213#include "static_value.ag"
  • trunk/ada-2012/src/semantic/gela-pass_utils.ads

    r497 r514  
    1616with Gela.Semantic_Types;
    1717with Gela.Resolve;
     18with Gela.Inheritance;
    1819with Gela.Instantiation;
    1920with Gela.Interpretations;
     
    2425   package Resolve renames Gela.Resolve;
    2526   package Instantiation renames Gela.Instantiation;
     27   package Inheritance renames Gela.Inheritance;
    2628
    2729   function Add_Name_Create_Region
  • trunk/ada-2012/src/semantic/gela-property_resets.adb

    r512 r514  
    184184   end On_Index;
    185185
     186   -----------------
     187   -- On_Inh_List --
     188   -----------------
     189
     190   overriding procedure On_Inh_List
     191     (Self    : in out Property_Reset;
     192      Element : Gela.Elements.Element_Access;
     193      Value   : out Gela.Elements.Element_Sequence_Access)
     194   is
     195      pragma Unreferenced (Element);
     196   begin
     197      Value := Self.Inh_List;
     198   end On_Inh_List;
     199
    186200   --------------------------
    187201   -- On_Limited_With_List --
  • trunk/ada-2012/src/semantic/gela-property_resets.ads

    r512 r514  
    2323      Up_Set        : Gela.Interpretations.Interpretation_Set_Index := 0;
    2424      Up_Tuple      : Gela.Interpretations.Interpretation_Tuple_Index := 0;
     25      Inh_List      : Gela.Elements.Element_Sequence_Access;
    2526
    2627      Name_List     : Gela.Lexical_Types.Symbol_List :=
     
    157158      Value   : out Gela.Interpretations.Interpretation_Kinds);
    158159
     160   overriding procedure On_Inh_List
     161     (Self    : in out Property_Reset;
     162      Element : Gela.Elements.Element_Access;
     163      Value   : out Gela.Elements.Element_Sequence_Access);
     164
    159165end Gela.Property_Resets;
  • trunk/ada-2012/tests/asis/def_name/def_name.adb

    r489 r514  
    118118      Result.Append (Asis.ASIS_Natural'Wide_Wide_Image (Span.First_Column));
    119119      Result.Append (" => ");
     120
     121      if Asis.Elements.Is_Part_Of_Inherited (Def) then
     122         Result.Append ("#");
     123      end if;
    120124
    121125      while Asis.Elements.Is_Part_Of_Instance (Def) loop
  • trunk/ada-2012/tests/asis/def_name/list.txt

    r494 r514  
    1616./A/A49027A.ADA +3286192145
    1717./A/A49027B.ADA +1672255364
    18 ./A/A49027C.ADA 3780610397
     18./A/A49027C.ADA +1618148859
    1919./A/A54B01A.ADA 2038309267
    2020./A/A54B02A.ADA 2871982879
Note: See TracChangeset for help on using the changeset viewer.