~ubuntu-branches/ubuntu/precise/gnat-gps/precise

« back to all changes in this revision

Viewing changes to gnatlib/src/gmp/gnatcoll-gmp-integers-io.ads

  • Committer: Package Import Robot
  • Author(s): Ludovic Brenta
  • Date: 2012-01-15 15:42:21 UTC
  • mfrom: (10.1.10 sid)
  • Revision ID: package-import@ubuntu.com-20120115154221-ccysuzvh02pkhuwq
Tags: 5.0-6
Rebuild against libgtkada 2.24.1.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
-----------------------------------------------------------------------
 
2
--                          G N A T C O L L                          --
 
3
--                                                                   --
 
4
--                      Copyright (C) 2009, AdaCore                  --
 
5
--                                                                   --
 
6
-- GPS is free  software;  you can redistribute it and/or modify  it --
 
7
-- under the terms of the GNU General Public License as published by --
 
8
-- the Free Software Foundation; either version 2 of the License, or --
 
9
-- (at your option) any later version.                               --
 
10
--                                                                   --
 
11
-- This program is  distributed in the hope that it will be  useful, --
 
12
-- but  WITHOUT ANY WARRANTY;  without even the  implied warranty of --
 
13
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU --
 
14
-- General Public License for more details. You should have received --
 
15
-- a copy of the GNU General Public License along with this library; --
 
16
-- if not,  write to the  Free Software Foundation, Inc.,  59 Temple --
 
17
-- Place - Suite 330, Boston, MA 02111-1307, USA.                    --
 
18
-----------------------------------------------------------------------
 
19
 
 
20
with Interfaces.C_Streams;
 
21
 
 
22
package GNATCOLL.GMP.Integers.IO is
 
23
 
 
24
   pragma Preelaborate;
 
25
 
 
26
   procedure Put
 
27
     (This   : Big_Integer;
 
28
      Base   : Positive := 10;
 
29
      Stream : Interfaces.C_Streams.FILEs := Interfaces.C_Streams.stdout);
 
30
   --  Output This on Stream, as a string of digits in base Base. The base
 
31
   --  argument may vary from 2 to 62 or from -2 to -36.
 
32
   --
 
33
   --  For Base in the range 2..36, digits and lower-case letters are used; for
 
34
   --  -2..-36, digits and upper-case letters are used; for 37..62, digits,
 
35
   --  upper-case letters, and lower-case letters (in that significance order)
 
36
   --  are used.
 
37
   --
 
38
   --  Raises Failure if the entire sequence of digits is not written.
 
39
 
 
40
end GNATCOLL.GMP.Integers.IO;