Only parse exactly three slashes as beginning of documentation

fnussbaum · fnussbaum · commit 9c7b16f45183 · 2024-03-25T17:12:18.000+01:00
diff --git a/src/main/scala/viper/silver/parser/FastParser.scala b/src/main/scala/viper/silver/parser/FastParser.scala
@@ -33,7 +33,7 @@ object FastParserCompanion {
   implicit val whitespace = {
     import NoWhitespace._
     implicit ctx: ParsingRun[_] =>
-      NoTrace((("/*" ~ (!StringIn("*/") ~ AnyChar).rep ~ "*/") | ("//" ~ !StringIn("/") ~ CharsWhile(_ != '\n').? ~ ("\n" | End)) | " " | "\t" | "\n" | "\r").rep)
+      NoTrace((("/*" ~ (!"*/" ~ AnyChar).rep ~ "*/") | ((("//" ~ !("/")) | "////") ~ CharsWhile(_ != '\n').? ~ ("\n" | End)) | " " | "\t" | "\n" | "\r").rep)
   }
 
   def identStarts[$: P] = CharIn("A-Z", "a-z", "$_")

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ object FastParserCompanion {`
`33`	`33`	`implicit val whitespace = {`
`34`	`34`	`import NoWhitespace._`
`35`	`35`	`implicit ctx: ParsingRun[_] =>`
`36`		`- NoTrace((("/" ~ (!StringIn("/") ~ AnyChar).rep ~ "*/") \| ("//" ~ !StringIn("/") ~ CharsWhile(_ != '\n').? ~ ("\n" \| End)) \| " " \| "\t" \| "\n" \| "\r").rep)`
	`36`	`+ NoTrace((("/" ~ (!"/" ~ AnyChar).rep ~ "*/") \| ((("//" ~ !("/")) \| "////") ~ CharsWhile(_ != '\n').? ~ ("\n" \| End)) \| " " \| "\t" \| "\n" \| "\r").rep)`
`37`	`37`	`}`
`38`	`38`
`39`	`39`	`def identStarts[$: P] = CharIn("A-Z", "a-z", "$_")`