# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Resources.Extensions", "DeserializingResourceReader", False, "DeserializingResourceReader", "(System.IO.Stream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Resources.Extensions", "DeserializingResourceReader", False, "GetEnumerator", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", False, "PreserializedResourceWriter", "(System.IO.Stream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", False, "PreserializedResourceWriter", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Resources.Extensions", "DeserializingResourceReader", "Close", "()", "summary", "df-generated"]
      - ["System.Resources.Extensions", "DeserializingResourceReader", "DeserializingResourceReader", "(System.String)", "summary", "df-generated"]
      - ["System.Resources.Extensions", "DeserializingResourceReader", "Dispose", "()", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "AddActivatorResource", "(System.String,System.IO.Stream,System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "AddBinaryFormattedResource", "(System.String,System.Byte[],System.String)", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "AddResource", "(System.String,System.Byte[])", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "AddResource", "(System.String,System.IO.Stream,System.Boolean)", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "AddResource", "(System.String,System.Object)", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "AddResource", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "AddResource", "(System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "AddTypeConverterResource", "(System.String,System.Byte[],System.String)", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "Close", "()", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "Dispose", "()", "summary", "df-generated"]
      - ["System.Resources.Extensions", "PreserializedResourceWriter", "Generate", "()", "summary", "df-generated"]
