From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,972413782681f45b X-Google-Attributes: gid103376,public From: "Robert C. Leif, Ph.D." Subject: RE: Units of Measure (was: Re: Disallowing Pre-Defined Operations) Date: 2000/03/22 Message-ID: #1/1 X-Deja-AN: 601158692 Content-Transfer-Encoding: 8bit References: <200003160642.HAA27776@bulgaria.otn.eurocopter.de> To: "Christoph Grein" , X-Priority: 3 (Normal) Content-Type: text/plain; charset="iso-8859-1" X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 X-Complaints-To: usenet@enst.fr Importance: Normal X-Trace: menuisier.enst.fr 953785425 14252 137.194.161.2 (23 Mar 2000 04:23:45 GMT) Organization: ENST, France X-BeenThere: comp.lang.ada@ada.eu.org X-MSMail-Priority: Normal Mime-Version: 1.0 Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Date: 23 Mar 2000 04:23:45 GMT Newsgroups: comp.lang.ada Date: 2000-03-23T04:23:45+00:00 List-Id: From: Bob Leif To: Christop Grein et al. I listed the two documents covering ABBET. I believe that I have copies of Bill Whitaker's Ada sources from a slightly later version. I have played with the sources and made the fundamental data type tagged. I believe that I added the optimize_part type Unit_W_optimize_type is tagged record Value_Part : real := 0.0; M : Unit_Power; Kg : Unit_Power; S : Unit_Power; A : Unit_Power; K : Unit_Power; Mol : Unit_Power; Cd : Unit_Power; Optimize_Part : Boolean := False; end record; From: www.IEEE.ORG 1226.1-1993 IEEE ABBET� Trial-Use Standard for Common Ada Packages for A Broad-Based Environment for Test (ABBET�) 1993 Ada packages that specify general purpose test support data types and services for A Broad-Based Environment for Test (ABBET) are defined. They are to be used to support the specification, implementation, and use of the other IEEE ABBET component standards. ABBET uses the features of Ada to specify a comprehensive environment for integrating product design data, test requirements/strategies, and test results management in the implementation of automated test systems and test control programs. 1993/ /104pp List Price: $76.00 IEEE Member Price: $61.00 ISBN 1-5593-7360-1 IEEE Product No. SH16709-TBR IEEE Standard No.:1226.1-1993 Availability: Available to Ship ----------------------------------------------------- 1226.2-1993 IEEE ABBET� Trial-Use Standard for Ada-Based ATLAS-Level Test Procedure Interface for A Broad-Based Environment for Test (ABBET�) 1993 Ada packages that specify data types and services for the Ada-based ATLAS-level test procedure interface for a broad-based environment for test (ABBET) are defined. They are to be used to support the development of Ada-based, UUT-directed, signal-oriented test programs. IEEE ABBET uses the features of Ada to specify a comprehensive environment for integrating product design data, test requirements/strategies, and test results management in the implementation of automated test systems and test control programs. 1993/ /448pp List Price: $89.00 IEEE Member Price: $71.00 ISBN 1-5593-7386-5 IEEE Product No. SH16949-TBR IEEE Standard No.:1226.2-1993 Availability: Available to Ship -------------------------------------------------------------- -----Original Message----- From: Christoph Grein [mailto:christoph.grein@eurocopter.de] Sent: Wednesday, March 15, 2000 10:43 PM To: comp.lang.ada@ada.eu.org Subject: Units of Measure (was: Re: Disallowing Pre-Defined Operations) [I think this should become a new discussion thread.] Although this has already been discussed to death and there are a plethora of ways how to deal with dimensions, this is a vivid point of interest. I also strongly feel that such a feature in the language is necessary. (Would this have prevented the latest NASA Mars mission form failing?) [Just a side note: There are engineers with a queer inclination to dimensions. In our project, one of our system engineers on the implementing side complained at an engineer on the requirements side about a formula that from a units point of view could not be correct - the answer: "This is not a school test..." and refusal to reconsider the equation.]