C#: Add model generator testcase for Negative summaries for abstract members.

michaelnebel · michaelnebel · commit 9c6bcec5002d · 2022-08-24T09:46:54.000+02:00
diff --git a/csharp/ql/test/utils/model-generator/NoSummaries.cs b/csharp/ql/test/utils/model-generator/NoSummaries.cs
@@ -98,4 +98,16 @@ public object M2(Func<object, object> map, object o)
     {
         return map(o);
     }
+}
+
+public abstract class BaseClass
+{
+    // Negative summary.
+    public virtual string M1(string s)
+    {
+        return "";
+    }
+
+    // Negative summary.
+    public abstract string M2(string s);
 }

Original file line number	Diff line number	Diff line change
`@@ -98,4 +98,16 @@ public object M2(Func<object, object> map, object o)`
`98`	`98`	`{`
`99`	`99`	`return map(o);`
`100`	`100`	`}`
	`101`	`+}`
	`102`	`+`
	`103`	`+public abstract class BaseClass`
	`104`	`+{`
	`105`	`+ // Negative summary.`
	`106`	`+ public virtual string M1(string s)`
	`107`	`+ {`
	`108`	`+ return "";`
	`109`	`+ }`
	`110`	`+`
	`111`	`+ // Negative summary.`
	`112`	`+ public abstract string M2(string s);`
`101`	`113`	`}`