------------------------------------------------------------------------------ | |

-- -- | |

-- GNAT RUN-TIME COMPONENTS -- | |

-- -- | |

-- S Y S T E M . D I M . M K S -- | |

-- -- | |

-- S p e c -- | |

-- -- | |

-- Copyright (C) 2011-2013, Free Software Foundation, Inc. -- | |

-- -- | |

-- GNAT is free software; you can redistribute it and/or modify it under -- | |

-- terms of the GNU General Public License as published by the Free Soft- -- | |

-- ware Foundation; either version 3, or (at your option) any later ver- -- | |

-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- | |

-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- | |

-- or FITNESS FOR A PARTICULAR PURPOSE. -- | |

-- -- | |

-- As a special exception under Section 7 of GPL version 3, you are granted -- | |

-- additional permissions described in the GCC Runtime Library Exception, -- | |

-- version 3.1, as published by the Free Software Foundation. -- | |

-- -- | |

-- You should have received a copy of the GNU General Public License and -- | |

-- a copy of the GCC Runtime Library Exception along with this program; -- | |

-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- | |

-- <http://www.gnu.org/licenses/>. -- | |

-- -- | |

-- GNAT was originally developed by the GNAT team at New York University. -- | |

-- Extensive contributions were provided by Ada Core Technologies Inc. -- | |

-- -- | |

------------------------------------------------------------------------------ | |

-- Defines the MKS dimension system which is the SI system of units | |

-- Some other prefixes of this system are defined in a child package (see | |

-- System.Dim_Mks.Other_Prefixes) in order to avoid too many constant | |

-- declarations in this package. | |

-- The dimension terminology is defined in System.Dim_IO package | |

with Ada.Numerics; | |

package System.Dim.Mks is | |

e : constant := Ada.Numerics.e; | |

Pi : constant := Ada.Numerics.Pi; | |

-- Dimensioned type Mks_Type | |

type Mks_Type is new Long_Long_Float | |

with | |

Dimension_System => ( | |

(Unit_Name => Meter, Unit_Symbol => 'm', Dim_Symbol => 'L'), | |

(Unit_Name => Kilogram, Unit_Symbol => "kg", Dim_Symbol => 'M'), | |

(Unit_Name => Second, Unit_Symbol => 's', Dim_Symbol => 'T'), | |

(Unit_Name => Ampere, Unit_Symbol => 'A', Dim_Symbol => 'I'), | |

(Unit_Name => Kelvin, Unit_Symbol => 'K', Dim_Symbol => '@'), | |

(Unit_Name => Mole, Unit_Symbol => "mol", Dim_Symbol => 'N'), | |

(Unit_Name => Candela, Unit_Symbol => "cd", Dim_Symbol => 'J')); | |

-- SI Base dimensioned subtypes | |

subtype Length is Mks_Type | |

with | |

Dimension => (Symbol => 'm', | |

Meter => 1, | |

others => 0); | |

subtype Mass is Mks_Type | |

with | |

Dimension => (Symbol => "kg", | |

Kilogram => 1, | |

others => 0); | |

subtype Time is Mks_Type | |

with | |

Dimension => (Symbol => 's', | |

Second => 1, | |

others => 0); | |

subtype Electric_Current is Mks_Type | |

with | |

Dimension => (Symbol => 'A', | |

Ampere => 1, | |

others => 0); | |

subtype Thermodynamic_Temperature is Mks_Type | |

with | |

Dimension => (Symbol => 'K', | |

Kelvin => 1, | |

others => 0); | |

subtype Amount_Of_Substance is Mks_Type | |

with | |

Dimension => (Symbol => "mol", | |

Mole => 1, | |

others => 0); | |

subtype Luminous_Intensity is Mks_Type | |

with | |

Dimension => (Symbol => "cd", | |

Candela => 1, | |

others => 0); | |

-- Initialize SI Base unit values | |

-- Turn off the all the dimension warnings for these basic assignments | |

-- since otherwise we would get complaints about assigning dimensionless | |

