/usr/share/ada/adainclude/gtkada/gtk-bin.adb is in libgtkada16.1.0-dev 17.0.2017-2.
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 | ------------------------------------------------------------------------------
-- --
-- Copyright (C) 1998-2000 E. Briot, J. Brobecker and A. Charlet --
-- Copyright (C) 2000-2017, AdaCore --
-- --
-- This library 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 3, or (at your option) any later --
-- version. This library is distributed in the hope that it will be useful, --
-- but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHAN- --
-- TABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- --
-- --
-- --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
------------------------------------------------------------------------------
pragma Style_Checks (Off);
pragma Warnings (Off, "*is already use-visible*");
with Glib.Type_Conversion_Hooks; use Glib.Type_Conversion_Hooks;
package body Gtk.Bin is
package Type_Conversion_Gtk_Bin is new Glib.Type_Conversion_Hooks.Hook_Registrator
(Get_Type'Access, Gtk_Bin_Record);
pragma Unreferenced (Type_Conversion_Gtk_Bin);
---------------
-- Get_Child --
---------------
function Get_Child
(Bin : not null access Gtk_Bin_Record) return Gtk.Widget.Gtk_Widget
is
function Internal (Bin : System.Address) return System.Address;
pragma Import (C, Internal, "gtk_bin_get_child");
Stub_Gtk_Widget : Gtk.Widget.Gtk_Widget_Record;
begin
return Gtk.Widget.Gtk_Widget (Get_User_Data (Internal (Get_Object (Bin)), Stub_Gtk_Widget));
end Get_Child;
end Gtk.Bin;
|