Merge pull request #10540 from michaelnebel/csharp/dotnet-run-validate

C# Integration test validations for `dotnet run`.

Author: michaelnebel

csharp/ql/integration-tests/all-platforms/dotnet_run/Program.cs

@@ -1 +1 @@
-Console.WriteLine(args.Length > 0 ? args[0] + ", " + args[1] : "");
+Console.WriteLine(args.Length > 1 ? args[0] + ", " + args[1] : "Default reply");

csharp/ql/integration-tests/all-platforms/dotnet_run/dotnet_run.csproj

@@ -7,4 +7,8 @@
     <Nullable>enable</Nullable>
   </PropertyGroup>
 
+ <Target Name="DeleteBinObjFolders" BeforeTargets="Clean">
+   <RemoveDir Directories=".\bin" />
+   <RemoveDir Directories=".\obj" />
+ </Target>
 </Project>

csharp/ql/integration-tests/all-platforms/dotnet_run/test.py

@@ -1,17 +1,43 @@
+import os
 from create_database_utils import *
 
+def run_codeql_database_create_stdout(args, dbname):
+    stdout = open(dbname + "file.txt", 'w+')
+    run_codeql_database_create(args, test_db=dbname, db=None, stdout=stdout, lang="csharp")
+    stdout.seek(0)
+    s = stdout.read()
+    stdout.close()
+    return s
+
+def check_build_out(msg, s):
+    if "[build-stdout] " + msg not in s:
+        raise Exception("The C# extractor did not interpret the 'dotnet run' command correctly")
+
 # no arguments
-run_codeql_database_create(['dotnet run'], test_db="test-db", db=None, lang="csharp")
+s = run_codeql_database_create_stdout(['dotnet run'], "test-db")
+check_build_out("Default reply", s)
 
 # no arguments, but `--`
-run_codeql_database_create(['dotnet clean', 'rm -rf test-db obj bin', 'dotnet run --'], test_db="test2-db", db=None, lang="csharp")
+s = run_codeql_database_create_stdout(['dotnet clean', 'rm -rf test-db', 'dotnet run --'], "test2-db")
+check_build_out("Default reply", s)
+
+# one argument, no `--`
+s = run_codeql_database_create_stdout(['dotnet clean', 'rm -rf test2-db', 'dotnet run hello'], "test3-db")
+check_build_out("Default reply", s)
+
+# one argument, but `--`
+s = run_codeql_database_create_stdout(['dotnet clean', 'rm -rf test3-db', 'dotnet run -- hello'], "test4-db")
+check_build_out("Default reply", s)
 
 # two arguments, no `--`
-run_codeql_database_create(['dotnet clean', 'rm -rf test2-db obj bin', 'dotnet run hello world'], test_db="test3-db", db=None, lang="csharp")
+s = run_codeql_database_create_stdout(['dotnet clean', 'rm -rf test4-db', 'dotnet run hello world'], "test5-db")
+check_build_out("hello, world", s)
 
 # two arguments, and `--`
-run_codeql_database_create(['dotnet clean', 'rm -rf test3-db obj bin', 'dotnet run -- hello world'], test_db="test4-db", db=None, lang="csharp")
+s = run_codeql_database_create_stdout(['dotnet clean', 'rm -rf test5-db', 'dotnet run -- hello world'], "test6-db")
+check_build_out("hello, world", s)
 
 # shared compilation enabled; tracer should override by changing the command
 # to `dotnet run -p:UseSharedCompilation=true -p:UseSharedCompilation=false -- hello world`
-run_codeql_database_create(['dotnet clean', 'rm -rf test4-db obj bin', 'dotnet run -p:UseSharedCompilation=true -- hello world'], test_db="test5-db", db=None, lang="csharp")
+s = run_codeql_database_create_stdout(['dotnet clean', 'rm -rf test6-db', 'dotnet run -p:UseSharedCompilation=true -- hello world'], "test7-db")
+check_build_out("hello, world", s)