Final comments and code for Ada Units Checking

Final comments and code for Ada Units Checking

[William A Whitaker]

Comments on the solicitation on Units checking in Ada are documented in 
<A HREF="http://www.erols.com/whitaker/si_cmts.txt">SI_CMTS.TXT</A>. 

I wish to thank all those who provided comments.

A summary of the initial proposal and changes made in in
<A HREF="http://www.erols.com/whitaker/iss_418.htm">Issue 418</A>. 

The code for the Ada units checking example is in
<A HREF="http://www.erols.com/whitaker/si_check.ada">SI_CHECK.ADA</A>. 

The code for the Ada units checking generic example is in
<A HREF="http://www.erols.com/whitaker/si_gen.ada">SI_GEN.ADA</A>. 

The code for the non-checking example is in
<A HREF="http://www.erols.com/whitaker/si_real.ada">SI_REAL.ADA</A>. 

=========================================

Summary of latest changes:

As a result of numerous comments, the Ada versions now are for type
Floating.
The AdaTPD version keeps Real, as per decision of the Working Group.

subtype Dimensionless remains as an option, in agreement with SI.

Many symbols had snuck in in improper (Upper) case - corrected.

Other_Units have been rearranged somewhat and body improved.

Test_SI now has an example of Other_Units and of Unit_Text_IO,
so it runs all the packages.

Re: Final comments and code for Ada Units Checking

[W. Wesley Groleau x4923]

From the comments:

  .....  As an example in SI, each of ms, Ms, mS, and MS 
  means something quite different.  Many Ada programmers have an
arbitrary 
  coding-style convention ....  That does not mean we 
  have to do likewise.  Meter is _always_ to be symbolized in SI as "m", 
  _never_ "M".  Likewise, second is _always_ to be symbolized as "s",
_never_ 
  "S" (which is the _only_ acceptable symbol for siemens, the derived
unit of 
  conductance), and the kilogram _always_ as "kg", _never_ as "Kg".  
  ......  (By the way, one of my few pet 
  peeves with Ada is that it does not require an implementation to
provide an 
  option of making case significant for identifiers for more rigorous 
  handling of scientific symbols, as can be done in C and C++ [hold nose 
  tightly]--I understand and concur with the default or standard
situation 
  of having case be insignificant, but there are important scenarios,
such 
  as this, where a programmer should be able to make effective use of
case.)

:-) :-) :-)
I can see it already:  pragma Case_Sensitive ( "ms", "Ms", "mS", "MS" );
:-) :-) :-)