source: trunk/ada-2012/src/semantic/gela-int-tuples.ads@ 552

Last change on this file since 552 was 415, checked in by Maxim Reznik, 7 years ago

Set svn:keywords

  • Property svn:keywords set to Author Date Revision
File size: 831 bytes
Line 
1package Gela.Int.Tuples is
2 pragma Preelaborate;
3
4 type Tuple (<>) is new Interpretation with private;
5
6 function Create
7 (Value : Gela.Interpretations.Interpretation_Set_Index_Array)
8 return Tuple;
9
10 function Value
11 (Self : Tuple) return Gela.Interpretations.Interpretation_Set_Index_Array;
12
13 type Chosen_Tuple is new Interpretation with null record;
14
15private
16
17 type Tuple (Length : Natural; Size : Positive) is
18 new Interpretation (Length) with
19 record
20 Value : Gela.Interpretations.Interpretation_Set_Index_Array (1 .. Size);
21 end record;
22
23 overriding procedure Visit
24 (Self : Tuple;
25 Visiter : access Gela.Int.Visiters.Visiter'Class);
26
27 overriding procedure Visit
28 (Self : Chosen_Tuple;
29 Visiter : access Gela.Int.Visiters.Visiter'Class);
30
31end Gela.Int.Tuples;
Note: See TracBrowser for help on using the repository browser.