using System.Runtime.InteropServices.JavaScript; using System.Text.Json.Serialization; using System.Text.Json.Serialization.Metadata; namespace Discord.API; using System.Text.Json; [JsonSourceGenerationOptions(IgnoreReadOnlyFields = false, IgnoreReadOnlyProperties = false, IncludeFields = true, PropertyNamingPolicy = JsonKnownNamingPolicy.SnakeCaseLower, Converters = [typeof(GatewayPacketConverter)], 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 { }