Skip to content

Commit 0a5410c

Browse files
committed
Remove unnecessary charpred
1 parent 474d983 commit 0a5410c

File tree

1 file changed

+1
-6
lines changed

1 file changed

+1
-6
lines changed

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

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -856,12 +856,7 @@ class Interface extends ClassOrInterface, @interface {
856856
}
857857

858858
/** A class or interface. */
859-
class ClassOrInterface extends RefType {
860-
ClassOrInterface() {
861-
this instanceof @class or
862-
this instanceof @interface
863-
}
864-
859+
class ClassOrInterface extends RefType, @classorinterface {
865860
/** Holds if this class or interface is local. */
866861
predicate isLocal() { isLocalClass(this, _) }
867862

0 commit comments

Comments
 (0)