Whitespace and comment pretokens

Whitespace = { PATTERN_WHITE_SPACE + }

Whitespace

(none)

Line_comment = { "//" ~ LINE_COMMENT_CONTENT }
LINE_COMMENT_CONTENT = { ( !"\n" ~ ANY )* }

LineComment


`comment content`	from `LINE_COMMENT_CONTENT`

Block_comment = { "/*" ~ BLOCK_COMMENT_CONTENT ~ "*/" }
BLOCK_COMMENT_CONTENT = { ( Block_comment | !"*/" ~ !"/*" ~ ANY ) * }

BlockComment


`comment content`	from `BLOCK_COMMENT_CONTENT`

Note: See Nested block comments for discussion of the !"/*" subexpression.

Unterminated_block_comment = { "/*" }

Reserved

(none)

Note: This definition makes sure that an unterminated block comment isn't accepted as punctuation (* followed by /).