# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["Microsoft.Extensions.Primitives", "CancellationChangeToken", False, "CancellationChangeToken", "(System.Threading.CancellationToken)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "CompositeChangeToken", False, "CompositeChangeToken", "(System.Collections.Generic.IReadOnlyList<Microsoft.Extensions.Primitives.IChangeToken>)", "", "Argument[0]", "Argument[this].Property[Microsoft.Extensions.Primitives.CompositeChangeToken.ChangeTokens]", "value", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "Extensions", False, "Append", "(System.Text.StringBuilder,Microsoft.Extensions.Primitives.StringSegment)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "Extensions", False, "Append", "(System.Text.StringBuilder,Microsoft.Extensions.Primitives.StringSegment)", "", "Argument[1].Property[Microsoft.Extensions.Primitives.StringSegment.Buffer]", "Argument[0]", "taint", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "Extensions", False, "Append", "(System.Text.StringBuilder,Microsoft.Extensions.Primitives.StringSegment)", "", "Argument[1].Property[Microsoft.Extensions.Primitives.StringSegment.Buffer]", "ReturnValue", "taint", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "IChangeToken", True, "RegisterChangeCallback", "(System.Action<System.Object>,System.Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "InplaceStringBuilder", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", False, "StringSegment", "(System.String)", "", "Argument[0]", "Argument[this].Property[Microsoft.Extensions.Primitives.StringSegment.Buffer]", "value", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", False, "StringSegment", "(System.String,System.Int32,System.Int32)", "", "Argument[0]", "Argument[this].Property[Microsoft.Extensions.Primitives.StringSegment.Buffer]", "value", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", False, "Substring", "(System.Int32)", "", "Argument[this].Property[Microsoft.Extensions.Primitives.StringSegment.Buffer]", "ReturnValue", "taint", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", False, "Substring", "(System.Int32,System.Int32)", "", "Argument[this].Property[Microsoft.Extensions.Primitives.StringSegment.Buffer]", "ReturnValue", "taint", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", False, "ToString", "()", "", "Argument[this].Property[Microsoft.Extensions.Primitives.StringSegment.Buffer]", "ReturnValue", "taint", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", False, "ToString", "()", "", "Argument[this].Property[Microsoft.Extensions.Primitives.StringSegment.Value]", "ReturnValue", "value", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", False, "get_Value", "()", "", "Argument[this].Property[Microsoft.Extensions.Primitives.StringSegment.Buffer]", "ReturnValue", "taint", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "StringTokenizer+Enumerator", False, "Enumerator", "(Microsoft.Extensions.Primitives.StringTokenizer)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringTokenizer+Enumerator", False, "get_Current", "()", "", "Argument[this].Property[Microsoft.Extensions.Primitives.StringTokenizer+Enumerator.Current]", "ReturnValue", "value", "dfc-generated"]
      - ["Microsoft.Extensions.Primitives", "StringTokenizer", False, "GetEnumerator", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringTokenizer", False, "StringTokenizer", "(Microsoft.Extensions.Primitives.StringSegment,System.Char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringTokenizer", False, "StringTokenizer", "(Microsoft.Extensions.Primitives.StringSegment,System.Char[])", "", "Argument[1].Element", "Argument[this]", "taint", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringTokenizer", False, "StringTokenizer", "(System.String,System.Char[])", "", "Argument[1].Element", "Argument[this]", "taint", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues+Enumerator", False, "get_Current", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["Microsoft.Extensions.Primitives", "CancellationChangeToken", "get_HasChanged", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "ChangeToken", "OnChange", "(System.Func<Microsoft.Extensions.Primitives.IChangeToken>,System.Action)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "ChangeToken", "OnChange<TState>", "(System.Func<Microsoft.Extensions.Primitives.IChangeToken>,System.Action<TState>,TState)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "CompositeChangeToken", "get_ActiveChangeCallbacks", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "CompositeChangeToken", "get_ChangeTokens", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "CompositeChangeToken", "get_HasChanged", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "IChangeToken", "get_ActiveChangeCallbacks", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "IChangeToken", "get_HasChanged", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "InplaceStringBuilder", "Append", "(Microsoft.Extensions.Primitives.StringSegment)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "InplaceStringBuilder", "Append", "(System.Char)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "InplaceStringBuilder", "Append", "(System.String)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "InplaceStringBuilder", "Append", "(System.String,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "InplaceStringBuilder", "InplaceStringBuilder", "(System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "AsMemory", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "AsSpan", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "AsSpan", "(System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "AsSpan", "(System.Int32,System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Compare", "(Microsoft.Extensions.Primitives.StringSegment,Microsoft.Extensions.Primitives.StringSegment,System.StringComparison)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "EndsWith", "(System.String,System.StringComparison)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Equals", "(Microsoft.Extensions.Primitives.StringSegment)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Equals", "(Microsoft.Extensions.Primitives.StringSegment,Microsoft.Extensions.Primitives.StringSegment,System.StringComparison)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Equals", "(Microsoft.Extensions.Primitives.StringSegment,System.StringComparison)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Equals", "(System.String)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Equals", "(System.String,System.StringComparison)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "GetHashCode", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "IndexOf", "(System.Char)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "IndexOf", "(System.Char,System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "IndexOf", "(System.Char,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "IndexOfAny", "(System.Char[])", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "IndexOfAny", "(System.Char[],System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "IndexOfAny", "(System.Char[],System.Int32,System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "IsNullOrEmpty", "(Microsoft.Extensions.Primitives.StringSegment)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "LastIndexOf", "(System.Char)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Split", "(System.Char[])", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "StartsWith", "(System.String,System.StringComparison)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Subsegment", "(System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Subsegment", "(System.Int32,System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "Trim", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "TrimEnd", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "TrimStart", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "get_Buffer", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "get_HasValue", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "get_Item", "(System.Int32)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "get_Length", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "get_Offset", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "op_Equality", "(Microsoft.Extensions.Primitives.StringSegment,Microsoft.Extensions.Primitives.StringSegment)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegment", "op_Inequality", "(Microsoft.Extensions.Primitives.StringSegment,Microsoft.Extensions.Primitives.StringSegment)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegmentComparer", "Compare", "(Microsoft.Extensions.Primitives.StringSegment,Microsoft.Extensions.Primitives.StringSegment)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegmentComparer", "Equals", "(Microsoft.Extensions.Primitives.StringSegment,Microsoft.Extensions.Primitives.StringSegment)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegmentComparer", "GetHashCode", "(Microsoft.Extensions.Primitives.StringSegment)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegmentComparer", "get_Ordinal", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringSegmentComparer", "get_OrdinalIgnoreCase", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringTokenizer+Enumerator", "Dispose", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringTokenizer+Enumerator", "MoveNext", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringTokenizer+Enumerator", "Reset", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues+Enumerator", "Dispose", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues+Enumerator", "Enumerator", "(Microsoft.Extensions.Primitives.StringValues)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues+Enumerator", "MoveNext", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues+Enumerator", "Reset", "()", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Equality", "(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Equality", "(Microsoft.Extensions.Primitives.StringValues,System.Object)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Equality", "(Microsoft.Extensions.Primitives.StringValues,System.String)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Equality", "(Microsoft.Extensions.Primitives.StringValues,System.String[])", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Equality", "(System.Object,Microsoft.Extensions.Primitives.StringValues)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Equality", "(System.String,Microsoft.Extensions.Primitives.StringValues)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Equality", "(System.String[],Microsoft.Extensions.Primitives.StringValues)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Inequality", "(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Inequality", "(Microsoft.Extensions.Primitives.StringValues,System.Object)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Inequality", "(Microsoft.Extensions.Primitives.StringValues,System.String)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Inequality", "(Microsoft.Extensions.Primitives.StringValues,System.String[])", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Inequality", "(System.Object,Microsoft.Extensions.Primitives.StringValues)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Inequality", "(System.String,Microsoft.Extensions.Primitives.StringValues)", "summary", "df-generated"]
      - ["Microsoft.Extensions.Primitives", "StringValues", "op_Inequality", "(System.String[],Microsoft.Extensions.Primitives.StringValues)", "summary", "df-generated"]
