Skip to content

Commit 2ca8103

Browse files
Jami CogswellJami Cogswell
authored andcommitted
Java: remove isImplicitlyPublic predicate since not needed for this use-case
1 parent 5dbd11a commit 2ca8103

File tree

1 file changed

+0
-15
lines changed

1 file changed

+0
-15
lines changed

java/ql/lib/semmle/code/java/Member.qll

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -378,21 +378,6 @@ class SrcCallable extends Callable {
378378
this.isProtected() and not tsub.isFinal()
379379
)
380380
}
381-
382-
/**
383-
* Holds if this callable is implicitly `public`, meaning that it can be
384-
* called outside the codebase or if there exists a method that can be called
385-
* outside the codebase and this callable is a possible implementation of that
386-
* method.
387-
*/
388-
predicate isImplicitlyPublic() {
389-
this.isEffectivelyPublic()
390-
or
391-
exists(SrcMethod m |
392-
m.(SrcCallable).isEffectivelyPublic() and
393-
m.getAPossibleImplementationOfSrcMethod() = this
394-
)
395-
}
396381
}
397382

398383
/** Gets the erasure of `t1` if it is a raw type, or `t1` itself otherwise. */

0 commit comments

Comments
 (0)