From 6c10b013d8a62d5cd87f62a865432fd03c32fc55 Mon Sep 17 00:00:00 2001 From: sabihoshi Date: Sun, 17 Oct 2021 17:37:58 +0800 Subject: [PATCH] Initialize non-nullable properties --- GenshinLyreMidiPlayer.Data/Entities/History.cs | 2 +- GenshinLyreMidiPlayer.Data/Git/GitVersion.cs | 6 +++--- GenshinLyreMidiPlayer.Data/LyreContext.cs | 2 +- GenshinLyreMidiPlayer.Data/Midi/MidiFile.cs | 2 +- 4 files changed, 6 insertions(+), 6 deletions(-) diff --git a/GenshinLyreMidiPlayer.Data/Entities/History.cs b/GenshinLyreMidiPlayer.Data/Entities/History.cs index 4aa3ac3..4313a2c 100644 --- a/GenshinLyreMidiPlayer.Data/Entities/History.cs +++ b/GenshinLyreMidiPlayer.Data/Entities/History.cs @@ -10,6 +10,6 @@ public History() { } public Guid Id { get; set; } - public string Path { get; set; } + public string Path { get; set; } = null!; } } \ No newline at end of file diff --git a/GenshinLyreMidiPlayer.Data/Git/GitVersion.cs b/GenshinLyreMidiPlayer.Data/Git/GitVersion.cs index d1b7f02..50d145f 100644 --- a/GenshinLyreMidiPlayer.Data/Git/GitVersion.cs +++ b/GenshinLyreMidiPlayer.Data/Git/GitVersion.cs @@ -9,11 +9,11 @@ public class GitVersion [JsonPropertyName("prerelease")] public bool Prerelease { get; set; } - [JsonPropertyName("name")] public string Name { get; set; } + [JsonPropertyName("name")] public string Name { get; set; } = null!; - [JsonPropertyName("tag_name")] public string TagName { get; set; } + [JsonPropertyName("tag_name")] public string TagName { get; set; } = null!; - [JsonPropertyName("html_url")] public string Url { get; set; } + [JsonPropertyName("html_url")] public string Url { get; set; } = null!; public Version Version => new(TagName.Replace("v", string.Empty)); } diff --git a/GenshinLyreMidiPlayer.Data/LyreContext.cs b/GenshinLyreMidiPlayer.Data/LyreContext.cs index 0973e08..2a6422f 100644 --- a/GenshinLyreMidiPlayer.Data/LyreContext.cs +++ b/GenshinLyreMidiPlayer.Data/LyreContext.cs @@ -7,6 +7,6 @@ public class LyreContext : DbContext { public LyreContext(DbContextOptions options) : base(options) { } - public DbSet History { get; set; } + public DbSet History { get; set; } = null!; } } \ No newline at end of file diff --git a/GenshinLyreMidiPlayer.Data/Midi/MidiFile.cs b/GenshinLyreMidiPlayer.Data/Midi/MidiFile.cs index 06eedc4..d9a5649 100644 --- a/GenshinLyreMidiPlayer.Data/Midi/MidiFile.cs +++ b/GenshinLyreMidiPlayer.Data/Midi/MidiFile.cs @@ -27,7 +27,7 @@ public int Position set => SetAndNotify(ref _position, value); } - public Melanchall.DryWetMidi.Core.MidiFile Midi { get; private set; } + public Melanchall.DryWetMidi.Core.MidiFile Midi { get; private set; } = null!; public string Path { get; }