Test commit: Check tests pass when removing Field.getSourceDeclaratio…

…n() and Field.isSourceDeclaration()
github · Sep 18, 2024 · 964e877 · 964e877
1 parent ccefee8
commit 964e877
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/java/ql/lib/semmle/code/java/Member.qll b/java/ql/lib/semmle/code/java/Member.qll
@@ -793,14 +793,6 @@ class Field extends Member, ExprParent, @field, Variable {
     )
   }
 
-  /**
-   * DEPRECATED: The result is always `this`.
-   */
-  deprecated Field getSourceDeclaration() { result = this }
-
-  /** DEPRECATED: This always holds. */
-  deprecated predicate isSourceDeclaration() { any() }
-
   override predicate isPublic() {
     Member.super.isPublic()
     or