# 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.Metadata", "IJsonTypeInfoResolver", True, "GetTypeInfo", "(System.Type,System.Text.Json.JsonSerializerOptions)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "IJsonTypeInfoResolver", True, "GetTypeInfo", "(System.Type,System.Text.Json.JsonSerializerOptions)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonDerivedType", False, "JsonDerivedType", "(System.Type,System.String)", "", "Argument[1]", "Argument[this].Property[System.Text.Json.Serialization.Metadata.JsonDerivedType.TypeDiscriminator]", "value", "dfc-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateArrayInfo<TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TElement[]>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateConcurrentQueueInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateConcurrentStackInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateDictionaryInfo<TCollection,TKey,TValue>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateIAsyncEnumerableInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateICollectionInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateIDictionaryInfo<TCollection,TKey,TValue>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateIDictionaryInfo<TCollection>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateIEnumerableInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateIEnumerableInfo<TCollection>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateIListInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateIListInfo<TCollection>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateIReadOnlyDictionaryInfo<TCollection,TKey,TValue>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateISetInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateListInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateMemoryInfo<TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<System.Memory<TElement>>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateObjectInfo<T>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonObjectInfoValues<T>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreatePropertyInfo<T>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonPropertyInfoValues<T>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateQueueInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateReadOnlyMemoryInfo<TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<System.ReadOnlyMemory<TElement>>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateStackInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "CreateValueInfo<T>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.JsonConverter)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", False, "GetNullableConverter<T>", "(System.Text.Json.Serialization.Metadata.JsonTypeInfo<T>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonParameterInfo", False, "get_AttributeProvider", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", False, "CreateJsonPropertyInfo", "(System.Type,System.String)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", False, "CreateJsonTypeInfo", "(System.Type,System.Text.Json.JsonSerializerOptions)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", False, "CreateJsonTypeInfo<T>", "(System.Text.Json.JsonSerializerOptions)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", False, "get_Properties", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfoResolver", False, "Combine", "(System.ReadOnlySpan<System.Text.Json.Serialization.Metadata.IJsonTypeInfoResolver>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfoResolver", False, "Combine", "(System.Text.Json.Serialization.Metadata.IJsonTypeInfoResolver[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Text.Json.Serialization.Metadata", "DefaultJsonTypeInfoResolver", "get_Modifiers", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonDerivedType", "JsonDerivedType", "(System.Type)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonDerivedType", "JsonDerivedType", "(System.Type,System.Int32)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonDerivedType", "get_DerivedType", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonDerivedType", "get_TypeDiscriminator", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "CreateImmutableDictionaryInfo<TCollection,TKey,TValue>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>,System.Func<System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>,TCollection>)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "CreateImmutableEnumerableInfo<TCollection,TElement>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>,System.Func<System.Collections.Generic.IEnumerable<TElement>,TCollection>)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "CreateQueueInfo<TCollection>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>,System.Action<TCollection,System.Object>)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "CreateStackInfo<TCollection>", "(System.Text.Json.JsonSerializerOptions,System.Text.Json.Serialization.Metadata.JsonCollectionInfoValues<TCollection>,System.Action<TCollection,System.Object>)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "GetEnumConverter<T>", "(System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "GetNullableConverter<T>", "(System.Text.Json.JsonSerializerOptions)", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "GetUnsupportedTypeConverter<T>", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_BooleanConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_ByteArrayConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_ByteConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_CharConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_DateOnlyConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_DateTimeConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_DateTimeOffsetConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_DecimalConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_DoubleConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_GuidConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_HalfConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_Int128Converter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_Int16Converter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_Int32Converter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_Int64Converter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_JsonArrayConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_JsonDocumentConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_JsonElementConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_JsonNodeConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_JsonObjectConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_JsonValueConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_MemoryByteConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_ObjectConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_ReadOnlyMemoryByteConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_SByteConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_SingleConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_StringConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_TimeOnlyConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_TimeSpanConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_UInt128Converter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_UInt16Converter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_UInt32Converter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_UInt64Converter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_UriConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonMetadataServices", "get_VersionConverter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonParameterInfo", "get_DeclaringType", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonParameterInfo", "get_DefaultValue", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonParameterInfo", "get_HasDefaultValue", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonParameterInfo", "get_IsMemberInitializer", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonParameterInfo", "get_IsNullable", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonParameterInfo", "get_Name", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonParameterInfo", "get_ParameterType", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonParameterInfo", "get_Position", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonPolymorphismOptions", "get_DerivedTypes", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonPropertyInfo", "get_DeclaringType", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonPropertyInfo", "get_Options", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonPropertyInfo", "get_PropertyType", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", "MakeReadOnly", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", "get_Converter", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", "get_ElementType", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", "get_KeyType", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", "get_Kind", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", "get_Options", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfo", "get_Type", "()", "summary", "df-generated"]
      - ["System.Text.Json.Serialization.Metadata", "JsonTypeInfoResolver", "WithAddedModifier", "(System.Text.Json.Serialization.Metadata.IJsonTypeInfoResolver,System.Action<System.Text.Json.Serialization.Metadata.JsonTypeInfo>)", "summary", "df-generated"]