gnatprove_13.2.1_28fc3583/share/examples/spark/spark_book/Chapter-03/common_units.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
with Ada.Numerics;
package Common_Units is

   type Degrees is digits 15 range 0.0 .. 360.0;
   type Radians is digits 15 range 0.0 .. 2.0 * Ada.Numerics.Pi;

   type Volts is delta 1.0 / 2.0**12 range -45_000.0 .. 45_000.0;
   type Amps  is delta 1.0 / 2.0**16 range -1_000.0 .. 1_000.0;
   type Ohms  is delta 0.125         range  0.0 .. 1.0E8;

   type Light_Years is digits 12 range 0.0 .. 20.0E9;

   subtype Percent is Integer range 0 .. 100;
end Common_Units;