aboutsummaryrefslogtreecommitdiffstats
path: root/src/ortho/mcode/ortho_ident.adb
blob: 9b5a36ed08b7ef3795fa80a4b34509aea88d9564 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
--  Mcode back-end for ortho.
--  Copyright (C) 2006 Tristan Gingold
--
--  GHDL is free software; you can redistribute it and/or modify it under
--  the terms of the GNU General Public License as published by the Free
--  Software Foundation; either version 2, or (at your option) any later
--  version.
--
--  GHDL is distributed in the hope that it will be useful, but WITHOUT ANY
--  WARRANTY; without even the implied warranty of MERCHANTABILITY or
--  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
--  for more details.
--
--  You should have received a copy of the GNU General Public License
--  along with GCC; see the file COPYING.  If not, write to the Free
--  Software Foundation, 59 Temple Place - Suite 330, Boston, MA
--  02111-1307, USA.
with Ada.Text_IO;
with Tables;

package body Ortho_Ident is
   package Ids is new Tables
     (Table_Component_Type => Natural,
      Table_Index_Type => O_Ident,
      Table_Low_Bound => 2,
      Table_Initial => 128);

   package Strs is new Tables
     (Table_Component_Type => Character,
      Table_Index_Type => Natural,
      Table_Low_Bound => 2,
      Table_Initial => 128);

   function Get_Identifier (Str : String) return O_Ident
   is
      Start : Natural;
   begin
      Start := Strs.Allocate (Str'Length + 1);
      for I in Str'Range loop
         Strs.Table (Start + I - Str'First) := Str (I);
      end loop;
      Strs.Table (Start + Str'Length) := ASCII.Nul;
      Ids.Append (Start);
      return Ids.Last;
   end Get_Identifier;

   function Is_Equal (L, R : O_Ident) return Boolean
   is
   begin
      return L = R;
   end Is_Equal;

   function Get_String_Length (Id : O_Ident) return Natural
   is
      Start : Natural;
   begin
      Start := Ids.Table (Id);
      if Id = Ids.Last then
         return Strs.Last - Start + 1 - 1;
      else
         return Ids.Table (Id + 1) - 1 - Start;
      end if;
   end Get_String_Length;

   function Get_String (Id : O_Ident) return String
   is
      Res : String (1 .. Get_String_Length (Id));
      Start : constant Natural := Ids.Table (Id);
   begin
      for I in Res'Range loop
         Res (I) := Strs.Table (Start + I - Res'First);
      end loop;
      return Res;
   end Get_String;

   function Get_Cstring (Id : O_Ident) return System.Address is
   begin
      return Strs.Table (Ids.Table (Id))'Address;
   end Get_Cstring;

   function Is_Equal (Id : O_Ident; Str : String) return Boolean
   is
      Start : constant Natural := Ids.Table (Id);
      Len : constant Natural := Get_String_Length (Id);
   begin
      if Len /= Str'Length then
         return False;
      end if;
      for I in Str'Range loop
         if Str (I) /= Strs.Table (Start + I - Str'First) then
            return False;
         end if;
      end loop;
      return True;
   end Is_Equal;

   function Is_Nul (Id : O_Ident) return Boolean is
   begin
      return Id = O_Ident_Nul;
   end Is_Nul;

   procedure Disp_Stats
   is
      use Ada.Text_IO;
   begin
      Put_Line ("Number of Ident: " & O_Ident'Image (Ids.Last));
      Put_Line ("Number of Ident-Strs: " & Natural'Image (Strs.Last));
   end Disp_Stats;

   procedure Finish is
   begin
      Ids.Free;
      Strs.Free;
   end Finish;
end Ortho_Ident;