v1.0.7.0 (Full Release)

2023-03-13 10:30:37 +02:00
parent 2c5a7923b0
commit bf73ddb6c3
50 changed files with 504 additions and 193 deletions
@@ -0,0 +1,75 @@
+using System;
+using System.Diagnostics;
+using Barotrauma;
+using FluentAssertions;
+using FsCheck;
+using Xunit;
+
+namespace TestProject;
+
+public sealed class SerializableDateTimeTests
+{
+    private class CustomGenerators
+    {
+        private const short MinutesPerDay = 24 * 60;
+        private const int SecondsPerDay = MinutesPerDay * 60;
+
+        public static Arbitrary<SerializableDateTime> SerializableDateTimeGenerator()
+        {
+            return Arb.From(
+                from int dateTimeDay in Gen.Choose(0, (int)(DateTime.MaxValue.Ticks / TimeSpan.TicksPerDay))
+                from int dateTimeSeconds in Gen.Choose(0, SecondsPerDay)
+                from int timeZoneMinutes in Gen.Choose(-MinutesPerDay / 2, MinutesPerDay / 2)
+                select new SerializableDateTime(
+                    DateTime.MinValue + TimeSpan.FromDays(dateTimeDay) + TimeSpan.FromSeconds(dateTimeSeconds),
+                    new SerializableTimeZone(TimeSpan.FromMinutes(timeZoneMinutes))));
+        }
+    }
+    
+    public SerializableDateTimeTests()
+    {
+        Arb.Register<TestProject.CustomGenerators>();
+        Arb.Register<CustomGenerators>();
+    }
+
+    [Fact]
+    public void EqualityTest()
+    {
+        Prop.ForAll<SerializableDateTime>(EqualityCheck).QuickCheckThrowOnFailure();
+    }
+
+    [Fact]
+    public void ParseTest()
+    {
+        Prop.ForAll<SerializableDateTime>(ParseCheck).QuickCheckThrowOnFailure();
+    }
+
+    [Fact]
+    public void ToLocalTest()
+    {
+        Prop.ForAll<SerializableDateTime>(ToLocalCheck).QuickCheckThrowOnFailure();
+    }
+
+    private static void EqualityCheck(SerializableDateTime original)
+    {
+        var local = original.ToLocal();
+        var utc = original.ToUtc();
+        original.Should().BeEquivalentTo(local, because: "original must equal local");
+        original.Should().BeEquivalentTo(utc, because: "original must equal utc");
+        local.Should().BeEquivalentTo(utc, because: "local must equal utc");
+    }
+
+    private static void ParseCheck(SerializableDateTime original)
+    {
+        var str = original.ToString();
+        SerializableDateTime.Parse(str).TryUnwrap(out var parsedTime).Should().BeTrue();
+        parsedTime.Should().BeEquivalentTo(original);
+    }
+
+    private static void ToLocalCheck(SerializableDateTime original)
+    {
+        var localNow = SerializableDateTime.LocalNow;
+        var convertedDateTime = original.ToLocal();
+        localNow.TimeZone.Should().BeEquivalentTo(convertedDateTime.TimeZone);
+    }
+}