Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!rochester!rutgers!cmcl2!yale!mfci!m3!genly
From: genly@bubble.multiflow.COM (Chris Hind Genly)
Newsgroups: comp.lang.eiffel
Subject: comments
Message-ID: <756@m3.mfci.UUCP>
Date: 6 Apr 89 18:03:15 GMT
Sender: news@mfci.UUCP
Organization: Multiflow Computer Inc., Branford CT
Lines: 17


I noticed in Appendix C.2 SYNTACTICAL SPECIFICATION of Object-oriented
software construction that comments are explicitly given in the
grammar.

                       Precondition = REQUIRE Assertion
	                  Assertion = {Assertion_clause ";" ...}
		   Assertion_Clause = [Tag_mark] Unlabeled_assertion_clause
			   Tag_mark = Tag ":"
	                        Tag = Identifier
	Unlabeled_assertion_clause = Boolean_expression | Comment



Does Eiffel treat comments in an unconventional sense?  Are they really
part of the grammar or are they removed by the lexer?  Can comments appear
anywhere?