using System.Text.Json.Serialization;

namespace Discord.API;

[JsonSourceGenerationOptions(IgnoreReadOnlyFields = false,
    IgnoreReadOnlyProperties = false,
    IncludeFields = true,
    PropertyNamingPolicy = JsonKnownNamingPolicy.SnakeCaseLower,
    Converters = [
        typeof(GatewayPacketConverter),
        typeof(UnavailableGuildDataConverter),
        typeof(GuildDataConverter)
    ],
    NumberHandling = JsonNumberHandling.AllowReadingFromString
    )]
[JsonSerializable(typeof(GatewayPacket))]
[JsonSerializable(typeof(IdentifyPacket))]
[JsonSerializable(typeof(ChannelCreatePacket))]
[JsonSerializable(typeof(ChannelUpdatePacket))]
[JsonSerializable(typeof(ChannelDeletePacket))]
[JsonSerializable(typeof(DispatchPacket))]
[JsonSerializable(typeof(ReadyPacket))]
internal partial class SourceGenerationContext : JsonSerializerContext
{
}