using System.Collections.ObjectModel;
using System.Text.Json.Serialization;

namespace File_Folder_Helper.Models;

internal record LineNumber(int? Created,
                           int? Completed,
                           int? H1,
                           int? FrontMatterYamlEnd,
                           ReadOnlyCollection<string> Lines,
                           int? Progress,
                           int? Status,
                           int? Type,
                           int? Updated);

[JsonSourceGenerationOptions(WriteIndented = true)]
[JsonSerializable(typeof(LineNumber))]
internal partial class LineNumberSourceGenerationContext : JsonSerializerContext
{
}