Merge pull request #1022 from yh-semmle/java/dead-code-override

Java: respect override annotations in `java/unused-parameter`
This commit is contained in:
Pavel Avgustinov
2019-03-01 19:11:46 +00:00
committed by GitHub

View File

@@ -296,6 +296,8 @@ class RootdefCallable extends Callable {
// Methods that are the target of a member reference need to implement
// the exact signature of the resulting functional interface.
exists(MemberRefExpr mre | mre.getReferencedCallable() = this)
or
this.getAnAnnotation() instanceof OverrideAnnotation
}
}