C#: Restructure test cases.

csharp/ql/test/utils/model-generator/typebasedflow/TypeBasedSummaries.cs

@@ -5,14 +5,14 @@ using System.Collections.Generic;
 
 namespace Summaries;
 
-public class Theorems1<T> {
+public class TypeBasedSimple<T> {
     
     public T Prop {
         get { throw null; }
         set { throw null; }
     }
 
-    public Theorems1(T t)  { throw null; } 
+    public TypeBasedSimple(T t)  { throw null; } 
 
     public T Get() { throw null; }
 
@@ -20,16 +20,16 @@ public class Theorems1<T> {
 
     public T Id(T x) { throw null; }
 
-    public S Transform<S>(S x) { throw null; }
+    public S Id<S>(S x) { throw null; }
 
     public void Set(T x) { throw null; }
 
     public void Set(int x, T y) { throw null; }
 
-    // No summary as S is unrelated to T
-    public void Set<S>(S x) { throw null; }
+    public void Set<S>(S x) { throw null; } // No summary as S is unrelated to T
+}
 
-    public IList<T> GetMany() { throw null; }
+public class TypeBasedComplex<T> {
 
     public void AddMany(IEnumerable<T> xs) { throw null; }
 
@@ -39,35 +39,37 @@ public class Theorems1<T> {
 
     public T2 Apply<T1,T2>(T1 x, Func<T1, T2> f) { throw null; }
 
+    public TypeBasedComplex<T> FlatMap(Func<T, IEnumerable<T>> f) { throw null; }
+
+    public TypeBasedComplex<S> FlatMap<S>(Func<T, IEnumerable<S>> f) { throw null; }
+
+    public IList<T> GetMany() { throw null; }
+
     public S Map<S>(Func<T, S> f) { throw null; }
 
-    public Theorems1<S> MapTheorem<S>(Func<T, S> f) { throw null; }
+    public TypeBasedComplex<S> MapComplex<S>(Func<T, S> f) { throw null; }
 
-    public Theorems1<S> FlatMap<S>(Func<T, IEnumerable<S>> f) { throw null; }
-
-    public Theorems1<T> FlatMap(Func<T, IEnumerable<T>> f) { throw null; }
-
-    public Theorems1<T> Return(Func<T, Theorems1<T>> f) { throw null; }
+    public TypeBasedComplex<T> Return(Func<T, TypeBasedComplex<T>> f) { throw null; }
     // Examples still not working:
     // public void Set(int x, Func<int, T> f) { throw null;}
 }
 
 // It is assumed that this is a collection with elements of type T.
-public class CollectionTheorems1<T> : IEnumerable<T> {
+public class TypeBasedCollection<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; }
+
+    public T First() { throw null; }
+
+    public ICollection<T> GetMany() { throw null; }
 }
 
 // It is assumed that this is NOT a collection with elements of type T.
-public class CollectionTheorems2<T> : IEnumerable {
+public class TypeBasedNoCollection<T> : IEnumerable {
     IEnumerator IEnumerable.GetEnumerator() { throw null; }
 
     public T Get() { throw null; }