diff options
| author | Aliaksei Budavei <32549825+zzzyxwvut@users.noreply.github.com> | 2024-03-03 17:51:01 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-03 15:51:01 +0100 |
| commit | b3030b653bbdc08c91138001d1987d804f6ebf46 (patch) | |
| tree | 058821e442829afbdd71dd4f778857bfc6abcdee /runtime/syntax/testdir/input | |
| parent | e93afc2e612647e79e1082096ffd6c61e01ac691 (diff) | |
runtime(java): Recognise text blocks (#14128)
Also, accept as valid the space escape sequence `\s`.
Also, consistently use the claimed `javaDebug` prefix for
syntax group definitions kept under `g:java_highlight_debug`.
Since `javaStringError` is commented out for its generality,
let's comment out `javaDebugStringError`, its copy, as well.
References:
https://openjdk.org/jeps/378
https://docs.oracle.com/javase/specs/jls/se17/html/jls-3.html#jls-3.10.7
Closes #10910.
Signed-off-by: Aliaksei Budavei <0x000c70@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to 'runtime/syntax/testdir/input')
| -rw-r--r-- | runtime/syntax/testdir/input/java_escapes.java | 4 | ||||
| -rw-r--r-- | runtime/syntax/testdir/input/java_string.java | 44 |
2 files changed, 46 insertions, 2 deletions
diff --git a/runtime/syntax/testdir/input/java_escapes.java b/runtime/syntax/testdir/input/java_escapes.java index 624d4fcd89..eadaa420b4 100644 --- a/runtime/syntax/testdir/input/java_escapes.java +++ b/runtime/syntax/testdir/input/java_escapes.java @@ -11,13 +11,13 @@ class EscapesTests static { char ee[] = { - '\b', '\t', + '\b', '\s', '\t', '\n', '\f', '\r', '\"', '\'', '\\', }; System.out.println(new String[] { - "\b", "\t", + "\b", "\s", "\t", "\n", "\f", "\r", "\"", "\'", "\\", }); diff --git a/runtime/syntax/testdir/input/java_string.java b/runtime/syntax/testdir/input/java_string.java new file mode 100644 index 0000000000..51c30b9da8 --- /dev/null +++ b/runtime/syntax/testdir/input/java_string.java @@ -0,0 +1,44 @@ +class StringTests +{ + static { + String s1 = "A quick brown fox jumps over the lazy dog"; + String s2 = "\"Woof\s!\""; + String s3 = """ + A\s\ + quick \ + brown\s\ + fox \ + jumps\s\ + over \ + the\s\ + lazy \ + dog"""; + String s4 = """ + "Woof\s!\""""; + String s5 = """ + String s3 = \""" + A\\s\\ + quick \\ + brown\\s\\ + fox \\ + jumps\\s\\ + over \\ + the\\s\\ + lazy \\ + dog\""";"""; + + // There are SPACE, FF, HT, CR, and LF after """. + String empty = """
+ """; + + System.out.println(""" + " + "" + ""\u005c" + ""\u005c"" + ""\"\u0022\u0022 + ""\"""\u005c\u0022 + ""\"""\"" + ""\"""\""\""""); + } +} |