diff options
Diffstat (limited to 'gcc/ada/a-coprnu.ads')
| -rw-r--r-- | gcc/ada/a-coprnu.ads | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/gcc/ada/a-coprnu.ads b/gcc/ada/a-coprnu.ads new file mode 100644 index 00000000000..9960b9d480f --- /dev/null +++ b/gcc/ada/a-coprnu.ads @@ -0,0 +1,31 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT LIBRARY COMPONENTS -- +-- -- +-- ADA.CONTAINERS.PRIME_NUMBERS -- +-- -- +-- S p e c -- +-- -- +-- This specification is adapted from the Ada Reference Manual for use with -- +-- GNAT. In accordance with the copyright of that document, you can freely -- +-- copy and modify this specification, provided that if you redistribute a -- +-- modified version, any changes that you have made are clearly indicated. -- +-- -- +------------------------------------------------------------------------------ + +package Ada.Containers.Prime_Numbers is +pragma Pure (Prime_Numbers); + + type Primes_Type is array (Positive range <>) of Hash_Type; + + Primes : constant Primes_Type := + (53, 97, 193, 389, 769, + 1543, 3079, 6151, 12289, 24593, + 49157, 98317, 196613, 393241, 786433, + 1572869, 3145739, 6291469, 12582917, 25165843, + 50331653, 100663319, 201326611, 402653189, 805306457, + 1610612741, 3221225473, 4294967291); + + function To_Prime (Length : Count_Type) return Hash_Type; + +end Ada.Containers.Prime_Numbers; |