home *** CD-ROM | disk | FTP | other *** search
/ Programmer's ROM - The Computer Language Library / programmersrom.iso / ada / piwg / z000017a.ada < prev    next >
Encoding:
Text File  |  1988-05-03  |  13.0 KB  |  526 lines
  1.  
  2.  
  3. with PHYSICAL_CONVERSION_CONSTANT ; use PHYSICAL_CONVERSION_CONSTANT ;
  4. with PHYSICAL_REAL ; use PHYSICAL_REAL ;
  5.  
  6. package body PHYSICAL_UNITS_CONVERSION_ENGLISH is
  7.  
  8.   function ENGLISH ( ITEM : LENGTH_MKS ) return LENGTH_ENGLISH is
  9.  
  10.   begin
  11.     return DIMENSION ( UNDIMENSION( ITEM )) * METER_TO_FOOT ;
  12.   end ENGLISH ;
  13.  
  14.   function ENGLISH ( ITEM : LENGTH_MIL ) return LENGTH_ENGLISH is
  15.  
  16.   begin
  17.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_MIL ;
  18.   end ENGLISH ;
  19.  
  20.   function ENGLISH ( ITEM : LENGTH_INCH ) return LENGTH_ENGLISH is
  21.  
  22.   begin
  23.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_INCH ;
  24.   end ENGLISH ;
  25.  
  26.   function ENGLISH ( ITEM : LENGTH_YARD ) return LENGTH_ENGLISH is
  27.  
  28.   begin
  29.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_YARD ;
  30.   end ENGLISH ;
  31.  
  32.   function ENGLISH ( ITEM : LENGTH_FATHOM ) return LENGTH_ENGLISH is
  33.  
  34.   begin
  35.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_FATHOM ;
  36.   end ENGLISH ;
  37.  
  38.   function ENGLISH ( ITEM : LENGTH_ROD ) return LENGTH_ENGLISH is
  39.  
  40.   begin
  41.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_ROD ;
  42.   end ENGLISH ;
  43.  
  44.   function ENGLISH ( ITEM : LENGTH_CHAIN_SURVEYOR ) return LENGTH_ENGLISH is
  45.  
  46.   begin
  47.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_CHAIN_SURVEYOR ;
  48.   end ENGLISH ;
  49.  
  50.   function ENGLISH ( ITEM : LENGTH_CHAIN_ENGINEER ) return LENGTH_ENGLISH is
  51.  
  52.   begin
  53.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_CHAIN_ENGINEER ;
  54.   end ENGLISH ;
  55.  
  56.   function ENGLISH ( ITEM : LENGTH_FURLONG ) return LENGTH_ENGLISH is
  57.  
  58.   begin
  59.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_FURLONG ;
  60.   end ENGLISH ;
  61.  
  62.   function ENGLISH ( ITEM : LENGTH_MILE ) return LENGTH_ENGLISH is
  63.  
  64.   begin
  65.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_MILE_STATUTE ;
  66.   end ENGLISH ;
  67.  
  68.   function ENGLISH ( ITEM : LENGTH_MILE_NAUTICAL ) return LENGTH_ENGLISH is
  69.  
  70.   begin
  71.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_MILE_NAUTICAL ;
  72.   end ENGLISH ;
  73.  
  74.   function ENGLISH ( ITEM : LENGTH_LEAGUE_LAND ) return LENGTH_ENGLISH is
  75.  
  76.   begin
  77.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_LEAGUE_LAND ;
  78.   end ENGLISH ;
  79.  
  80.   function ENGLISH ( ITEM : LENGTH_LEAGUE_MARINE ) return LENGTH_ENGLISH is
  81.  
  82.   begin
  83.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_LEAGUE_MARINE ;
  84.   end ENGLISH ;
  85.  
  86.   function ENGLISH ( ITEM : LENGTH_LIGHT_YEAR ) return LENGTH_ENGLISH is
  87.  
  88.   begin
  89.     return DIMENSION ( UNDIMENSION( ITEM )) / FOOT_TO_LIGHT_YEAR ;
  90.   end ENGLISH ;
  91.  
  92.   function ENGLISH ( ITEM : MASS_MKS ) return MASS_ENGLISH is
  93.  
  94.   begin
  95.     return DIMENSION ( UNDIMENSION( ITEM )) * KILOGRAM_TO_POUND ;
  96.   end ENGLISH ;
  97.  
  98.   function ENGLISH ( ITEM : MASS_POUND_TROY ) return MASS_ENGLISH is
  99.  
  100.   begin
  101.     return DIMENSION ( UNDIMENSION( ITEM )) / POUND_TO_POUND_TROY ;
  102.   end ENGLISH ;
  103.  
  104.   function ENGLISH ( ITEM : MASS_GRAIN ) return MASS_ENGLISH is
  105.  
  106.   begin
  107.     return DIMENSION ( UNDIMENSION( ITEM )) / POUND_TO_GRAIN ;
  108.   end ENGLISH ;
  109.  
  110.   function ENGLISH ( ITEM : MASS_PENNYWEIGHT_TROY ) return MASS_ENGLISH is
  111.  
  112.   begin
  113.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  114.   end ENGLISH ;
  115.  
  116.   function ENGLISH ( ITEM : MASS_CARAT_TROY ) return MASS_ENGLISH is
  117.  
  118.   begin
  119.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  120.   end ENGLISH ;
  121.  
  122.   function ENGLISH ( ITEM : MASS_SCRUPLE ) return MASS_ENGLISH is
  123.  
  124.   begin
  125.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  126.   end ENGLISH ;
  127.  
  128.   function ENGLISH ( ITEM : MASS_DRAM_AVDP ) return MASS_ENGLISH is
  129.  
  130.   begin
  131.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  132.   end ENGLISH ;
  133.  
  134.   function ENGLISH ( ITEM : MASS_OUNCE_AVDP ) return MASS_ENGLISH is
  135.  
  136.   begin
  137.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  138.   end ENGLISH ;
  139.  
  140.   function ENGLISH ( ITEM : MASS_OUNCE_TROY ) return MASS_ENGLISH is
  141.  
  142.   begin
  143.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  144.   end ENGLISH ;
  145.  
  146.   function ENGLISH ( ITEM : MASS_TON_SHORT ) return MASS_ENGLISH is
  147.  
  148.   begin
  149.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  150.   end ENGLISH ;
  151.  
  152.   function ENGLISH ( ITEM : MASS_TON_LONG ) return MASS_ENGLISH is
  153.  
  154.   begin
  155.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  156.   end ENGLISH ;
  157.  
  158.   function ENGLISH ( ITEM : TEMPERATURE_KELVIN ) return TEMPERATURE_FARENHEIT
  159.       is
  160.  
  161.   begin
  162.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  163.   end ENGLISH ;
  164.  
  165.   function ENGLISH ( ITEM : TEMPERATURE_CENTIGRADE ) return
  166.       TEMPERATURE_FARENHEIT is
  167.  
  168.   begin
  169.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  170.   end ENGLISH ;
  171.  
  172.   function ENGLISH ( ITEM : AREA_MKS ) return AREA_ENGLISH is
  173.  
  174.   begin
  175.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  176.   end ENGLISH ;
  177.  
  178.   function ENGLISH ( ITEM : AREA_SQUARE_INCH ) return AREA_ENGLISH is
  179.  
  180.   begin
  181.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  182.   end ENGLISH ;
  183.  
  184.   function ENGLISH ( ITEM : AREA_SQUARE_YARD ) return AREA_ENGLISH is
  185.  
  186.   begin
  187.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  188.   end ENGLISH ;
  189.  
  190.   function ENGLISH ( ITEM : AREA_SQUARE_MILE ) return AREA_ENGLISH is
  191.  
  192.   begin
  193.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  194.   end ENGLISH ;
  195.  
  196.   function ENGLISH ( ITEM : AREA_ACRE ) return AREA_ENGLISH is
  197.  
  198.   begin
  199.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  200.   end ENGLISH ;
  201.  
  202.   function ENGLISH ( ITEM : AREA_CIRCULAR_MIL ) return AREA_ENGLISH is
  203.  
  204.   begin
  205.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  206.   end ENGLISH ;
  207.  
  208.   function ENGLISH ( ITEM : AREA_HECTARE ) return AREA_ENGLISH is
  209.  
  210.   begin
  211.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  212.   end ENGLISH ;
  213.  
  214.   function ENGLISH ( ITEM : AREA_TOWNSHIP ) return AREA_ENGLISH is
  215.  
  216.   begin
  217.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  218.   end ENGLISH ;
  219.  
  220.   function ENGLISH ( ITEM : VOLUME_MKS ) return VOLUME_ENGLISH is
  221.  
  222.   begin
  223.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  224.   end ENGLISH ;
  225.  
  226.   function ENGLISH ( ITEM : VOLUME_CUBIC_INCH ) return VOLUME_ENGLISH is
  227.  
  228.   begin
  229.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  230.   end ENGLISH ;
  231.  
  232.   function ENGLISH ( ITEM : VOLUME_CUBIC_YARD ) return VOLUME_ENGLISH is
  233.  
  234.   begin
  235.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  236.   end ENGLISH ;
  237.  
  238.   function ENGLISH ( ITEM : VOLUME_CUBIC_MILE ) return VOLUME_ENGLISH is
  239.  
  240.   begin
  241.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  242.   end ENGLISH ;
  243.  
  244.   function ENGLISH ( ITEM : VOLUME_TEASPOON ) return VOLUME_ENGLISH is
  245.  
  246.   begin
  247.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  248.   end ENGLISH ;
  249.  
  250.   function ENGLISH ( ITEM : VOLUME_TABLESPOON ) return VOLUME_ENGLISH is
  251.  
  252.   begin
  253.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  254.   end ENGLISH ;
  255.  
  256.   function ENGLISH ( ITEM : VOLUME_OUNCE_FLUID ) return VOLUME_ENGLISH is
  257.  
  258.   begin
  259.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  260.   end ENGLISH ;
  261.  
  262.   function ENGLISH ( ITEM : VOLUME_JIGGER ) return VOLUME_ENGLISH is
  263.  
  264.   begin
  265.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  266.   end ENGLISH ;
  267.  
  268.   function ENGLISH ( ITEM : VOLUME_CUP ) return VOLUME_ENGLISH is
  269.  
  270.   begin
  271.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  272.   end ENGLISH ;
  273.  
  274.   function ENGLISH ( ITEM : VOLUME_PINT_LIQUID ) return VOLUME_ENGLISH is
  275.  
  276.   begin
  277.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  278.   end ENGLISH ;
  279.  
  280.   function ENGLISH ( ITEM : VOLUME_QUART_LIQUID ) return VOLUME_ENGLISH is
  281.  
  282.   begin
  283.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  284.   end ENGLISH ;
  285.  
  286.   function ENGLISH ( ITEM : VOLUME_GALLON ) return VOLUME_ENGLISH is
  287.  
  288.   begin
  289.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  290.   end ENGLISH ;
  291.  
  292.   function ENGLISH ( ITEM : VOLUME_KEG ) return VOLUME_ENGLISH is
  293.  
  294.   begin
  295.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  296.   end ENGLISH ;
  297.  
  298.   function ENGLISH ( ITEM : VOLUME_BARREL ) return VOLUME_ENGLISH is
  299.  
  300.   begin
  301.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  302.   end ENGLISH ;
  303.  
  304.   function ENGLISH ( ITEM : VOLUME_PINT_DRY ) return VOLUME_ENGLISH is
  305.  
  306.   begin
  307.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  308.   end ENGLISH ;
  309.  
  310.   function ENGLISH ( ITEM : VOLUME_QUART_DRY ) return VOLUME_ENGLISH is
  311.  
  312.   begin
  313.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  314.   end ENGLISH ;
  315.  
  316.   function ENGLISH ( ITEM : VOLUME_PECK ) return VOLUME_ENGLISH is
  317.  
  318.   begin
  319.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  320.   end ENGLISH ;
  321.  
  322.   function ENGLISH ( ITEM : VOLUME_BUSHEL ) return VOLUME_ENGLISH is
  323.  
  324.   begin
  325.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  326.   end ENGLISH ;
  327.  
  328.   function ENGLISH ( ITEM : VOLUME_CORD ) return VOLUME_ENGLISH is
  329.  
  330.   begin
  331.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  332.   end ENGLISH ;
  333.  
  334.   function ENGLISH ( ITEM : VELOCITY_MKS ) return VELOCITY_ENGLISH is
  335.  
  336.   begin
  337.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  338.   end ENGLISH ;
  339.  
  340.   function ENGLISH ( ITEM : VELOCITY_INCHES_PER_SECOND ) return
  341.       VELOCITY_ENGLISH is
  342.  
  343.   begin
  344.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  345.   end ENGLISH ;
  346.  
  347.   function ENGLISH ( ITEM : VELOCITY_MILE_PER_HOUR ) return VELOCITY_ENGLISH
  348.       is
  349.  
  350.   begin
  351.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  352.   end ENGLISH ;
  353.  
  354.   function ENGLISH ( ITEM : VELOCITY_MILES_PER_SECOND ) return
  355.       VELOCITY_ENGLISH is
  356.  
  357.   begin
  358.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  359.   end ENGLISH ;
  360.  
  361.   function ENGLISH ( ITEM : VELOCITY_INCHES_PER_MINUTE ) return
  362.       VELOCITY_ENGLISH is
  363.  
  364.   begin
  365.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  366.   end ENGLISH ;
  367.  
  368.   function ENGLISH ( ITEM : VELOCITY_FEET_PER_MINUTE ) return VELOCITY_ENGLISH
  369.       is
  370.  
  371.   begin
  372.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  373.   end ENGLISH ;
  374.  
  375.   function ENGLISH ( ITEM : VELOCITY_MILES_PER_HOUR ) return VELOCITY_ENGLISH
  376.       is
  377.  
  378.   begin
  379.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  380.   end ENGLISH ;
  381.  
  382.   function ENGLISH ( ITEM : VELOCITY_KNOTS ) return VELOCITY_ENGLISH is
  383.  
  384.   begin
  385.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  386.   end ENGLISH ;
  387.  
  388.   function ENGLISH ( ITEM : VELOCITY_FURLONG_PER_FORTNIGHT ) return
  389.       VELOCITY_ENGLISH is
  390.  
  391.   begin
  392.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  393.   end ENGLISH ;
  394.  
  395.   function ENGLISH ( ITEM : ACCELERATION_MKS ) return ACCELERATION_ENGLISH is
  396.  
  397.   begin
  398.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  399.   end ENGLISH ;
  400.  
  401.   function ENGLISH ( ITEM : FORCE_MKS ) return FORCE_ENGLISH is
  402.  
  403.   begin
  404.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  405.   end ENGLISH ;
  406.  
  407.   function ENGLISH ( ITEM : ENERGY_MKS ) return ENERGY_ENGLISH is
  408.  
  409.   begin
  410.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  411.   end ENGLISH ;
  412.  
  413.   function ENGLISH ( ITEM : ENERGY_FOOT_POUND ) return ENERGY_ENGLISH is
  414.  
  415.   begin
  416.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  417.   end ENGLISH ;
  418.  
  419.   function ENGLISH ( ITEM : ENERGY_KILOWATT_HOUR ) return ENERGY_ENGLISH is
  420.  
  421.   begin
  422.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  423.   end ENGLISH ;
  424.  
  425.   function ENGLISH ( ITEM : ENERGY_HORSEPOWER_HOUR ) return ENERGY_ENGLISH is
  426.  
  427.   begin
  428.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  429.   end ENGLISH ;
  430.  
  431.   function ENGLISH ( ITEM : POWER_HORSEPOWER_MECHANICAL ) return POWER_WATT is
  432.  
  433.   begin
  434.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  435.   end ENGLISH ;
  436.  
  437.   function ENGLISH ( ITEM : POWER_HORSEPOWER_ELECTRICAL ) return POWER_WATT is
  438.  
  439.   begin
  440.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  441.   end ENGLISH ;
  442.  
  443.   function ENGLISH ( ITEM : POWER_HORSEPOWER_BOILER ) return POWER_WATT is
  444.  
  445.   begin
  446.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  447.   end ENGLISH ;
  448.  
  449.   function ENGLISH ( ITEM : POWER_B_T_U_PER_MINUTE ) return POWER_WATT is
  450.  
  451.   begin
  452.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  453.   end ENGLISH ;
  454.  
  455.   function ENGLISH ( ITEM : POWER_B_T_U_PER_HOUR ) return POWER_WATT is
  456.  
  457.   begin
  458.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  459.   end ENGLISH ;
  460.  
  461.   function ENGLISH ( ITEM : POWER_FOOT_POUND_PER_MINUTE ) return POWER_WATT is
  462.  
  463.   begin
  464.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  465.   end ENGLISH ;
  466.  
  467.   function ENGLISH ( ITEM : POWER_FOOT_POUND_PER_SECOND ) return POWER_WATT is
  468.  
  469.   begin
  470.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  471.   end ENGLISH ;
  472.  
  473.   function ENGLISH ( ITEM : DENSITY_MKS ) return DENSITY_ENGLISH is
  474.  
  475.   begin
  476.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  477.   end ENGLISH ;
  478.  
  479.   function ENGLISH ( ITEM : FLOW_RATE_MKS ) return FLOW_RATE_ENGLISH is
  480.  
  481.   begin
  482.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  483.   end ENGLISH ;
  484.  
  485.   function ENGLISH ( ITEM : FLOW_RATE_GALLON_PER_MINUTE ) return
  486.       FLOW_RATE_ENGLISH is
  487.  
  488.   begin
  489.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  490.   end ENGLISH ;
  491.  
  492.   function ENGLISH ( ITEM : FLOW_RATE_CUBIC_FEET_PER_MINUTE ) return
  493.       FLOW_RATE_ENGLISH is
  494.  
  495.   begin
  496.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  497.   end ENGLISH ;
  498.  
  499.   function ENGLISH ( ITEM : PRESSURE_MKS ) return PRESSURE_ENGLISH is
  500.  
  501.   begin
  502.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  503.   end ENGLISH ;
  504.  
  505.   function ENGLISH ( ITEM : PRESSURE_TON_PER_SQUARE_FOOT ) return
  506.       PRESSURE_ENGLISH is
  507.  
  508.   begin
  509.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  510.   end ENGLISH ;
  511.  
  512.   function ENGLISH ( ITEM : PRESSURE_FEET_OF_WATER ) return PRESSURE_ENGLISH
  513.       is
  514.  
  515.   begin
  516.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  517.   end ENGLISH ;
  518.  
  519.   function ENGLISH ( ITEM : PRESSURE_INCHES_OF_MERCURY ) return
  520.       PRESSURE_ENGLISH is
  521.  
  522.   begin
  523.     return DIMENSION ( UNDIMENSION( ITEM )) ;
  524.   end ENGLISH ;
  525. end PHYSICAL_UNITS_CONVERSION_ENGLISH ;
  526.