[comp.lang.eiffel] comments

genly@bubble.multiflow.COM (Chris Hind Genly) (04/07/89)

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?