Skip to content

StringLiterals.sdf3

pdmosses/java-front/lang.java/syntax/java/literals/StringLiterals.sdf3

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
31
32
33
34
35

module java/literals/StringLiterals

// 3.10.5. String Literals

imports
  java/literals/EscapeSequences
  java/lexical/UnicodeEscapes

context-free start-symbols

  StringLiteral

context-free sorts

  

context-free syntax

  .StringLiteral = StringLit  

lexical sorts

  StringLit

lexical syntax

  StringLit = "\"" StringPart* "\""
  StringPart = UnicodeEscape
  StringPart = EscapeSeq
  StringPart = StringChars
   = ~[\"\\\n\r]+

lexical restrictions

  StringChars -/- ~[\"\\\n\r]