comparison gcc/ada/libgnat/gnat.ads @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
4 -- -- 4 -- --
5 -- G N A T -- 5 -- G N A T --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 1992-2017, AdaCore -- 9 -- Copyright (C) 1992-2018, AdaCore --
10 -- -- 10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under -- 11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- -- 12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- 13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
32 -- This is the parent package for a library of useful units provided with GNAT 32 -- This is the parent package for a library of useful units provided with GNAT
33 33
34 package GNAT is 34 package GNAT is
35 pragma Pure; 35 pragma Pure;
36 36
37 -- The following type denotes the range of buckets for various hashed
38 -- data structures in the GNAT unit hierarchy.
39
40 type Bucket_Range_Type is mod 2 ** 32;
41
42 -- The following exception is raised whenever an attempt is made to mutate
43 -- the state of a data structure that is being iterated on.
44
45 Iterated : exception;
46
47 -- The following exception is raised when an iterator is exhausted and
48 -- further attempts are made to advance it.
49
50 Iterator_Exhausted : exception;
51
52 -- The following exception is raised whenever an attempt is made to mutate
53 -- the state of a data structure that has not been created yet.
54
55 Not_Created : exception;
56
37 end GNAT; 57 end GNAT;