# 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, "ToFrozenDictionary<TKey,TValue>", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>,System.Collections.Generic.IEqualityComparer<TKey>)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>+Enumerator", False, "get_Current", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", False, "get_SyncRoot", "()", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet", False, "ToFrozenSet<T>", "(System.Collections.Generic.IEnumerable<T>,System.Collections.Generic.IEqualityComparer<T>)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>+Enumerator", False, "get_Current", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", False, "get_SyncRoot", "()", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["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>", "Contains", "(System.Object)", "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", "(System.Object)", "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", "FrozenDictionary<TKey,TValue>", "get_Keys", "()", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenDictionary<TKey,TValue>", "get_Values", "()", "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>", "Contains", "(T)", "summary", "df-generated"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "CopyTo", "(System.Span<T>)", "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>", "TryGetValue", "(T,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"]
      - ["System.Collections.Frozen", "FrozenSet<T>", "get_Items", "()", "summary", "df-generated"]
