C#: Use explicit typing for enums in the stub generator.

michaelnebel · michaelnebel · commit f71d684a0884 · 2022-08-12T12:48:50.000+02:00
diff --git a/csharp/ql/src/Stubs/Stubs.qll b/csharp/ql/src/Stubs/Stubs.qll
@@ -160,7 +160,7 @@ abstract private class GeneratedType extends Type, GeneratedElement {
 
   private string stubBaseTypesString() {
     if this instanceof Enum
-    then result = ""
+    then result = " : " + this.(Enum).getUnderlyingType().toStringWithTypes()
     else
       if exists(this.getAnInterestingBaseType())
       then
@@ -726,7 +726,7 @@ pragma[noinline]
 private string stubEnumConstant(EnumConstant ec, Assembly assembly) {
   ec instanceof GeneratedMember and
   ec.getALocation() = assembly and
-  result = "    " + escapeIfKeyword(ec.getName()) + "=" + ec.getValue() + ",\n"
+  result = "    " + escapeIfKeyword(ec.getName()) + " = " + ec.getValue() + ",\n"
 }
 
 pragma[noinline]
