/usr/share/ada/adainclude/asis/a4g-itests.adb is in libasis2014-dev 2014-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | ------------------------------------------------------------------------------
-- --
-- ASIS-for-GNAT IMPLEMENTATION COMPONENTS --
-- --
-- A 4 G . I T E S T 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 Sinput; use Sinput;
with Atree; use Atree;
package body A4G.Itests is
----------------------
-- Is_From_Instance --
----------------------
function Is_From_Instance (N : Node_Id) return Boolean is
begin
return "/=" (No_Location,
Instantiation (Get_Source_File_Index (Sloc (N))));
end Is_From_Instance;
-------------------------------
-- Is_Inherited_Discriminant --
-------------------------------
function Is_Inherited_Discriminant (N : Node_Id) return Boolean is
Type_Decl_Node : Node_Id;
begin
-- the idea of the test is to test if the node corresponding to the
-- enclosing type declaration has been inserted (namely inserted,
-- because a rewritten node corresponds to the situation when
-- a derived type has its own known_discriminant part; and we cannot
-- use Comes_From_Source flag, because it is set ON (???!!!) for
-- such incerted nodes (at least, in 3.05)
Type_Decl_Node := Parent (Parent (N));
return Is_Rewrite_Insertion (Type_Decl_Node);
end Is_Inherited_Discriminant;
end A4G.Itests;
|