# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Configuration.Provider", "ProviderBase", True, "Initialize", "(System.String,System.Collections.Specialized.NameValueCollection)", "", "Argument[0]", "Argument[this].SyntheticField[System.Configuration.Provider.ProviderBase._name]", "value", "dfc-generated"]
      - ["System.Configuration.Provider", "ProviderBase", True, "get_Description", "()", "", "Argument[this].Property[System.Configuration.Provider.ProviderBase.Name]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Configuration.Provider", "ProviderBase", True, "get_Description", "()", "", "Argument[this].SyntheticField[System.Configuration.Provider.ProviderBase._name]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Configuration.Provider", "ProviderBase", True, "get_Name", "()", "", "Argument[this].SyntheticField[System.Configuration.Provider.ProviderBase._name]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Configuration.Provider", "ProviderCollection", False, "CopyTo", "(System.Configuration.Provider.ProviderBase[],System.Int32)", "", "Argument[this].Element", "Argument[0].Element", "value", "dfc-generated"]
      - ["System.Configuration.Provider", "ProviderCollection", False, "get_Item", "(System.String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Configuration.Provider", "ProviderCollection", "Add", "(System.Configuration.Provider.ProviderBase)", "summary", "df-generated"]
      - ["System.Configuration.Provider", "ProviderCollection", "Remove", "(System.String)", "summary", "df-generated"]
      - ["System.Configuration.Provider", "ProviderCollection", "SetReadOnly", "()", "summary", "df-generated"]
      - ["System.Configuration.Provider", "ProviderCollection", "get_Count", "()", "summary", "df-generated"]
      - ["System.Configuration.Provider", "ProviderCollection", "get_IsSynchronized", "()", "summary", "df-generated"]
      - ["System.Configuration.Provider", "ProviderException", "ProviderException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Configuration.Provider", "ProviderException", "ProviderException", "(System.String)", "summary", "df-generated"]
      - ["System.Configuration.Provider", "ProviderException", "ProviderException", "(System.String,System.Exception)", "summary", "df-generated"]