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