Kotlin: Avoid name clash

igfoo · igfoo · commit 0e689a9d35fe · 2022-05-10T19:51:18.000+01:00
diff --git a/java/ql/lib/semmle/code/java/Modifier.qll b/java/ql/lib/semmle/code/java/Modifier.qll
@@ -43,7 +43,8 @@ abstract class Modifiable extends Element {
   predicate isFinal() { this.hasModifier("final") }
 
   /** Holds if this element has a `sealed` modifier. */
-  predicate isSealed() { this.hasModifier("sealed") }
+  // TODO: `isSealed()` conflicts with `ClassOrInterface.isSealed()`. What name do we want to use here?
+  predicate isSealedKotlin() { this.hasModifier("sealed") }
 
   /** Holds if this element has a `public` modifier or is implicitly public. */
   predicate isPublic() { this.hasModifier("public") }
