hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 03:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Remove unnecessary charpred

Browse Source
This commit is contained in:
Chris Smowton
2021-09-02 12:19:12 +01:00
parent 474d983f8d
commit 0a5410c2d3
1 changed files with 1 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
java/ql/lib/semmle/code/java/Type.qll
View File

@@ -856,12 +856,7 @@ class Interface extends ClassOrInterface, @interface {
}
/** A class or interface. */
class ClassOrInterface extends RefType {
ClassOrInterface() {
this instanceof @class or
this instanceof @interface
}
class ClassOrInterface extends RefType, @classorinterface {
/** Holds if this class or interface is local. */
predicate isLocal() { isLocalClass(this, _) }