1------------------------------------------------------------------------------
2--                                                                          --
3--             ASIS Tester And iNTerpreter (ASIStant) COMPONENTS            --
4--                                                                          --
5--                 A S I S T A N T . E N U M _ M A P P I N G                --
6--                                                                          --
7--                                 S p e c                                  --
8--                                                                          --
9--          Copyright (C) 1997-2011, Free Software Foundation, Inc.         --
10--                                                                          --
11-- ASIStant  is  free  software;  you can  redistribute it and/or modify it --
12-- under terms of the  GNU General Public License  as published by the Free --
13-- Software Foundation;  either version 2,  or  (at your option)  any later --
14-- version.  ASIStant is  distributed  in the hope  that it will be useful, --
15-- but  WITHOUT  ANY  WARRANTY;  without  even the implied warranty of MER- --
16-- CHANTABILITY or  FITNESS FOR  A PARTICULAR PURPOSE.  See the GNU General --
17-- Public License for more details.  You should have received a copy of the --
18-- GNU General Public License  distributed with GNAT;  see file COPYING. If --
19-- not,  write to the  Free Software Foundation,  51 Franklin Street, Fifth --
20-- Floor, Boston, MA 02110-1301, USA.                                       --
21--                                                                          --
22-- ASIStant  is an evolution of  ASIStint tool that was created by  Vasiliy --
23-- Fofanov  as  part  of  a  collaboration  between  Software   Engineering --
24-- Laboratory  of the  Swiss  Federal Institute of Technology in  Lausanne, --
25-- Switzerland,  and the Scientific Research Computer Center of the  Moscow --
26-- University, Russia,  supported by the  Swiss National Science Foundation --
27-- grant #7SUPJ048247, "Development of ASIS for GNAT with industry quality" --
28--                                                                          --
29-- ASIStant  is  distributed as a part of the  ASIS implementation for GNAT --
30-- (ASIS-for-GNAT) and is maintained by AdaCore (http://www.adacore.com).   --
31------------------------------------------------------------------------------
32
33with Asis;
34with Asis.Compilation_Units.Relations;
35
36package ASIStant.Enum_Mapping is
37
38------------------------------------------------------------------------------
39--  Mapping of ASIS queries that return enumeration types
40------------------------------------------------------------------------------
41
42   function Status
43     return Wide_String;
44
45   function Unit_Kind
46     (Compilation_Unit : Asis.Compilation_Unit)
47      return             Wide_String;
48
49   function Unit_Class
50     (Compilation_Unit : Asis.Compilation_Unit)
51      return             Wide_String;
52
53   function Unit_Origin
54     (Compilation_Unit : Asis.Compilation_Unit)
55      return             Wide_String;
56
57   function Element_Kind (Element : Asis.Element) return Wide_String;
58
59   function Pragma_Kind
60     (Pragma_Element : Asis.Pragma_Element)
61      return           Wide_String;
62
63   function Defining_Name_Kind
64     (Defining_Name : Asis.Defining_Name)
65      return          Wide_String;
66
67   function Declaration_Kind
68     (Declaration : Asis.Declaration)
69      return        Wide_String;
70
71   function Trait_Kind (Element : Asis.Element) return Wide_String;
72
73   function Declaration_Origin
74     (Declaration : Asis.Declaration)
75      return        Wide_String;
76
77   function Mode_Kind (Declaration : Asis.Declaration) return Wide_String;
78
79   function Default_Kind
80     (Declaration : Asis.Generic_Formal_Parameter)
81      return        Wide_String;
82
83   function Definition_Kind
84     (Definition : Asis.Definition)
85      return       Wide_String;
86
87   function Type_Kind
88     (Definition : Asis.Type_Definition)
89      return       Wide_String;
90
91   function Formal_Type_Kind
92     (Definition : Asis.Formal_Type_Definition)
93      return       Wide_String;
94
95   function Access_Type_Kind
96     (Definition : Asis.Access_Type_Definition)
97      return       Wide_String;
98
99   function Access_Definition_Kind
100     (Definition : Asis.Definition)
101      return       Wide_String;
102
103   function Root_Type_Kind
104     (Definition : Asis.Root_Type_Definition)
105      return       Wide_String;
106
107   function Constraint_Kind
108     (Definition : Asis.Constraint)
109      return       Wide_String;
110
111   function Discrete_Range_Kind
112     (Definition : Asis.Discrete_Range)
113      return       Wide_String;
114
115   function Expression_Kind
116     (Expression : Asis.Expression)
117      return       Wide_String;
118
119   function Operator_Kind (Element : Asis.Element) return Wide_String;
120
121   function Attribute_Kind (Expression : Asis.Expression) return Wide_String;
122
123   function Association_Kind
124     (Association : Asis.Association)
125      return        Wide_String;
126
127   function Statement_Kind (Statement : Asis.Statement) return Wide_String;
128
129   function Path_Kind (Path : Asis.Path) return Wide_String;
130
131   function Clause_Kind (Clause : Asis.Clause) return Wide_String;
132
133   function Representation_Clause_Kind
134     (Clause : Asis.Representation_Clause)
135      return   Wide_String;
136
137   function Interface_Kind (Definition : Asis.Definition) return Wide_String;
138   --  ASIS 2005
139
140------------------------------------------------------------------------------
141--  Mapping of Semantic_Dependence_Order query that uses enumeration parameter
142------------------------------------------------------------------------------
143
144   function Semantic_Dependence_Order
145     (CUnit1, CUnit2 : Asis.Compilation_Unit_List;
146      Context        : Asis.Context;
147      Str            : Wide_String)
148      return           Asis.Compilation_Units.Relations.Relationship;
149
150end ASIStant.Enum_Mapping;
151