# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Collections.Frozen", "FrozenDictionary", False, "Create<TKey,TValue>", "(System.Collections.Generic.IEqualityComparer<TKey>,System.ReadOnlySpan<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary", False, "Create<TKey,TValue>", "(System.ReadOnlySpan<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary", False, "ToFrozenDictionary<TKey,TValue>", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>,System.Collections.Generic.IEqualityComparer<TKey>)", "", "Argument[0]", "ReturnValue", "value", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>+AlternateLookup<TAlternateKey>", False, "ContainsKey", "(TAlternateKey)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>+AlternateLookup<TAlternateKey>", False, "TryGetValue", "(TAlternateKey,TValue)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>+AlternateLookup<TAlternateKey>", False, "get_Item", "(TAlternateKey)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>+Enumerator", False, "get_Current", "()", "", "Argument[this].Property[System.Collections.Frozen.FrozenDictionary`2+Enumerator.Current]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>+Enumerator", False, "get_Current", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", False, "GetAlternateLookup<TAlternateKey>", "()", "", "Argument[this]", "ReturnValue.Property[System.Collections.Frozen.FrozenDictionary`2+AlternateLookup`1.Dictionary]", "value", "dfc-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", False, "TryGetAlternateLookup<TAlternateKey>", "(System.Collections.Frozen.FrozenDictionary<TKey,TValue>+AlternateLookup<TAlternateKey>)", "", "Argument[this]", "Argument[0].Property[System.Collections.Frozen.FrozenDictionary`2+AlternateLookup`1.Dictionary]", "value", "dfc-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", False, "get_Keys", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", False, "get_Values", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet", False, "Create<T>", "(System.Collections.Generic.IEqualityComparer<T>,System.ReadOnlySpan<T>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet", False, "Create<T>", "(System.ReadOnlySpan<T>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet", False, "ToFrozenSet<T>", "(System.Collections.Generic.IEnumerable<T>,System.Collections.Generic.IEqualityComparer<T>)", "", "Argument[0]", "ReturnValue", "value", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>+AlternateLookup<TAlternate>", False, "Contains", "(TAlternate)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>+AlternateLookup<TAlternate>", False, "TryGetValue", "(TAlternate,T)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>+AlternateLookup<TAlternate>", False, "TryGetValue", "(TAlternate,T)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>+Enumerator", False, "get_Current", "()", "", "Argument[this].Property[System.Collections.Frozen.FrozenSet`1+Enumerator.Current]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>+Enumerator", False, "get_Current", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", False, "Contains", "(T)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", False, "CopyTo", "(System.Span<T>)", "", "Argument[this].Property[System.Collections.Frozen.FrozenSet`1.Items].Element", "Argument[0].Element", "value", "dfc-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", False, "GetAlternateLookup<TAlternate>", "()", "", "Argument[this]", "ReturnValue.Property[System.Collections.Frozen.FrozenSet`1+AlternateLookup`1.Set]", "value", "dfc-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", False, "TryGetAlternateLookup<TAlternate>", "(System.Collections.Frozen.FrozenSet<T>+AlternateLookup<TAlternate>)", "", "Argument[this]", "Argument[0].Property[System.Collections.Frozen.FrozenSet`1+AlternateLookup`1.Set]", "value", "dfc-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", False, "TryGetValue", "(T,T)", "", "Argument[this].Property[System.Collections.Frozen.FrozenSet`1.Items].Element", "Argument[1]", "value", "dfc-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", False, "get_Items", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Collections.Frozen", "FrozenDictionary", "ToFrozenDictionary<TSource,TKey,TElement>", "(System.Collections.Generic.IEnumerable<TSource>,System.Func<TSource,TKey>,System.Func<TSource,TElement>,System.Collections.Generic.IEqualityComparer<TKey>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary", "ToFrozenDictionary<TSource,TKey>", "(System.Collections.Generic.IEnumerable<TSource>,System.Func<TSource,TKey>,System.Collections.Generic.IEqualityComparer<TKey>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>+AlternateLookup<TAlternateKey>", "get_Dictionary", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>+Enumerator", "Dispose", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>+Enumerator", "MoveNext", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>+Enumerator", "Reset", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "Contains", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "ContainsKey", "(TKey)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "CopyTo", "(System.Span<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "GetEnumerator", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "GetValueRefOrNullRef", "(TKey)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "Remove", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "Remove", "(TKey)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "TryGetValue", "(TKey,TValue)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "get_Comparer", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "get_Count", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "get_Empty", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "get_IsFixedSize", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "get_IsSynchronized", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "get_Item", "(TKey)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>+AlternateLookup<TAlternate>", "get_Set", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>+Enumerator", "Dispose", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>+Enumerator", "MoveNext", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>+Enumerator", "Reset", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "ExceptWith", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "GetEnumerator", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "IntersectWith", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "IsProperSubsetOf", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "IsProperSupersetOf", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "IsSubsetOf", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "IsSupersetOf", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "Overlaps", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "Remove", "(T)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "SetEquals", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "SymmetricExceptWith", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "UnionWith", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "get_Comparer", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "get_Count", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "get_Empty", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "get_IsSynchronized", "()", "summary", "df-generated"]
