Java: Make JumpStmt a concrete class again

Marcono1234 · Marcono1234 · commit 348a186df89b · 2022-04-10T17:54:47.000+02:00
Public abstract classes can be error-prone, when users unintentionally
implement a new subclass instead of refining the set of existing subclasses.
diff --git a/java/ql/lib/semmle/code/java/Statement.qll b/java/ql/lib/semmle/code/java/Statement.qll
@@ -556,8 +556,11 @@ class ThrowStmt extends Stmt, @throwstmt {
   override string getAPrimaryQlClass() { result = "ThrowStmt" }
 }
 
+// Workaround to avoid having to make JumpStmt abstract
+private class JumpStmt_ = @breakstmt or @yieldstmt or @continuestmt;
+
 /** A `break`, `yield` or `continue` statement. */
-abstract class JumpStmt extends Stmt {
+class JumpStmt extends Stmt, JumpStmt_ {
   /**
    * Gets the labeled statement that this `break` or
    * `continue` statement refers to, if any.
