1
----------------------------------------------------------------------
2
-- Framework.Queries - Package specification --
4
-- This software is (c) The European Organisation for the Safety --
5
-- of Air Navigation (EUROCONTROL) and Adalog 2004-2007. The Ada --
6
-- Controller is free software; you can redistribute it and/or --
7
-- modify it under terms of the GNU General Public License as --
8
-- published by the Free Software Foundation; either version 2, or --
9
-- (at your option) any later version. This unit is distributed --
10
-- in the hope that it will be useful, but WITHOUT ANY WARRANTY; --
11
-- without even the implied warranty of MERCHANTABILITY or FITNESS --
12
-- FOR A PARTICULAR PURPOSE. See the GNU General Public License --
13
-- for more details. You should have received a copy of the GNU --
14
-- General Public License distributed with this program; see file --
15
-- COPYING. If not, write to the Free Software Foundation, 59 --
16
-- Temple Place - Suite 330, Boston, MA 02111-1307, USA. --
18
-- As a special exception, if other files instantiate generics --
19
-- from the units of this program, or if you link this unit with --
20
-- other files to produce an executable, this unit does not by --
21
-- itself cause the resulting executable to be covered by the GNU --
22
-- General Public License. This exception does not however --
23
-- invalidate any other reasons why the executable file might be --
24
-- covered by the GNU Public License. --
26
-- This software is distributed in the hope that it will be --
27
-- useful, but WITHOUT ANY WARRANTY; without even the implied --
28
-- warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR --
30
----------------------------------------------------------------------
36
package Framework.Queries is
37
-- This package contain high level ASIS queries, but unlike
38
-- Thick_Queries, it is application dependant, i.e. the queries
39
-- may refer to the Framework.
41
function Enclosing_Package_Name (Rule_Id : Wide_String; N : in Asis.Name) return Wide_String;
42
-- If N is declared immediately within a package specification, returns the Full_Name_Image
43
-- of the package (in uppercase)
44
-- Otherwise, returns ""
46
-- Cannot be made application independant, because it calls Uncheckable in some cases.
48
function System_Value (Name : Wide_String) return Asis.Declaration;
49
-- Returns the declaration of the element of package System whose name is passed as parameter.
50
-- Provided name must be all upper-case.
51
-- It is a Failure if the name is not found.
52
-- If this function is called from elaboration code, put a pragma Elaborate_All (Framework.Queries)
54
-- Cannot be made application independant, because it needs the Asis context from Framework.
55
end Framework.Queries;