Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!umich!samsung!cs.utexas.edu!asuvax!mcdphx!dover!digital!atc!shelley From: shelley@atc.sps.mot.com (Norman K. Shelley) Newsgroups: comp.lang.eiffel Subject: Re: Assertion tags Message-ID: <4867dc47.12c9a@digital.sps.mot.com> Date: 2 Feb 90 16:35:22 GMT References: <120005@gore.com> Sender: news@digital.sps.mot.com Reply-To: shelley@atc.sps.mot.com (Norman K. Shelley) Lines: 25 In article , jwg1@gte.com (James W. Gish) writes: > In article <1758@esquire.UUCP> yost@esquire.UUCP (David A. Yost) writes: > > I think assertion tags should be strings, not > > identifiers, like this: > > "non-void widget": not w.Void > Why ? I don't see the advantage. > -- Advantages: 1.) When an assertion fails the tag is printed out ALL in lower case because Eiffel is case insensitive. A string would allow upper and lowercase characters which allows for more readable assertion failure messages. 2.) A string also would allow the use of whitespace to delineate words which would dramatically improve readability of the assertion failure message. Norman Shelley Motorola - ATC 2200 W. Broadway M350 Mesa, AZ 85202 ...!uunet!dover!atc!shelley shelley@atc.sps.mot.com (602) 962-2473