Fix abstract override member generation

2026-04-30 11:15:13 +02:00 · 2021-04-16 13:51:17 +02:00
parent cda285de18
commit ff4db5b8d2
1 changed files with 4 additions and 1 deletions
--- a/csharp/ql/src/Stubs/Stubs.qll
+++ b/csharp/ql/src/Stubs/Stubs.qll
@@ -307,7 +307,10 @@ private string stubOverride(Member m) {
    then result = "virtual "
    else
      if m.(Virtualizable).isAbstract()
-      then result = "abstract "
+      then
+        if m.(Virtualizable).isOverride()
+        then result = "abstract override "
+        else result = "abstract "
      else
        if m.(Virtualizable).isOverride()
        then result = "override "