# 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].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", False, "InsertItem", "(System.Int32,T)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", False, "InsertItem", "(System.Int32,T)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", False, "SetItem", "(System.Int32,T)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", False, "SetItem", "(System.Int32,T)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", False, "get_Items", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "Collection<T>", False, "get_SyncRoot", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "InsertItem", "(System.Int32,TItem)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "InsertItem", "(System.Int32,TItem)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "KeyedCollection", "(System.Collections.Generic.IEqualityComparer<TKey>,System.Int32)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "SetItem", "(System.Int32,TItem)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "SetItem", "(System.Int32,TItem)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "TryGetValue", "(TKey,TItem)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "get_Comparer", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "KeyedCollection<TKey,TItem>", False, "get_Dictionary", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", False, "InsertItem", "(System.Int32,T)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", False, "InsertItem", "(System.Int32,T)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", False, "SetItem", "(System.Int32,T)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ObservableCollection<T>", False, "SetItem", "(System.Int32,T)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", False, "ReadOnlyCollection", "(System.Collections.Generic.IList<T>)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", False, "get_Items", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyCollection<T>", False, "get_SyncRoot", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+KeyCollection", False, "get_SyncRoot", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>+ValueCollection", False, "get_SyncRoot", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", False, "GetEnumerator", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", False, "get_Dictionary", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Collections.ObjectModel", "ReadOnlyDictionary<TKey,TValue>", False, "get_SyncRoot", "()", "", "Argument[this]", "ReturnValue", "taint", "df-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>", "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", "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>", "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", "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>", "get_Empty", "()", "summary", "df-generated"]
