enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-23 08:08:34 +03:00
Code Issues Projects Releases Wiki Activity

Use Java's LocalDate for parsing date in tests (#3650)

Browse Source 
Rather than using `Date.parse`, which is already being tested in other
tests, we use `LocalDate.parse`. Making use of a helper class to
mitigate API differences.
This commit is contained in:
Hubert Plociniczak 2022-08-17 11:34:31 +02:00 committed by GitHub
parent fbf6c800f1
commit 68f9fce21a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
test/Tests/src/Data/Time/Date_Spec.enso
View File

@ -9,12 +9,13 @@ import Standard.Base.Data.Time.Zone
import Standard.Test
polyglot java import java.time.LocalDate
polyglot java import java.time.format.DateTimeFormatter
spec =
specWith "Date" Date.new Date.parse
specWith "JavaScriptDate" js_date js_parse
specWith "JavaDate" java_date Date.parse
specWith "JavaScriptArrayWithADate" js_array_date Date.parse
specWith "JavaDate" java_date java_parse
specWith "JavaScriptArrayWithADate" js_array_date js_parse
specWith name create_new_date parse_date =
Test.group name <|
@ -150,11 +151,15 @@ js_parse text format=Nothing =
js_date year month=1 day=1 =
Panic.catch Any (js_date_impl year month day) (err -> Error.throw (Time.Time_Error err.payload.cause))
js_array_date year month=1 day=1 =
arr = Panic.catch Any (js_array_dateCreate year month day) (err -> Error.throw (Time.Time_Error err.payload.cause))
arr.at(0)
java_parse date_text pattern=Nothing =
if pattern == Nothing then Panic.catch Polyglot_Error (LocalDate.parse date_text) (err -> Error.throw (Time.Time_Error err.payload.cause.getMessage)) else
formatter = DateTimeFormatter.ofPattern(pattern)
Panic.catch Polyglot_Error (LocalDate.parse date_text formatter) (err -> Error.throw (Time.Time_Error err.payload.cause.getMessage))
java_date year month=1 day=1 =
Panic.catch Any (LocalDate.of year month day) (err -> Error.throw (Time.Time_Error <| err.payload.to_display_text.drop (Text_Sub_Range.First 16)))