QL: Add more tests for MissingOverride.ql

Author: hvitved

ql/ql/test/queries/style/MissingOverride/MissingOverride.expected

@@ -1 +1,4 @@
 | Test.qll:12:13:12:16 | ClassPredicate test | Wrong.test overrides $@ but does not have an override annotation. | Test.qll:4:13:4:16 | ClassPredicate test | Super.test |
+| Test.qll:18:13:18:16 | ClassPredicate test | Wrong2.test overrides $@ but does not have an override annotation. | Test.qll:4:13:4:16 | ClassPredicate test | Super.test |
+| Test.qll:24:13:24:16 | ClassPredicate test | Correct2.test overrides $@ but does not have an override annotation. | Test.qll:4:13:4:16 | ClassPredicate test | Super.test |
+| Test.qll:36:13:36:16 | ClassPredicate test | Correct4.test overrides $@ but does not have an override annotation. | Test.qll:32:13:32:16 | ClassPredicate test | Super2.test |

ql/ql/test/queries/style/MissingOverride/Test.qll

@@ -11,3 +11,27 @@ class Correct extends Super {
 class Wrong extends Super {
   predicate test(int i) { i = 2 }
 }
+
+class Mid extends Super { }
+
+class Wrong2 extends Mid {
+  predicate test(int i) { i = 2 }
+}
+
+final class SuperFinal = Super;
+
+class Correct2 extends SuperFinal {
+  predicate test(int i) { i = 4 }
+}
+
+class Correct3 extends AstNode instanceof SuperFinal {
+  predicate test(int i) { i = 4 }
+}
+
+final class Super2 extends AstNode {
+  predicate test(int i) { i = [1 .. 5] }
+}
+
+class Correct4 extends Super2 {
+  predicate test(int i) { i = 3 }
+}