# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Formats.Cbor", "CborReader", False, "CborReader", "(System.ReadOnlyMemory<System.Byte>,System.Formats.Cbor.CborConformanceMode,System.Boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", False, "ReadDefiniteLengthByteString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", False, "ReadDefiniteLengthTextStringBytes", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", False, "ReadEncodedValue", "(System.Boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", False, "Reset", "(System.ReadOnlyMemory<System.Byte>)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", False, "Encode", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", False, "Encode", "(System.Span<System.Byte>)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", False, "TryEncode", "(System.Span<System.Byte>,System.Int32)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Formats.Cbor", "CborContentException", "CborContentException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborContentException", "CborContentException", "(System.String)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborContentException", "CborContentException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "PeekState", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "PeekTag", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadBigInteger", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadBoolean", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadByteString", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadCborNegativeIntegerRepresentation", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadDateTimeOffset", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadDecimal", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadDouble", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadEndArray", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadEndIndefiniteLengthByteString", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadEndIndefiniteLengthTextString", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadEndMap", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadHalf", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadInt32", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadInt64", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadNull", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadSimpleValue", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadSingle", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadStartArray", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadStartIndefiniteLengthByteString", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadStartIndefiniteLengthTextString", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadStartMap", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadTag", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadTextString", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadUInt32", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadUInt64", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "ReadUnixTimeSeconds", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "SkipToParent", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "SkipValue", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "TryReadByteString", "(System.Span<System.Byte>,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "TryReadTextString", "(System.Span<System.Char>,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "get_AllowMultipleRootLevelValues", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "get_BytesRemaining", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "get_ConformanceMode", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborReader", "get_CurrentDepth", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "CborWriter", "(System.Formats.Cbor.CborConformanceMode,System.Boolean,System.Boolean)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "CborWriter", "(System.Formats.Cbor.CborConformanceMode,System.Boolean,System.Boolean,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "Reset", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteBigInteger", "(System.Numerics.BigInteger)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteBoolean", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteByteString", "(System.Byte[])", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteByteString", "(System.ReadOnlySpan<System.Byte>)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteCborNegativeIntegerRepresentation", "(System.UInt64)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteDateTimeOffset", "(System.DateTimeOffset)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteDecimal", "(System.Decimal)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteDouble", "(System.Double)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteEncodedValue", "(System.ReadOnlySpan<System.Byte>)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteEndArray", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteEndIndefiniteLengthByteString", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteEndIndefiniteLengthTextString", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteEndMap", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteHalf", "(System.Half)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteInt32", "(System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteInt64", "(System.Int64)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteNull", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteSimpleValue", "(System.Formats.Cbor.CborSimpleValue)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteSingle", "(System.Single)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteStartArray", "(System.Nullable<System.Int32>)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteStartIndefiniteLengthByteString", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteStartIndefiniteLengthTextString", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteStartMap", "(System.Nullable<System.Int32>)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteTag", "(System.Formats.Cbor.CborTag)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteTextString", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteTextString", "(System.String)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteUInt32", "(System.UInt32)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteUInt64", "(System.UInt64)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteUnixTimeSeconds", "(System.Double)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "WriteUnixTimeSeconds", "(System.Int64)", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "get_AllowMultipleRootLevelValues", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "get_BytesWritten", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "get_ConformanceMode", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "get_ConvertIndefiniteLengthEncodings", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "get_CurrentDepth", "()", "summary", "df-generated"]
      - ["System.Formats.Cbor", "CborWriter", "get_IsWriteCompleted", "()", "summary", "df-generated"]
