gcc/testsuite/gnat.dg/dimensions.ads

   1 package Dimensions is
   2
   3    type Mks_Int_Type is new Integer
   4      with
   5       Dimension_System => (
   6         (Unit_Name => Meter,    Unit_Symbol => 'm',   Dim_Symbol => 'L'),
   7         (Unit_Name => Kilogram, Unit_Symbol => "kg",  Dim_Symbol => 'M'),
   8         (Unit_Name => Second,   Unit_Symbol => 's',   Dim_Symbol => 'T'),
   9         (Unit_Name => Ampere,   Unit_Symbol => 'A',   Dim_Symbol => 'I'),
  10         (Unit_Name => Kelvin,   Unit_Symbol => 'K',   Dim_Symbol => '@'),
  11         (Unit_Name => Mole,     Unit_Symbol => "mol", Dim_Symbol => 'N'),
  12         (Unit_Name => Candela,  Unit_Symbol => "cd",  Dim_Symbol => 'J'));
  13
  14    subtype Int_Length is Mks_Int_Type
  15      with
  16       Dimension => (Symbol => 'm',
  17         Meter  => 1,
  18         others => 0);
  19
  20    subtype Int_Speed is Mks_Int_Type
  21      with
  22       Dimension => (
  23         Meter  =>  1,
  24         Second => -1,
  25         others =>  0);
  26
  27    procedure Dummy;
  28
  29 end Dimensions;