# 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.Nodes", "JsonArray", False, "Add<T>", "(T)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", False, "Add<T>", "(T)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", False, "Create", "(System.Text.Json.JsonElement,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", False, "GetValues<T>", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", False, "AsArray", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", False, "AsObject", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", False, "AsValue", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", False, "DeepClone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", False, "ReplaceWith<T>", "(T)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", False, "get_Options", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", False, "get_Root", "()", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", True, "GetValue<T>", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", False, "Create", "(System.Text.Json.JsonElement,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", False, "Insert", "(System.Int32,System.String,System.Text.Json.Nodes.JsonNode)", "", "Argument[this]", "Argument[2]", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", False, "SetAt", "(System.Int32,System.String,System.Text.Json.Nodes.JsonNode)", "", "Argument[this]", "Argument[2]", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", False, "SetAt", "(System.Int32,System.Text.Json.Nodes.JsonNode)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", False, "Create<T>", "(T,System.Text.Json.Serialization.Metadata.JsonTypeInfo<T>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", True, "TryGetValue<T>", "(T)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Text.Json.Nodes", "JsonArray", "Contains", "(System.Text.Json.Nodes.JsonNode)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "IndexOf", "(System.Text.Json.Nodes.JsonNode)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "JsonArray", "(System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "JsonArray", "(System.ReadOnlySpan<System.Text.Json.Nodes.JsonNode>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "JsonArray", "(System.Text.Json.Nodes.JsonNodeOptions,System.ReadOnlySpan<System.Text.Json.Nodes.JsonNode>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "JsonArray", "(System.Text.Json.Nodes.JsonNodeOptions,System.Text.Json.Nodes.JsonNode[])", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "JsonArray", "(System.Text.Json.Nodes.JsonNode[])", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "Remove", "(System.Text.Json.Nodes.JsonNode)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "RemoveAll", "(System.Func<System.Text.Json.Nodes.JsonNode,System.Boolean>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "RemoveAt", "(System.Int32)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "RemoveRange", "(System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "WriteTo", "(System.Text.Json.Utf8JsonWriter,System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "get_Count", "()", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonArray", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "DeepEquals", "(System.Text.Json.Nodes.JsonNode,System.Text.Json.Nodes.JsonNode)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "GetElementIndex", "()", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "GetPath", "()", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "GetPropertyName", "()", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "GetValueKind", "()", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "Parse", "(System.IO.Stream,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>,System.Text.Json.JsonDocumentOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "Parse", "(System.ReadOnlySpan<System.Byte>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>,System.Text.Json.JsonDocumentOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "Parse", "(System.String,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>,System.Text.Json.JsonDocumentOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "Parse", "(System.Text.Json.Utf8JsonReader,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "ParseAsync", "(System.IO.Stream,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>,System.Text.Json.JsonDocumentOptions,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "ToJsonString", "(System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonNode", "WriteTo", "(System.Text.Json.Utf8JsonWriter,System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "Contains", "(System.Collections.Generic.KeyValuePair<System.String,System.Text.Json.Nodes.JsonNode>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "ContainsKey", "(System.String)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "GetAt", "(System.Int32)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "IndexOf", "(System.Collections.Generic.KeyValuePair<System.String,System.Text.Json.Nodes.JsonNode>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "IndexOf", "(System.String)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "JsonObject", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<System.String,System.Text.Json.Nodes.JsonNode>>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "JsonObject", "(System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "Remove", "(System.Collections.Generic.KeyValuePair<System.String,System.Text.Json.Nodes.JsonNode>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "Remove", "(System.String)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "RemoveAt", "(System.Int32)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "TryGetPropertyValue", "(System.String,System.Text.Json.Nodes.JsonNode)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "TryGetValue", "(System.String,System.Text.Json.Nodes.JsonNode)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "WriteTo", "(System.Text.Json.Utf8JsonWriter,System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "get_Count", "()", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonObject", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Boolean,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Byte,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Char,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.DateTime,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.DateTimeOffset,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Decimal,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Double,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Guid,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Int16,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Int32,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Int64,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Boolean>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Byte>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Char>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.DateTime>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.DateTimeOffset>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Decimal>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Double>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Guid>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Int16>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Int32>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Int64>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.SByte>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Single>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.Text.Json.JsonElement>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.UInt16>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.UInt32>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Nullable<System.UInt64>,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.SByte,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Single,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.String,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.Text.Json.JsonElement,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.UInt16,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.UInt32,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create", "(System.UInt64,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]
      - ["System.Text.Json.Nodes", "JsonValue", "Create<T>", "(T,System.Nullable<System.Text.Json.Nodes.JsonNodeOptions>)", "summary", "df-generated"]