# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", False, "DataContractJsonSerializer", "(System.Type,System.Runtime.Serialization.Json.DataContractJsonSerializerSettings)", "", "Argument[1].Property[System.Runtime.Serialization.Json.DataContractJsonSerializerSettings.DateTimeFormat]", "Argument[this].SyntheticField[System.Runtime.Serialization.Json.DataContractJsonSerializer._dateTimeFormat]", "value", "dfc-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", False, "GetSerializationSurrogateProvider", "()", "", "Argument[this].SyntheticField[System.Runtime.Serialization.Json.DataContractJsonSerializer._serializationSurrogateProvider]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", False, "SetSerializationSurrogateProvider", "(System.Runtime.Serialization.ISerializationSurrogateProvider)", "", "Argument[0]", "Argument[this].SyntheticField[System.Runtime.Serialization.Json.DataContractJsonSerializer._serializationSurrogateProvider]", "value", "dfc-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", False, "get_DateTimeFormat", "()", "", "Argument[this].SyntheticField[System.Runtime.Serialization.Json.DataContractJsonSerializer._dateTimeFormat]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializerExtensions", False, "GetSerializationSurrogateProvider", "(System.Runtime.Serialization.Json.DataContractJsonSerializer)", "", "Argument[0].SyntheticField[System.Runtime.Serialization.Json.DataContractJsonSerializer._serializationSurrogateProvider]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializerExtensions", False, "SetSerializationSurrogateProvider", "(System.Runtime.Serialization.Json.DataContractJsonSerializer,System.Runtime.Serialization.ISerializationSurrogateProvider)", "", "Argument[1]", "Argument[0].SyntheticField[System.Runtime.Serialization.Json.DataContractJsonSerializer._serializationSurrogateProvider]", "value", "dfc-generated"]
      - ["System.Runtime.Serialization.Json", "IXmlJsonWriterInitializer", True, "SetOutput", "(System.IO.Stream,System.Text.Encoding,System.Boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "IXmlJsonWriterInitializer", True, "SetOutput", "(System.IO.Stream,System.Text.Encoding,System.Boolean)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", False, "CreateJsonWriter", "(System.IO.Stream)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", False, "CreateJsonWriter", "(System.IO.Stream,System.Text.Encoding)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", False, "CreateJsonWriter", "(System.IO.Stream,System.Text.Encoding)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", False, "CreateJsonWriter", "(System.IO.Stream,System.Text.Encoding,System.Boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", False, "CreateJsonWriter", "(System.IO.Stream,System.Text.Encoding,System.Boolean)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", False, "CreateJsonWriter", "(System.IO.Stream,System.Text.Encoding,System.Boolean,System.Boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", False, "CreateJsonWriter", "(System.IO.Stream,System.Text.Encoding,System.Boolean,System.Boolean)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", False, "CreateJsonWriter", "(System.IO.Stream,System.Text.Encoding,System.Boolean,System.Boolean,System.String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", False, "CreateJsonWriter", "(System.IO.Stream,System.Text.Encoding,System.Boolean,System.Boolean,System.String)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", False, "CreateJsonWriter", "(System.IO.Stream,System.Text.Encoding,System.Boolean,System.Boolean,System.String)", "", "Argument[4]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "DataContractJsonSerializer", "(System.Type)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "DataContractJsonSerializer", "(System.Type,System.Collections.Generic.IEnumerable<System.Type>)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "DataContractJsonSerializer", "(System.Type,System.String)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "DataContractJsonSerializer", "(System.Type,System.String,System.Collections.Generic.IEnumerable<System.Type>)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "DataContractJsonSerializer", "(System.Type,System.Xml.XmlDictionaryString)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "DataContractJsonSerializer", "(System.Type,System.Xml.XmlDictionaryString,System.Collections.Generic.IEnumerable<System.Type>)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "IsStartObject", "(System.Xml.XmlDictionaryReader)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "IsStartObject", "(System.Xml.XmlReader)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "ReadObject", "(System.IO.Stream)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "ReadObject", "(System.Xml.XmlDictionaryReader)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "ReadObject", "(System.Xml.XmlDictionaryReader,System.Boolean)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "ReadObject", "(System.Xml.XmlReader)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "ReadObject", "(System.Xml.XmlReader,System.Boolean)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "WriteEndObject", "(System.Xml.XmlDictionaryWriter)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "WriteEndObject", "(System.Xml.XmlWriter)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "WriteObject", "(System.IO.Stream,System.Object)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "WriteObject", "(System.Xml.XmlDictionaryWriter,System.Object)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "WriteObject", "(System.Xml.XmlWriter,System.Object)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "WriteObjectContent", "(System.Xml.XmlDictionaryWriter,System.Object)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "WriteObjectContent", "(System.Xml.XmlWriter,System.Object)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "WriteStartObject", "(System.Xml.XmlDictionaryWriter,System.Object)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "WriteStartObject", "(System.Xml.XmlWriter,System.Object)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "get_EmitTypeInformation", "()", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "get_IgnoreExtensionDataObject", "()", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "get_KnownTypes", "()", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "get_MaxItemsInObjectGraph", "()", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "get_SerializeReadOnlyTypes", "()", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "DataContractJsonSerializer", "get_UseSimpleDictionaryFormat", "()", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "IXmlJsonReaderInitializer", "SetInput", "(System.Byte[],System.Int32,System.Int32,System.Text.Encoding,System.Xml.XmlDictionaryReaderQuotas,System.Xml.OnXmlDictionaryReaderClose)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "IXmlJsonReaderInitializer", "SetInput", "(System.IO.Stream,System.Text.Encoding,System.Xml.XmlDictionaryReaderQuotas,System.Xml.OnXmlDictionaryReaderClose)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", "CreateJsonReader", "(System.Byte[],System.Int32,System.Int32,System.Text.Encoding,System.Xml.XmlDictionaryReaderQuotas,System.Xml.OnXmlDictionaryReaderClose)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", "CreateJsonReader", "(System.Byte[],System.Int32,System.Int32,System.Xml.XmlDictionaryReaderQuotas)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", "CreateJsonReader", "(System.Byte[],System.Xml.XmlDictionaryReaderQuotas)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", "CreateJsonReader", "(System.IO.Stream,System.Text.Encoding,System.Xml.XmlDictionaryReaderQuotas,System.Xml.OnXmlDictionaryReaderClose)", "summary", "df-generated"]
      - ["System.Runtime.Serialization.Json", "JsonReaderWriterFactory", "CreateJsonReader", "(System.IO.Stream,System.Xml.XmlDictionaryReaderQuotas)", "summary", "df-generated"]
