1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
%%%
%% Section 3.10.5: String Literals
%%
%% @author Martin Bravenboer <martin@cs.uu.nl>
%%%
module languages/java-15/lexical/literals/StringLiterals
imports
languages/java-15/lexical/literals/EscapeSequences
languages/java-15/lexical/UnicodeEscapes
exports
sorts
StringLiteral
StringPart
StringChars
FooStringChars
syntax
StringLiteral -> <StringLiteral-CF>
"\"" StringPart* "\"" -> StringLiteral {cons("String")}
StringChars -> StringPart {cons("Chars")}
UnicodeEscape -> StringPart
EscapeSeq -> StringPart
<FooStringChars-LEX> -> StringChars
~[\"\\\n\13]+ -> <FooStringChars-LEX>
restrictions
StringChars -/- ~[\"\\\n\13]
|
