using System.Text.Json.Serialization;

namespace AimeNet;

public record SystemState(
    [property: JsonPropertyName("api_ver")] int ApiVersion,
    [property: JsonPropertyName("server_name")] string ServerName);

public record CardReadRequest(
    [property: JsonPropertyName("card_id")] string MatrixCode);

[JsonSerializable(typeof(SystemState))]
[JsonSerializable(typeof(CardReadRequest))]
[JsonSourceGenerationOptions(WriteIndented = true)]
public partial class AppJsonSerializerContext : JsonSerializerContext;