codeql/csharp/ql/lib/ext/System.Collections.Immutable.model.yml at codeql-cli/v2.25.4 · github/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Collections.Immutable", "IImmutableDictionary<TKey,TValue>", True, "AddRange", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableDictionary<TKey,TValue>", True, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableList<T>", True, "Add", "(T)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableList<T>", True, "AddRange", "(System.Collections.Generic.IEnumerable<T>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableList<T>", True, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableQueue<T>", True, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableSet<T>", True, "Add", "(T)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableSet<T>", True, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableStack<T>", True, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray", False, "ToImmutableArray<T>", "(System.Span<T>)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray", False, "ToImmutableArray<T>", "(System.ReadOnlySpan<T>)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange", "(System.Collections.Generic.IEnumerable<T>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange", "(System.Collections.Immutable.ImmutableArray<T>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange", "(System.Collections.Immutable.ImmutableArray<T>+Builder)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange", "(T[])", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange<TDerived>", "(System.Collections.Immutable.ImmutableArray<TDerived>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange<TDerived>", "(System.Collections.Immutable.ImmutableArray<TDerived>+Builder)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange<TDerived>", "(TDerived[])", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Generic.IEnumerator`1.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Key]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Value]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "Add", "(TKey,TValue)", "", "Argument[0]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "Add", "(TKey,TValue)", "", "Argument[1]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "AddRange", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableDictionary`2+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "get_Item", "(TKey)", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "get_Keys", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "get_Values", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Key]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Value]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "AddRange", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableDictionary`2+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "get_Keys", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "get_Values", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableHashSet<T>", False, "Add", "(T)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableHashSet<T>", False, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableHashSet<T>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableHashSet`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableHashSet<T>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableHashSet`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Add", "(T)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "AddRange", "(System.Collections.Generic.IEnumerable<T>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Find", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Find", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "FindAll", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "FindAll", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "FindLast", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "FindLast", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableList`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "GetRange", "(System.Int32,System.Int32)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Insert", "(System.Int32,T)", "", "Argument[1]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "InsertRange", "(System.Int32,System.Collections.Generic.IEnumerable<T>)", "", "Argument[1].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Reverse", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Reverse", "(System.Int32,System.Int32)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "get_Item", "(System.Int32)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "AddRange", "(System.Collections.Generic.IEnumerable<T>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "Find", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "Find", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "FindAll", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "FindAll", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "FindLast", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "FindLast", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableList`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "GetRange", "(System.Int32,System.Int32)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "InsertRange", "(System.Int32,System.Collections.Generic.IEnumerable<T>)", "", "Argument[1].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableQueue<T>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableQueue`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Key]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Value]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "Add", "(TKey,TValue)", "", "Argument[0]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "Add", "(TKey,TValue)", "", "Argument[1]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "AddRange", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableSortedDictionary`2+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "get_Item", "(TKey)", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "get_Keys", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "get_Values", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Key]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Value]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "AddRange", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableSortedDictionary`2+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "get_Keys", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "get_Values", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>", False, "Add", "(T)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableSortedSet`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>", False, "Reverse", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>", False, "get_Item", "(System.Int32)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableSortedSet`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>+Builder", False, "Reverse", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableStack<T>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableStack`1+Enumerator.Current]", "value", "manual"]