Guest User

Untitled

a guest
Jun 23rd, 2018
74
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.58 KB | None | 0 0
  1. <comment> ::= <simple comment> | <bracketed comment>
  2.  
  3. <simple comment> ::=
  4. <simple comment introducer> [ <comment character> ... ] <newline>
  5.  
  6. <simple comment introducer> ::=
  7. <minus sign> <minus sign> [ <minus sign> ... ]
  8.  
  9. <bracketed comment> ::=
  10. <bracketed comment introducer> <bracketed comment contents>
  11. <bracketed comment terminator>
  12.  
  13. <bracketed comment introducer> ::= <slash> <asterisk>
  14.  
  15. <bracketed comment terminator> ::= <asterisk> <slash>
  16.  
  17. <bracketed comment contents> ::= [ { <comment character> | <separator> }... ]
  18.  
  19. <comment character> ::= <nonquote character> | <quote>
Add Comment
Please, Sign In to add comment