-- values to dimensioned subtypes (we can't assign 1.0*m to m). | |

pragma Warnings (Off, "*assumed to be*"); | |

m : constant Length := 1.0; | |

kg : constant Mass := 1.0; | |

s : constant Time := 1.0; | |

A : constant Electric_Current := 1.0; | |

K : constant Thermodynamic_Temperature := 1.0; | |

mol : constant Amount_Of_Substance := 1.0; | |

cd : constant Luminous_Intensity := 1.0; | |

pragma Warnings (On, "*assumed to be*"); | |

-- SI Derived dimensioned subtypes | |

subtype Absorbed_Dose is Mks_Type | |

with | |

Dimension => (Symbol => "Gy", | |

Meter => 2, | |

Second => -2, | |

others => 0); | |

subtype Angle is Mks_Type | |

with | |

Dimension => (Symbol => "rad", | |

others => 0); | |

subtype Area is Mks_Type | |

with | |

Dimension => ( | |

Meter => 2, | |

others => 0); | |

subtype Catalytic_Activity is Mks_Type | |

with | |

Dimension => (Symbol => "kat", | |

Second => -1, | |

Mole => 1, | |

others => 0); | |

subtype Celsius_Temperature is Mks_Type | |

with | |

Dimension => (Symbol => "°C", | |

Kelvin => 1, | |

others => 0); | |

subtype Electric_Capacitance is Mks_Type | |

with | |

Dimension => (Symbol => 'F', | |

Meter => -2, | |

Kilogram => -1, | |

Second => 4, | |

Ampere => 2, | |

others => 0); | |

subtype Electric_Charge is Mks_Type | |

with | |

Dimension => (Symbol => 'C', | |

Second => 1, | |

Ampere => 1, | |

others => 0); | |

subtype Electric_Conductance is Mks_Type | |

with | |

Dimension => (Symbol => 'S', | |

Meter => -2, | |

Kilogram => -1, | |

Second => 3, | |

Ampere => 2, | |

others => 0); | |

subtype Electric_Potential_Difference is Mks_Type | |

with | |

Dimension => (Symbol => 'V', | |

Meter => 2, | |

Kilogram => 1, | |

Second => -3, | |

Ampere => -1, | |

others => 0); | |

subtype Electric_Resistance is Mks_Type | |

with | |

Dimension => (Symbol => "Ω", | |

Meter => 2, | |

Kilogram => 1, | |

Second => -3, | |

Ampere => -2, | |

others => 0); | |

subtype Energy is Mks_Type | |

with | |

Dimension => (Symbol => 'J', | |

Meter => 2, | |

Kilogram => 1, | |

Second => -2, | |

others => 0); | |

subtype Equivalent_Dose is Mks_Type | |

with | |

Dimension => (Symbol => "Sv", | |

Meter => 2, | |

Second => -2, | |

others => 0); | |

subtype Force is Mks_Type | |

with | |

Dimension => (Symbol => 'N', | |

Meter => 1, | |

Kilogram => 1, | |

Second => -2, | |

others => 0); | |

subtype Frequency is Mks_Type | |

with | |

Dimension => (Symbol => "Hz", | |

Second => -1, | |

others => 0); | |

subtype Illuminance is Mks_Type | |

with | |

Dimension => (Symbol => "lx", | |

Meter => -2, | |

Candela => 1, | |

others => 0); | |

subtype Inductance is Mks_Type | |

with | |

Dimension => (Symbol => 'H', | |

Meter => 2, | |

Kilogram => 1, | |

Second => -2, | |

Ampere => -2, | |

others => 0); | |

subtype Luminous_Flux is Mks_Type | |

with | |

Dimension => (Symbol => "lm", | |

Candela => 1, | |

others => 0); | |

subtype Magnetic_Flux is Mks_Type | |

with | |

Dimension => (Symbol => "Wb", | |

Meter => 2, | |

Kilogram => 1, | |

Second => -2, | |

Ampere => -1, | |

others => 0); | |

subtype Magnetic_Flux_Density is Mks_Type | |

with | |

Dimension => (Symbol => 'T', | |

Kilogram => 1, | |

Second => -2, | |

Ampere => -1, | |

others => 0); | |

subtype Power is Mks_Type | |

with | |

Dimension => (Symbol => 'W', | |

Meter => 2, | |

Kilogram => 1, | |

Second => -3, | |

others => 0); | |

subtype Pressure is Mks_Type | |

with | |

Dimension => (Symbol => "Pa", | |

Meter => -1, | |

Kilogram => 1, | |

Second => -2, | |

others => 0); | |

subtype Radioactivity is Mks_Type | |

with | |

Dimension => (Symbol => "Bq", | |

Second => -1, | |

others => 0); | |

subtype Solid_Angle is Mks_Type | |

with | |

Dimension => (Symbol => "sr", | |

others => 0); | |

subtype Speed is Mks_Type | |

with | |

Dimension => ( | |

Meter => 1, | |

Second => -1, | |

others => 0); | |

subtype Volume is Mks_Type | |

with | |

Dimension => ( | |

Meter => 3, | |

others => 0); | |

-- Initialize derived dimension values | |

-- Turn off the all the dimension warnings for these basic assignments | |

-- since otherwise we would get complaints about assigning dimensionless | |

-- values to dimensioned subtypes. | |

pragma Warnings (Off, "*assumed to be*"); | |

rad : constant Angle := 1.0; | |

sr : constant Solid_Angle := 1.0; | |

Hz : constant Frequency := 1.0; | |

N : constant Force := 1.0; | |

Pa : constant Pressure := 1.0; | |

J : constant Energy := 1.0; | |

W : constant Power := 1.0; | |

C : constant Electric_Charge := 1.0; | |

V : constant Electric_Potential_Difference := 1.0; | |

F : constant Electric_Capacitance := 1.0; | |

Ohm : constant Electric_Resistance := 1.0; | |

Si : constant Electric_Conductance := 1.0; | |

Wb : constant Magnetic_Flux := 1.0; | |

T : constant Magnetic_Flux_Density := 1.0; | |

H : constant Inductance := 1.0; | |

dC : constant Celsius_Temperature := 273.15; | |

lm : constant Luminous_Flux := 1.0; | |

lx : constant Illuminance := 1.0; | |

Bq : constant Radioactivity := 1.0; | |

Gy : constant Absorbed_Dose := 1.0; | |

Sv : constant Equivalent_Dose := 1.0; | |

kat : constant Catalytic_Activity := 1.0; | |

-- SI prefixes for Meter | |

um : constant Length := 1.0E-06; -- micro (u) | |

mm : constant Length := 1.0E-03; -- milli | |

cm : constant Length := 1.0E-02; -- centi | |

dm : constant Length := 1.0E-01; -- deci | |

dam : constant Length := 1.0E+01; -- deka | |

hm : constant Length := 1.0E+02; -- hecto | |

km : constant Length := 1.0E+03; -- kilo | |

Mem : constant Length := 1.0E+06; -- mega | |

-- SI prefixes for Kilogram | |

ug : constant Mass := 1.0E-09; -- micro (u) | |

mg : constant Mass := 1.0E-06; -- milli | |

cg : constant Mass := 1.0E-05; -- centi | |

dg : constant Mass := 1.0E-04; -- deci | |

g : constant Mass := 1.0E-03; -- gram | |

dag : constant Mass := 1.0E-02; -- deka | |

hg : constant Mass := 1.0E-01; -- hecto | |

Meg : constant Mass := 1.0E+03; -- mega | |

-- SI prefixes for Second | |

us : constant Time := 1.0E-06; -- micro (u) | |

ms : constant Time := 1.0E-03; -- milli | |

cs : constant Time := 1.0E-02; -- centi | |

ds : constant Time := 1.0E-01; -- deci | |

das : constant Time := 1.0E+01; -- deka | |

hs : constant Time := 1.0E+02; -- hecto | |

ks : constant Time := 1.0E+03; -- kilo | |

Mes : constant Time := 1.0E+06; -- mega | |

-- Other constants for Second | |

min : constant Time := 60.0 * s; | |

hour : constant Time := 60.0 * min; | |

day : constant Time := 24.0 * hour; | |

year : constant Time := 365.25 * day; | |

-- SI prefixes for Ampere | |

mA : constant Electric_Current := 1.0E-03; -- milli | |

cA : constant Electric_Current := 1.0E-02; -- centi | |

dA : constant Electric_Current := 1.0E-01; -- deci | |

daA : constant Electric_Current := 1.0E+01; -- deka | |

hA : constant Electric_Current := 1.0E+02; -- hecto | |

kA : constant Electric_Current := 1.0E+03; -- kilo | |

MeA : constant Electric_Current := 1.0E+06; -- mega | |

pragma Warnings (On, "*assumed to be*"); | |

end System.Dim.Mks; |