archive/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2025-08-26 22:34:27 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

8324665: Loose matching of space separators in the lenient date/time parsing mode

Browse source 
Reviewed-by: joehw, jlu
This commit is contained in:
Naoto Sato 2024-02-06 17:43:12 +00:00
parent 2d252ee06e
commit 96eb0390d6
4 changed files with 177 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

23
src/java.base/share/classes/java/time/format/DateTimeFormatterBuilder.java
View file

@ -1,5 +1,5 @@
/*
* Copyright (c) 2012, 2023, Oracle and/or its affiliates. All rights reserved.
* Copyright (c) 2012, 2024, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
@ -353,6 +353,10 @@ public final class DateTimeFormatterBuilder {
* The change will remain in force until the end of the formatter that is eventually
* constructed or until {@code parseLenient} is called.
*
* @implSpec A {@link Character#SPACE_SEPARATOR SPACE_SEPARATOR} in the input
* text will not match any other {@link Character#SPACE_SEPARATOR SPACE_SEPARATOR}s
* in the pattern with the strict parse style.
*
* @return this, for chaining, not null
*/
public DateTimeFormatterBuilder parseStrict() {
@ -372,6 +376,10 @@ public final class DateTimeFormatterBuilder {
* The change will remain in force until the end of the formatter that is eventually
* constructed or until {@code parseStrict} is called.
*
* @implSpec A {@link Character#SPACE_SEPARATOR SPACE_SEPARATOR} in the input
* text will match any other {@link Character#SPACE_SEPARATOR SPACE_SEPARATOR}s
* in the pattern with the lenient parse style.
*
* @return this, for chaining, not null
*/
public DateTimeFormatterBuilder parseLenient() {
@ -2731,9 +2739,11 @@ public final class DateTimeFormatterBuilder {
*/
static final class CharLiteralPrinterParser implements DateTimePrinterParser {
private final char literal;
private final boolean isSpaceSeparator;
private CharLiteralPrinterParser(char literal) {
this.literal = literal;
isSpaceSeparator = Character.getType(literal) == Character.SPACE_SEPARATOR;
}
@Override
@ -2750,9 +2760,10 @@ public final class DateTimeFormatterBuilder {
}
char ch = text.charAt(position);
if (ch != literal) {
if (context.isCaseSensitive() ||
if ((context.isCaseSensitive() ||
(Character.toUpperCase(ch) != Character.toUpperCase(literal) &&
Character.toLowerCase(ch) != Character.toLowerCase(literal))) {
Character.toLowerCase(ch) != Character.toLowerCase(literal))) &&
!spaceEquals(context, ch)) {
return ~position;
}
}
@ -2766,6 +2777,12 @@ public final class DateTimeFormatterBuilder {
}
return "'" + literal + "'";
}
private boolean spaceEquals(DateTimeParseContext context, char ch) {
return !context.isStrict() && isSpaceSeparator &&
Character.getType(ch) == Character.SPACE_SEPARATOR;
}
}
//-----------------------------------------------------------------------