Python: Autoformats

BekaValentine · BekaValentine · commit 6017197870c1 · 2020-03-10T08:08:05.000-07:00
diff --git a/python/ql/src/Functions/SignatureOverriddenMethod.ql b/python/ql/src/Functions/SignatureOverriddenMethod.ql
@@ -6,7 +6,6 @@
  * @problem.severity warning
  * @tags reliability
  *       correctness
- * @problem.severity warning
  * @sub-severity high
  * @precision very-high
  * @id py/inheritance/signature-mismatch
@@ -19,17 +18,18 @@ from FunctionValue base, PythonFunctionValue derived
 where
   not exists(base.getACall()) and
   not exists(FunctionValue a_derived |
-      a_derived.overrides(base) and
-      exists(a_derived.getACall())
+    a_derived.overrides(base) and
+    exists(a_derived.getACall())
   ) and
   not derived.getScope().isSpecialMethod() and
   derived.getName() != "__init__" and
   derived.isNormalMethod() and
   not derived.getScope().isSpecialMethod() and
   // call to overrides distributed for efficiency
   (
-    (derived.overrides(base) and derived.minParameters() > base.maxParameters())
+    derived.overrides(base) and derived.minParameters() > base.maxParameters()
     or
-    (derived.overrides(base) and derived.maxParameters() < base.minParameters())
+    derived.overrides(base) and derived.maxParameters() < base.minParameters()
   )
-select derived, "Overriding method '" + derived.getName() + "' has signature mismatch with $@.", base, "overridden method"
+select derived, "Overriding method '" + derived.getName() + "' has signature mismatch with $@.",
+  base, "overridden method"
