C#: Update test relevant test cases.

michaelnebel · michaelnebel · commit e66dce152444 · 2022-09-14T11:06:23.000+02:00
diff --git a/csharp/ql/test/utils/model-generator/theorems/TheoremSummaries.cs b/csharp/ql/test/utils/model-generator/theorems/TheoremSummaries.cs
@@ -20,8 +20,6 @@ public T Prop {
 
     public T Id(T x) { throw null; }
 
-    public T Transform(int x, T y) { throw null; }
-
     public S Transform<S>(S x) { throw null; }
 
     public void Set(T x) { throw null; }
@@ -32,18 +30,31 @@ public T Prop {
     public void Set<S>(S x) { throw null; }
 
     public int Apply(Func<T, int> f) { throw null; }
-}
 
-public class Theorems2 {
+    public IList<T> GetMany() { throw null; }
 
-    public T Transform<T>(T x) { throw null; }
+    public void AddMany(IEnumerable<T> xs) { throw null; }
 }
 
+// It is assumed that this is a collection with elements of type T.
 public class CollectionTheorems1<T> : IEnumerable<T> {
     IEnumerator<T> IEnumerable<T>.GetEnumerator() { throw null; }
     IEnumerator IEnumerable.GetEnumerator() { throw null; }
 
     public T First() { throw null; }
 
     public void Add(T x) { throw null; }
+
+    public ICollection<T> GetMany() { throw null; }
+
+    public void AddMany(IEnumerable<T> x) { throw null; }
+}
+
+// It is assumed that this is NOT a collection with elements of type T.
+public class CollectionTheorems2<T> : IEnumerable {
+    IEnumerator IEnumerable.GetEnumerator() { throw null; }
+
+    public T Get() { throw null; }
+
+    public void Set(T x) { throw null; }
 }
