libgmpada4-dev 0.0.20131223-1 / usr / share / ada / adainclude / gmpada / gnu_multiple_precision.ads

This file is indexed.

/usr/share/ada/adainclude/gmpada/gnu_multiple_precision.ads is in libgmpada4-dev 0.0.20131223-1.

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
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
--    GMPAda, binding to the Ada Language for the GNU MultiPrecision library.
--    Copyright (C) 2007-2010 Nicolas Boulenguez <nicolas.boulenguez@free.fr>
--
--    This program 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 of the License, or
--    (at your option) any later version.
--
--    This program 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
--    along with this program.  If not, see <http://www.gnu.org/licenses/>.

with Interfaces.C;
private with GMP.Binding;
private with Ada.Streams;
private with Ada.Finalization;

package GNU_Multiple_Precision is

   pragma Preelaborate;

   subtype Bit_Count is Interfaces.C.unsigned_long;
   subtype A_Sign is Integer range -1 .. 1;

   type Big_Integer is private;
   type Big_Rational is private;
   type Big_Float is private;
   type Big_Float_Rounded is private;

   --  Input, Output, Read and Write are handled by representation
   --  clauses.


   --  We declare all the types here, so that we can access the
   --  private data from one type to another in bodies (this is needed
   --  to call conversion fonctions).


   --  Used for defining Text_IO as an instantiation of a generic.
   function Identity (Item : in Character) return Character;
   function Identity (Item       : in Character;
                      Substitute : in Character := ' ')
                     return Character;
   --  Returns the provided Item unmodified.

private

   --  Equality must be overridden in the same specification.

   type Big_Integer is new Ada.Finalization.Controlled with record
      Value : GMP.Binding.Mpz_T;
   end record;

   overriding procedure Initialize (Object : in out Big_Integer);
   overriding procedure Adjust     (Object : in out Big_Integer);
   overriding procedure Finalize   (Object : in out Big_Integer);
   overriding function "="  (Left, Right : Big_Integer) return Boolean;
   --  "/=" is automatically defined.

   --  Stream attributes are correctly inherited from Mpz_T, thanks to
   --  GNAT's black magic.

   type Big_Rational is new Ada.Finalization.Controlled with record
      Value : GMP.Binding.Mpq_T;
   end record;

   overriding procedure Initialize (Object : in out Big_Rational);
   overriding procedure Adjust     (Object : in out Big_Rational);
   overriding procedure Finalize   (Object : in out Big_Rational);
   overriding function "="  (Left, Right : Big_Rational) return Boolean;

   procedure Read (Stream : access Ada.Streams.Root_Stream_Type'Class;
                   Item   :   out  Big_Rational);
   for Big_Rational'Read use Read;

   procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class;
                    Item   : in     Big_Rational);
   for Big_Rational'Write use Write;

   type Big_Float is new Ada.Finalization.Controlled with record
      Value : GMP.Binding.Mpf_T;
   end record;

   overriding procedure Initialize (Object : in out Big_Float);
   overriding procedure Adjust     (Object : in out Big_Float);
   overriding procedure Finalize   (Object : in out Big_Float);
   overriding function "="  (Left, Right : Big_Float) return Boolean;

   procedure Read (Stream : access Ada.Streams.Root_Stream_Type'Class;
                   Item   :   out  Big_Float);
   procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class;
                    Item   : in     Big_Float);

   for Big_Float'Read use Read;
   for Big_Float'Write use Write;

   type Big_Float_Rounded is new Ada.Finalization.Controlled with record
      Value : GMP.Binding.Mpfr_T;
   end record;

   overriding procedure Initialize (Object : in out Big_Float_Rounded);
   --  overriding procedure Adjust     (Object : in out Big_Float_Rounded);
   overriding procedure Finalize   (Object : in out Big_Float_Rounded);
   --  overriding function "="  (Left, Right : Big_Float_Rounded)
   --                           return Boolean;

   --  procedure Read (Stream : access Ada.Streams.Root_Stream_Type'Class;
   --                  Item   :   out  Big_Float_Rounded);
   --  procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class;
   --                   Item   : in     Big_Float_Rounded);

   --  for Big_Float_Rounded'Read use Read;
   --  for Big_Float_Rounded'Write use Write;

   pragma Inline ("=");
   pragma Inline (Adjust);
   pragma Inline (Finalize);
   pragma Inline (Identity);
   pragma Inline (Initialize);

end GNU_Multiple_Precision;

APT Browse - Built by Thomas Orozco.