1.5. Trivia#

WHITESPACE = (" " | "\t")+;

END_OF_LINE = "\n" | ("\r" "\n"?);

SINGLE_LINE_COMMENT = "//" (?!"/") (!("\r" | "\n"))*;

MULTI_LINE_COMMENT = "/*" (?!"*" !"/") (!"*" | ("*" (?!"/")))* "*/";

SINGLE_LINE_NAT_SPEC_COMMENT = "///" (!("\r" | "\n"))*;

MULTI_LINE_NAT_SPEC_COMMENT = "/**" (?!"/") (!"*" | ("*" (?!"/")))* "*/";