# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Text.Json.Serialization", "JsonConverter<T>", True, "ReadAsPropertyName", "(System.Text.Json.Utf8JsonReader,System.Type,System.Text.Json.JsonSerializerOptions)", "", "Argument[0].Property[System.Text.Json.Utf8JsonReader.ValueSpan].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.Text.Json.Serialization", "JsonConverterFactory", True, "CreateConverter", "(System.Type,System.Text.Json.JsonSerializerOptions)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonDerivedTypeAttribute", False, "JsonDerivedTypeAttribute", "(System.Type,System.String)", "", "Argument[1]", "Argument[this].Property[System.Text.Json.Serialization.JsonDerivedTypeAttribute.TypeDiscriminator]", "value", "dfc-generated"]
      - ["System.Text.Json.Serialization", "JsonPropertyNameAttribute", False, "JsonPropertyNameAttribute", "(System.String)", "", "Argument[0]", "Argument[this].Property[System.Text.Json.Serialization.JsonPropertyNameAttribute.Name]", "value", "dfc-generated"]
      - ["System.Text.Json.Serialization", "JsonSerializerContext", False, "JsonSerializerContext", "(System.Text.Json.JsonSerializerOptions)", "", "Argument[0]", "Argument[this].SyntheticField[System.Text.Json.Serialization.JsonSerializerContext._options]", "value", "dfc-generated"]
      - ["System.Text.Json.Serialization", "JsonSerializerContext", False, "get_Options", "()", "", "Argument[this].SyntheticField[System.Text.Json.Serialization.JsonSerializerContext._options]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Text.Json.Serialization", "JsonStringEnumConverter", False, "JsonStringEnumConverter", "(System.Text.Json.JsonNamingPolicy,System.Boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonStringEnumConverter<TEnum>", False, "JsonStringEnumConverter", "(System.Text.Json.JsonNamingPolicy,System.Boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonStringEnumMemberNameAttribute", False, "JsonStringEnumMemberNameAttribute", "(System.String)", "", "Argument[0]", "Argument[this].Property[System.Text.Json.Serialization.JsonStringEnumMemberNameAttribute.Name]", "value", "dfc-generated"]
      - ["System.Text.Json.Serialization", "ReferenceResolver", True, "GetReference", "(System.Object,System.Boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Text.Json.Serialization", "BinaryDataJsonConverter", "Read", "(System.Text.Json.Utf8JsonReader,System.Type,System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "BinaryDataJsonConverter", "Write", "(System.Text.Json.Utf8JsonWriter,System.BinaryData,System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "IJsonOnDeserialized", "OnDeserialized", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "IJsonOnDeserializing", "OnDeserializing", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "IJsonOnSerialized", "OnSerialized", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "IJsonOnSerializing", "OnSerializing", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverter", "CanConvert", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverter", "get_Type", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverter<T>", "CanConvert", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverter<T>", "Read", "(System.Text.Json.Utf8JsonReader,System.Type,System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverter<T>", "Write", "(System.Text.Json.Utf8JsonWriter,T,System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverter<T>", "WriteAsPropertyName", "(System.Text.Json.Utf8JsonWriter,T,System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverter<T>", "get_HandleNull", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverter<T>", "get_Type", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverterAttribute", "CreateConverter", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverterAttribute", "JsonConverterAttribute", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverterAttribute", "get_ConverterType", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonConverterFactory", "get_Type", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonDerivedTypeAttribute", "JsonDerivedTypeAttribute", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonDerivedTypeAttribute", "JsonDerivedTypeAttribute", "(System.Type,System.Int32)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonDerivedTypeAttribute", "get_DerivedType", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonDerivedTypeAttribute", "get_TypeDiscriminator", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonNumberEnumConverter<TEnum>", "CanConvert", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonNumberHandlingAttribute", "JsonNumberHandlingAttribute", "(System.Text.Json.Serialization.JsonNumberHandling)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonNumberHandlingAttribute", "get_Handling", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonObjectCreationHandlingAttribute", "JsonObjectCreationHandlingAttribute", "(System.Text.Json.Serialization.JsonObjectCreationHandling)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonObjectCreationHandlingAttribute", "get_Handling", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonPropertyNameAttribute", "get_Name", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonPropertyOrderAttribute", "JsonPropertyOrderAttribute", "(System.Int32)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonPropertyOrderAttribute", "get_Order", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonSerializableAttribute", "JsonSerializableAttribute", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonSerializerContext", "GetTypeInfo", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonSerializerContext", "get_GeneratedSerializerOptions", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonSourceGenerationOptionsAttribute", "JsonSourceGenerationOptionsAttribute", "(System.Text.Json.JsonSerializerDefaults)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonStringEnumConverter", "CanConvert", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonStringEnumConverter<TEnum>", "CanConvert", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonStringEnumMemberNameAttribute", "get_Name", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonUnmappedMemberHandlingAttribute", "JsonUnmappedMemberHandlingAttribute", "(System.Text.Json.Serialization.JsonUnmappedMemberHandling)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "JsonUnmappedMemberHandlingAttribute", "get_UnmappedMemberHandling", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "ReferenceHandler", "CreateResolver", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "ReferenceHandler", "get_IgnoreCycles", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "ReferenceHandler", "get_Preserve", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "ReferenceHandler<T>", "CreateResolver", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "ReferenceResolver", "AddReference", "(System.String,System.Object)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization", "ReferenceResolver", "ResolveReference", "(System.String)", "summary", "df-generated"]
