# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Collections.ObjectModel", "Collection<T>", False, "Collection", "(System.Collections.Generic.IList<T>)", "", "Argument[0]", "Argument[this].SyntheticField[System.Collections.ObjectModel.Collection`1.items]", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", False, "get_Items", "()", "", "Argument[this].SyntheticField[System.Collections.ObjectModel.Collection`1.items]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", False, "get_SyncRoot", "()", "", "Argument[this].SyntheticField[System.Collections.ObjectModel.Collection`1.items].Property[System.Collections.ICollection.SyncRoot]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", False, "get_SyncRoot", "()", "", "Argument[this].SyntheticField[System.Collections.ObjectModel.Collection`1.items]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", True, "InsertItem", "(System.Int32,T)", "", "Argument[1]", "Argument[this].SyntheticField[System.Collections.ObjectModel.Collection`1.items].Element", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", True, "SetItem", "(System.Int32,T)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "KeyedCollection", "(System.Collections.Generic.IEqualityComparer<TKey>,System.Int32)", "", "Argument[0]", "Argument[this].SyntheticField[System.Collections.ObjectModel.KeyedCollection`2.comparer]", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "TryGetValue", "(TKey,TItem)", "", "Argument[this].Property[System.Collections.ObjectModel.Collection`1.Items].Element", "Argument[1]", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "get_Comparer", "()", "", "Argument[this].SyntheticField[System.Collections.ObjectModel.KeyedCollection`2.comparer]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "get_Dictionary", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection", False, "CreateCollection<T>", "(System.ReadOnlySpan<T>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection", False, "CreateSet<T>", "(System.ReadOnlySpan<T>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", False, "ReadOnlyCollection", "(System.Collections.Generic.IList<T>)", "", "Argument[0]", "Argument[this].SyntheticField[System.Collections.ObjectModel.ReadOnlyCollection`1.list]", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", False, "get_Items", "()", "", "Argument[this].SyntheticField[System.Collections.ObjectModel.ReadOnlyCollection`1.list]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", False, "get_SyncRoot", "()", "", "Argument[this].SyntheticField[System.Collections.ObjectModel.ReadOnlyCollection`1.list].Property[System.Collections.ICollection.SyncRoot]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", False, "get_Dictionary", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", False, "ReadOnlySet", "(System.Collections.Generic.ISet<T>)", "", "Argument[0]", "Argument[this].SyntheticField[System.Collections.ObjectModel.ReadOnlySet`1._set]", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", False, "get_Set", "()", "", "Argument[this].SyntheticField[System.Collections.ObjectModel.ReadOnlySet`1._set]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", False, "get_SyncRoot", "()", "", "Argument[this].SyntheticField[System.Collections.ObjectModel.ReadOnlySet`1._set].Property[System.Collections.ICollection.SyncRoot]", "ReturnValue", "value", "dfc-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Collections.ObjectModel", "Collection<T>", "ClearItems", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "Contains", "(System.Object)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "Contains", "(T)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "IndexOf", "(System.Object)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "IndexOf", "(T)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "Remove", "(System.Object)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "Remove", "(T)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "RemoveAt", "(System.Int32)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "RemoveItem", "(System.Int32)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "get_Count", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "get_IsFixedSize", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", "get_IsSynchronized", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", "ChangeItemKey", "(TItem,TKey)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", "ClearItems", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", "Contains", "(TKey)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", "GetKeyForItem", "(TItem)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", "InsertItem", "(System.Int32,TItem)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", "KeyedCollection", "(System.Collections.Generic.IEqualityComparer<TKey>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", "Remove", "(TKey)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", "RemoveItem", "(System.Int32)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", "SetItem", "(System.Int32,TItem)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "BlockReentrancy", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "CheckReentrancy", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "ClearItems", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "InsertItem", "(System.Int32,T)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "Move", "(System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "MoveItem", "(System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "ObservableCollection", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "ObservableCollection", "(System.Collections.Generic.List<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "OnCollectionChanged", "(System.Collections.Specialized.NotifyCollectionChangedEventArgs)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "OnPropertyChanged", "(System.ComponentModel.PropertyChangedEventArgs)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "RemoveItem", "(System.Int32)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "SetItem", "(System.Int32,T)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "add_CollectionChanged", "(System.Collections.Specialized.NotifyCollectionChangedEventHandler)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "add_PropertyChanged", "(System.ComponentModel.PropertyChangedEventHandler)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "remove_CollectionChanged", "(System.Collections.Specialized.NotifyCollectionChangedEventHandler)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", "remove_PropertyChanged", "(System.ComponentModel.PropertyChangedEventHandler)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "Contains", "(System.Object)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "Contains", "(T)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "IndexOf", "(System.Object)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "IndexOf", "(T)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "Remove", "(System.Object)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "Remove", "(T)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "RemoveAt", "(System.Int32)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "get_Count", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "get_Empty", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "get_IsFixedSize", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", "get_IsSynchronized", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+KeyCollection", "Contains", "(TKey)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+KeyCollection", "Remove", "(TKey)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+KeyCollection", "get_Count", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+KeyCollection", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+KeyCollection", "get_IsSynchronized", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+ValueCollection", "Contains", "(TValue)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+ValueCollection", "Remove", "(TValue)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+ValueCollection", "get_Count", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+ValueCollection", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+ValueCollection", "get_IsSynchronized", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "Contains", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "Contains", "(System.Object)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "ContainsKey", "(TKey)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "Remove", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "Remove", "(System.Object)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "Remove", "(TKey)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "TryGetValue", "(TKey,TValue)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "get_Count", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "get_Empty", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "get_IsFixedSize", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", "get_IsSynchronized", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyObservableCollection<T>", "OnCollectionChanged", "(System.Collections.Specialized.NotifyCollectionChangedEventArgs)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyObservableCollection<T>", "OnPropertyChanged", "(System.ComponentModel.PropertyChangedEventArgs)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyObservableCollection<T>", "ReadOnlyObservableCollection", "(System.Collections.ObjectModel.ObservableCollection<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyObservableCollection<T>", "add_CollectionChanged", "(System.Collections.Specialized.NotifyCollectionChangedEventHandler)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyObservableCollection<T>", "add_PropertyChanged", "(System.ComponentModel.PropertyChangedEventHandler)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyObservableCollection<T>", "get_Empty", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyObservableCollection<T>", "remove_CollectionChanged", "(System.Collections.Specialized.NotifyCollectionChangedEventHandler)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyObservableCollection<T>", "remove_PropertyChanged", "(System.ComponentModel.PropertyChangedEventHandler)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "Contains", "(T)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "ExceptWith", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "IntersectWith", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "IsProperSubsetOf", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "IsProperSupersetOf", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "IsSubsetOf", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "IsSupersetOf", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "Overlaps", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "Remove", "(T)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "SetEquals", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "SymmetricExceptWith", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "UnionWith", "(System.Collections.Generic.IEnumerable<T>)", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "get_Count", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "get_Empty", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlySet<T>", "get_IsSynchronized", "()", "summary", "df-generated"]