|
|
@@ -54,27 +54,6 @@ rule '0'->'9' {
|
|
|
send $integer$
|
|
|
}
|
|
|
|
|
|
-# Literal character strings
|
|
|
-
|
|
|
-style stringStyle -> "String Constants"
|
|
|
-$"string"$ ! tokenString style stringStyle %nonAtomicSelection error message "a character string constant \"...\""
|
|
|
-
|
|
|
-
|
|
|
-message incorrectStringEnd : "string does not end with '\"'"
|
|
|
-
|
|
|
-rule '"' {
|
|
|
- repeat
|
|
|
- while ' ' | '!' | '#'-> '\uFFFD' :
|
|
|
- enterCharacterIntoString (!?tokenString !*)
|
|
|
- end
|
|
|
- select
|
|
|
- case '"' :
|
|
|
- send $"string"$
|
|
|
- default
|
|
|
- error incorrectStringEnd
|
|
|
- end
|
|
|
-}
|
|
|
-
|
|
|
# Delimiters
|
|
|
|
|
|
style delimitersStyle -> "Delimiters"
|
