/usr/share/ada/adainclude/opentoken/opentoken.adb is in libopentoken6.1-dev 6.0b-7.
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 | -------------------------------------------------------------------------------
--
-- Copyright (C) 2009, 2014 Stephe Leake
--
-- This file is part of the OpenToken package.
--
-- The OpenToken package is free software; you can redistribute it
-- and/or modify it under the terms of the GNU General Public License
-- as published by the Free Software Foundation; either version 3, or
-- (at your option) any later version. The OpenToken package is
-- distributed in the hope that it will be useful, but WITHOUT ANY
-- WARRANTY; without even the implied warranty of MERCHANTABILITY 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 the OpenToken package;
-- see file GPL.txt. If not, write to the Free Software Foundation,
-- 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
--
-- As a special exception, if other files instantiate generics from
-- this unit, or you link this unit with other files to produce an
-- executable, this unit does not by itself cause the resulting
-- executable to be covered by the GNU General Public License. This
-- exception does not however invalidate any other reasons why the
-- executable file might be covered by the GNU Public License.
-------------------------------------------------------------------------------
with Ada.Strings.Fixed;
with Ada.Text_IO;
package body OpenToken is
function Int_Image (Item : in Integer) return String
is
use Ada.Strings;
use Ada.Strings.Fixed;
begin
return Trim (Integer'Image (Item), Both);
end Int_Image;
procedure Trace_Put (Message : in String)
is
use Ada.Strings.Fixed;
begin
Ada.Text_IO.Put (Trace_Indent * 3 * ' ' & Message);
end Trace_Put;
end OpenToken;
|