#37442

pending completion

Build # #37442

Build Type

push

local

Committed by

web-flow

Commit Message

Inference: more thorough `UnionAll` renaming in `apply_type_tfunc` (#48662)

Run Details

17 of 17 new or added lines in 1 file covered. (100.0%)

70703 of 82352 relevant lines covered (85.85%)

32294788.99 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

46.15

/stdlib/Dates/src/conversions.jl

# This file is a part of Julia. License is MIT: https://julialang.org/license

# Conversion/Promotion

"""
    Date(dt::DateTime) -> Date

Convert a `DateTime` to a `Date`. The hour, minute, second, and millisecond parts of
the `DateTime` are truncated, so only the year, month and day parts are used in
construction.
"""
Date(dt::TimeType) = convert(Date, dt)

"""
    DateTime(dt::Date) -> DateTime

Convert a `Date` to a `DateTime`. The hour, minute, second, and millisecond parts of
the new `DateTime` are assumed to be zero.
"""
DateTime(dt::TimeType) = convert(DateTime, dt)

"""
    Time(dt::DateTime) -> Time

Convert a `DateTime` to a `Time`. The hour, minute, second, and millisecond parts of
the `DateTime` are used to create the new `Time`. Microsecond and nanoseconds are zero by default.
"""
Time(dt::DateTime) = convert(Time, dt)

Base.convert(::Type{DateTime}, dt::Date) = DateTime(UTM(value(dt) * 86400000))
Base.convert(::Type{Date}, dt::DateTime) = Date(UTD(days(dt)))
Base.convert(::Type{Time}, dt::DateTime) = Time(Nanosecond((value(dt) % 86400000) * 1000000))

Base.convert(::Type{DateTime},x::Millisecond)  = DateTime(Dates.UTInstant(x))  # Converts Rata Die milliseconds to a DateTime
Base.convert(::Type{Millisecond},dt::DateTime) = Millisecond(value(dt))        # Converts DateTime to Rata Die milliseconds
Base.convert(::Type{Date},x::Day)  = Date(Dates.UTInstant(x))  # Converts Rata Die days to a Date
Base.convert(::Type{Day},dt::Date) = Day(value(dt))            # Converts Date to Rata Die days

### External Conversions
const UNIXEPOCH = value(DateTime(1970)) #Rata Die milliseconds for 1970-01-01T00:00:00

"""
    unix2datetime(x) -> DateTime

Take the number of seconds since unix epoch `1970-01-01T00:00:00` and convert to the
corresponding `DateTime`.
"""
function unix2datetime(x)
    rata = UNIXEPOCH + round(Int64, Int64(1000) * x)
    return DateTime(UTM(rata))
end
"""
    datetime2unix(dt::DateTime) -> Float64

Take the given `DateTime` and return the number of seconds
since the unix epoch `1970-01-01T00:00:00` as a [`Float64`](@ref).
"""
datetime2unix(dt::DateTime) = (value(dt) - UNIXEPOCH) / 1000.0

"""
    now() -> DateTime

Return a `DateTime` corresponding to the user's system time including the system timezone
locale.
"""
function now()
    tv = Libc.TimeVal()
    tm = Libc.TmStruct(tv.sec)
    return DateTime(tm.year + 1900, tm.month + 1, tm.mday, tm.hour, tm.min, tm.sec, div(tv.usec, 1000))
end

"""
    today() -> Date

Return the date portion of `now()`.
"""
today() = Date(now())

"""
    now(::Type{UTC}) -> DateTime

Return a `DateTime` corresponding to the user's system time as UTC/GMT.
For other time zones, see the TimeZones.jl package.

# Example
```julia
julia> now(UTC)
2023-01-04T10:52:24.864
```
"""
now(::Type{UTC}) = unix2datetime(time())

"""
    rata2datetime(days) -> DateTime

Take the number of Rata Die days since epoch `0000-12-31T00:00:00` and return the
corresponding `DateTime`.
"""
rata2datetime(days) = DateTime(yearmonthday(days)...)

"""
    datetime2rata(dt::TimeType) -> Int64

Return the number of Rata Die days since epoch from the given `Date` or `DateTime`.
"""
datetime2rata(dt::TimeType) = days(dt)

# Julian conversions
const JULIANEPOCH = value(DateTime(-4713, 11, 24, 12))

"""
    julian2datetime(julian_days) -> DateTime

Take the number of Julian calendar days since epoch `-4713-11-24T12:00:00` and return the
corresponding `DateTime`.
"""
function julian2datetime(f)
    rata = JULIANEPOCH + round(Int64, Int64(86400000) * f)
    return DateTime(UTM(rata))
end

"""
    datetime2julian(dt::DateTime) -> Float64

Take the given `DateTime` and return the number of Julian calendar days since the julian
epoch `-4713-11-24T12:00:00` as a [`Float64`](@ref).
"""
datetime2julian(dt::DateTime) = (value(dt) - JULIANEPOCH) / 86400000.0

1	# This file is a part of Julia. License is MIT: https://julialang.org/license
2
3	# Conversion/Promotion
4
5	"""
6	Date(dt::DateTime) -> Date
7
8	Convert a `DateTime` to a `Date`. The hour, minute, second, and millisecond parts of
9	the `DateTime` are truncated, so only the year, month and day parts are used in
10	construction.
11	"""
12	Date(dt::TimeType) = convert(Date, dt)	1,741✔
13
14	"""
15	DateTime(dt::Date) -> DateTime
16
17	Convert a `Date` to a `DateTime`. The hour, minute, second, and millisecond parts of
18	the new `DateTime` are assumed to be zero.
19	"""
20	DateTime(dt::TimeType) = convert(DateTime, dt)	3,039✔
21
22	"""
23	Time(dt::DateTime) -> Time
24
25	Convert a `DateTime` to a `Time`. The hour, minute, second, and millisecond parts of
26	the `DateTime` are used to create the new `Time`. Microsecond and nanoseconds are zero by default.
27	"""
28	Time(dt::DateTime) = convert(Time, dt)	×
29
30	Base.convert(::Type{DateTime}, dt::Date) = DateTime(UTM(value(dt) * 86400000))	2,310✔
31	Base.convert(::Type{Date}, dt::DateTime) = Date(UTD(days(dt)))	1,722✔
32	Base.convert(::Type{Time}, dt::DateTime) = Time(Nanosecond((value(dt) % 86400000) * 1000000))	×
33
34	Base.convert(::Type{DateTime},x::Millisecond) = DateTime(Dates.UTInstant(x)) # Converts Rata Die milliseconds to a DateTime	×
35	Base.convert(::Type{Millisecond},dt::DateTime) = Millisecond(value(dt)) # Converts DateTime to Rata Die milliseconds	×
36	Base.convert(::Type{Date},x::Day) = Date(Dates.UTInstant(x)) # Converts Rata Die days to a Date	×
37	Base.convert(::Type{Day},dt::Date) = Day(value(dt)) # Converts Date to Rata Die days	×
38
39	### External Conversions
40	const UNIXEPOCH = value(DateTime(1970)) #Rata Die milliseconds for 1970-01-01T00:00:00
41
42	"""
43	unix2datetime(x) -> DateTime
44
45	Take the number of seconds since unix epoch `1970-01-01T00:00:00` and convert to the
46	corresponding `DateTime`.
47	"""
48	function unix2datetime(x)	3✔
49	rata = UNIXEPOCH + round(Int64, Int64(1000) * x)	3✔
50	return DateTime(UTM(rata))	3✔
51	end
52	"""
53	datetime2unix(dt::DateTime) -> Float64
54
55	Take the given `DateTime` and return the number of seconds
56	since the unix epoch `1970-01-01T00:00:00` as a [`Float64`](@ref).
57	"""
58	datetime2unix(dt::DateTime) = (value(dt) - UNIXEPOCH) / 1000.0	×
59
60	"""
61	now() -> DateTime
62
63	Return a `DateTime` corresponding to the user's system time including the system timezone
64	locale.
65	"""
66	function now()	469✔
67	tv = Libc.TimeVal()	469✔
68	tm = Libc.TmStruct(tv.sec)	469✔
69	return DateTime(tm.year + 1900, tm.month + 1, tm.mday, tm.hour, tm.min, tm.sec, div(tv.usec, 1000))	469✔
70	end
71
72	"""
73	today() -> Date
74
75	Return the date portion of `now()`.
76	"""
77	today() = Date(now())	×
78
79	"""
80	now(::Type{UTC}) -> DateTime
81
82	Return a `DateTime` corresponding to the user's system time as UTC/GMT.
83	For other time zones, see the TimeZones.jl package.
84
85	# Example
86	```julia
87	julia> now(UTC)
88	2023-01-04T10:52:24.864
89	```
90	"""
91	now(::Type{UTC}) = unix2datetime(time())	3✔
92
93	"""
94	rata2datetime(days) -> DateTime
95
96	Take the number of Rata Die days since epoch `0000-12-31T00:00:00` and return the
97	corresponding `DateTime`.
98	"""
99	rata2datetime(days) = DateTime(yearmonthday(days)...)	×
100
101	"""
102	datetime2rata(dt::TimeType) -> Int64
103
104	Return the number of Rata Die days since epoch from the given `Date` or `DateTime`.
105	"""
106	datetime2rata(dt::TimeType) = days(dt)	×
107
108	# Julian conversions
109	const JULIANEPOCH = value(DateTime(-4713, 11, 24, 12))
110
111	"""
112	julian2datetime(julian_days) -> DateTime
113
114	Take the number of Julian calendar days since epoch `-4713-11-24T12:00:00` and return the
115	corresponding `DateTime`.
116	"""
117	function julian2datetime(f)	×
118	rata = JULIANEPOCH + round(Int64, Int64(86400000) * f)	×
119	return DateTime(UTM(rata))	×
120	end
121
122	"""
123	datetime2julian(dt::DateTime) -> Float64
124
125	Take the given `DateTime` and return the number of Julian calendar days since the julian
126	epoch `-4713-11-24T12:00:00` as a [`Float64`](@ref).
127	"""
128	datetime2julian(dt::DateTime) = (value(dt) - JULIANEPOCH) / 86400000.0	×

JuliaLang / julia / #37442

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous