next up previous
Next: Keywords Up: Lexical Structure Previous: WhiteSpace

Comments

The three kinds of comment are specified by regular expressions and auxiliary scanners rather than a context-free grammar:

Comment[8]:

        $"/*"   (auxCComment)
        $"//"   (auxEOL)
This macro is invoked in definition 5.

The auxiliary scanner auxCComment accumulates characters up to and including the next occurrence of the sequence */; auxNewLine was discussed above.



2008-09-11