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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135 | ------------------------------------------------------------------------------
-- --
-- ASIS-for-GNAT IMPLEMENTATION COMPONENTS --
-- --
-- A S I S . I D S --
-- --
-- B o d y --
-- --
-- Copyright (C) 1995-2013, Free Software Foundation, Inc. --
-- --
-- ASIS-for-GNAT is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 2, or (at your option) any later --
-- version. ASIS-for-GNAT is distributed in the hope that it will be use- --
-- ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- --
-- CHANTABILITY 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 distributed with ASIS-for-GNAT; see file --
-- COPYING. If not, write to the Free Software Foundation, 59 Temple Place --
-- - Suite 330, Boston, MA 02111-1307, USA. --
-- --
-- --
-- --
-- --
-- --
-- --
-- --
-- --
-- ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the --
-- Software Engineering Laboratory of the Swiss Federal Institute of --
-- Technology (LGL-EPFL) in Lausanne, Switzerland, in cooperation with the --
-- Scientific Research Computer Center of Moscow State University (SRCC --
-- MSU), Russia, with funding partially provided by grants from the Swiss --
-- National Science Foundation and the Swiss Academy of Engineering --
-- Sciences. ASIS-for-GNAT is now maintained by AdaCore --
-- (http://www.adacore.com). --
-- --
------------------------------------------------------------------------------
with Ada.Characters.Handling; use Ada.Characters.Handling;
with A4G.Vcheck; use A4G.Vcheck;
package body Asis.Ids is
------------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Hash (The_Id : Id) return Asis.ASIS_Integer is
begin
pragma Unreferenced (The_Id);
Raise_ASIS_Failed (Diagnosis => "Asis.Ids.Hash");
return 0;
end Hash;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function "<" (Left : Id;
Right : Id) return Boolean is
begin
pragma Unreferenced (Left);
pragma Unreferenced (Right);
Raise_ASIS_Failed (Diagnosis => "Asis.Ids.""<""");
return True;
end "<";
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function ">" (Left : Id;
Right : Id) return Boolean is
begin
pragma Unreferenced (Left);
pragma Unreferenced (Right);
Raise_ASIS_Failed (Diagnosis => "Asis.Ids."">""");
return False;
end ">";
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Is_Nil (Right : Id) return Boolean is
begin
pragma Unreferenced (Right);
Raise_ASIS_Failed (Diagnosis => "Asis.Ids.Is_Nil");
return True;
end Is_Nil;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Is_Equal
(Left : Id;
Right : Id)
return Boolean
is
begin
pragma Unreferenced (Left);
pragma Unreferenced (Right);
Raise_ASIS_Failed (Diagnosis => "Asis.Ids.Is_Equal");
return True;
end Is_Equal;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Create_Id (Element : Asis.Element) return Id is
begin
pragma Unreferenced (Element);
Raise_ASIS_Failed (Diagnosis => "Asis.Ids.Create_Id");
return Nil_Id;
end Create_Id;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Create_Element
(The_Id : Id;
The_Context : Asis.Context)
return Asis.Element
is
begin
pragma Unreferenced (The_Id);
pragma Unreferenced (The_Context);
Raise_ASIS_Failed (Diagnosis => "Asis.Ids.Create_Element");
return Nil_Element;
end Create_Element;
-----------------------------------------------------------------------------
-- NOT IMPLEMENTED
function Debug_Image (The_Id : Id) return Wide_String is
begin
if Is_Nil (The_Id) then
return Nil_Asis_Wide_String;
else
return To_Wide_String (The_Id.all);
end if;
end Debug_Image;
-----------------------------------------------------------------------------
end Asis.Ids;
|