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/ag/main.ag.pp

    r383 r399  
    3636      ${procedure_declaration.corresponding_type} := null;
    3737.)
     38
     39Synthesized attributes
     40  subtype_indication
     41   : Gela.Semantic_Types.Type_Index : type_index;
     42
     43Rules for subtype_indication. :
     44(.
     45      ${subtype_indication.type_index} :=
     46        Self.Compilation.Context.Types.Type_From_Subtype_Mark (Subtype_Mark);
     47.)
Note: See TracChangeset for help on using the changeset viewer.