swift-property-based/Tests/PropertyBasedTests/GenTests+Date.swift at c0a2cc9a545d533c62b01ea58fb724c34129bfae · x-sheep/swift-property-based · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
//
//  ShrinkTests+Date.swift
//  PropertyBased
//
//  Created by Lennard Sprong on 31/05/2025.
//

#if canImport(FoundationEssentials)
import FoundationEssentials
#elseif canImport(Foundation)
import Foundation
#endif
#if canImport(FoundationEssentials) || canImport(Foundation)

import Testing
import PropertyBased

extension Calendar {
    static var neutral: Calendar {
        var cal = Calendar(identifier: .iso8601)
        cal.timeZone = TimeZone(secondsFromGMT: 0)!
        return cal
    }
}

@Suite struct GenDateTests {
    @Test func testGenerateDateTime() async {
        await testGen(Gen.dateTime)
    }

    @Test func testGenerateDateWithoutTime() async {
        await testGen(Gen.date)

        await propertyCheck(input: Gen.date) { date in
            let components = Calendar.neutral.dateComponents([.hour, .minute, .second], from: date)
            #expect(components.hour == 0)
            #expect(components.minute == 0)
            #expect(components.second == 0)
        }
    }

    @Test func testGenerateDateInYear() async {
        await testGen(Gen.date(inYear: 2020))
        await propertyCheck(input: Gen.date(inYear: 2020)) { date in
            let year = Calendar.neutral.component(.year, from: date)
            #expect(year == 2020)
        }
    }

    @Test func testGenerateDateTimeInYear() async {
        await testGen(Gen.dateTime(inYear: 2020))
        await propertyCheck(input: Gen.dateTime(inYear: 2020)) { date in
            let year = Calendar.neutral.component(.year, from: date)
            #expect(year == 2020)
        }
    }

    @Test(.shrinking) func testGenerateYears() async {
        await propertyCheck(input: Gen.year(in: 2015...)) { year in
            #expect(year >= 2015)
        }
        await propertyCheck(input: Gen.year(in: ...2030)) { year in
            #expect(year <= 2030)
        }
        await propertyCheck(input: Gen.year(in: .min ... .max)) { year in
            #expect(abs(year - 2025) < 100)
        }
        await propertyCheck(input: Gen.year) { year in
            #expect(abs(year - 2025) < 100)
        }
    }

    @Test func testGenerateDateLiterals() async throws {
        let date = try #require(DateComponents(calendar: .neutral, year: 2019, month: 4, day: 15).date)
        try #require(date == "2019-04-15")

        await propertyCheck(input: Gen.date(in: "2020-01-20"...)) { date in
            let year = Calendar.neutral.component(.year, from: date)
            #expect(year >= 2020)
        }

        await propertyCheck(input: Gen.date(in: ..."2020-01-20T16:00:00+08:00")) { date in
            let year = Calendar.neutral.component(.year, from: date)
            #expect(year <= 2020)
        }

        await propertyCheck(input: Gen.date(in: "2022-12-25"..<"2023-01-01")) { date in
            let year = Calendar.neutral.component(.year, from: date)
            #expect(year == 2022)
        }

        await propertyCheck(input: Gen.date(in: ..<"2023-01-01")) { date in
            let year = Calendar.neutral.component(.year, from: date)
            #expect(year < 2023)
        }
    }

    @Test func testGenerateDateTimeLiterals() async {
        await propertyCheck(input: Gen.dateTime(in: "2020-01-20"...)) { date in
            let year = Calendar.neutral.component(.year, from: date)
            #expect(year >= 2020)
        }

        await propertyCheck(input: Gen.dateTime(in: ..<"2020-01-20T16:00:00+08:00")) { date in
            let year = Calendar.neutral.component(.year, from: date)
            #expect(year <= 2020)
        }
    }
}
#endif