enso/std-bits
Radosław Waśko 12c4f2981d
More robust Date/Time format patterns parsing (#7826)
- Closes #7461 by introducing a `Date_Time_Formatter` type and making parsing date time formats more robust and safer.
- The default ('simple') set of patterns is slightly simplified and made case insensitive (except for `M/m` and `H/h`) to avoid the `YYYY` vs `yyyy` issues and make it less error prone.
- The `YYYY` now has the same meaning as `yyyy` in simple mode. The old meaning (week-based year) is moved to a _separate mode_, triggered by `Date_Time_Formatter.from_iso_week_date_pattern`.
- Full Java syntax, as well as custom-built Java `DateTimeFormatter` can also be used by `Date_Time_Formatter.from_java`.
- Text-based constants (e.g. `ISO_ZONED_DATE_TIME`) have now become methods on `Date_Time_Formatter`, e.g. `Date_Time_Formatter.iso_zoned_date_time`).
2023-09-22 10:12:18 +00:00
..
aws/src/main/java/org/enso/aws S3 Read Access, Input Stream based reading (#7776) 2023-09-20 15:09:11 +00:00
base/src/main/java/org/enso/base More robust Date/Time format patterns parsing (#7826) 2023-09-22 10:12:18 +00:00
benchmarks/src/bench/java/org/enso/benchmarks/libs Invoke all Enso benchmarks via JMH (#7101) 2023-08-07 12:39:01 +00:00
database/src/main/java/org/enso/database Execution Context integration for Database write operations (#7072) 2023-06-27 15:51:21 +00:00
google-api Google Spreadsheet Reading (#1976) 2021-09-03 21:41:12 +02:00
image/src/main/java/org/enso/image Add safepoints to standard libraries Java polyglot helpers (#7183) 2023-07-05 14:12:13 +00:00
table/src/main More robust Date/Time format patterns parsing (#7826) 2023-09-22 10:12:18 +00:00