From 79f5a6acab295e2e11ee5164ed9873a76352bd2b Mon Sep 17 00:00:00 2001 From: Koen Vlaswinkel Date: Tue, 12 Dec 2023 16:52:08 +0100 Subject: [PATCH] C#: Add test model for generic method --- .../test/utils/modeleditor/FrameworkModeEndpoints.expected | 1 + .../ql/test/utils/modeleditor/FrameworkModeEndpoints.ext.yml | 1 + csharp/ql/test/utils/modeleditor/PublicGenericClass.cs | 5 +++++ 3 files changed, 7 insertions(+) diff --git a/csharp/ql/test/utils/modeleditor/FrameworkModeEndpoints.expected b/csharp/ql/test/utils/modeleditor/FrameworkModeEndpoints.expected index 84c138b41cc..60b62f3cffd 100644 --- a/csharp/ql/test/utils/modeleditor/FrameworkModeEndpoints.expected +++ b/csharp/ql/test/utils/modeleditor/FrameworkModeEndpoints.expected @@ -9,6 +9,7 @@ | PublicClass.cs:50:17:50:28 | neutralStuff | GitHub.CodeQL | PublicClass | neutralStuff | (System.String) | true | PublicClass.cs | neutral | | PublicGenericClass.cs:7:17:7:21 | stuff | GitHub.CodeQL | PublicGenericClass`2 | stuff | (T) | false | PublicGenericClass.cs | | | PublicGenericClass.cs:12:17:12:26 | stuff2`1 | GitHub.CodeQL | PublicGenericClass`2 | stuff2`1 | (T2) | false | PublicGenericClass.cs | | +| PublicGenericClass.cs:17:18:17:36 | summaryStuff`1 | GitHub.CodeQL | PublicGenericClass`2 | summaryStuff`1 | (TNode) | true | PublicGenericClass.cs | summary | | PublicGenericInterface.cs:7:10:7:14 | stuff | GitHub.CodeQL | PublicGenericInterface`1 | stuff | (T) | false | PublicGenericInterface.cs | | | PublicGenericInterface.cs:9:10:9:19 | stuff2`1 | GitHub.CodeQL | PublicGenericInterface`1 | stuff2`1 | (T2) | false | PublicGenericInterface.cs | | | PublicGenericInterface.cs:11:17:11:27 | staticStuff | GitHub.CodeQL | PublicGenericInterface`1 | staticStuff | (System.String) | false | PublicGenericInterface.cs | | diff --git a/csharp/ql/test/utils/modeleditor/FrameworkModeEndpoints.ext.yml b/csharp/ql/test/utils/modeleditor/FrameworkModeEndpoints.ext.yml index f624dfea64a..99f66bf127c 100644 --- a/csharp/ql/test/utils/modeleditor/FrameworkModeEndpoints.ext.yml +++ b/csharp/ql/test/utils/modeleditor/FrameworkModeEndpoints.ext.yml @@ -16,6 +16,7 @@ extensions: extensible: summaryModel data: - ["GitHub.CodeQL","PublicClass",true,"summaryStuff","(System.String)","","Argument[0]","ReturnValue","taint","manual"] + - ["GitHub.CodeQL","PublicGenericClass",true,"summaryStuff","(TNode)","","Argument[0]","ReturnValue","value","manual"] - addsTo: pack: codeql/csharp-all diff --git a/csharp/ql/test/utils/modeleditor/PublicGenericClass.cs b/csharp/ql/test/utils/modeleditor/PublicGenericClass.cs index 7edc38dbed9..44760cc0409 100644 --- a/csharp/ql/test/utils/modeleditor/PublicGenericClass.cs +++ b/csharp/ql/test/utils/modeleditor/PublicGenericClass.cs @@ -13,4 +13,9 @@ public class PublicGenericClass : PublicGenericInterface { Console.WriteLine(arg); } + + public TNode summaryStuff(TNode arg) + { + return arg; + } }