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

Java: Add missing override annotations.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2018-12-17 15:40:46 +01:00
parent b8877f1d5f
commit d3f6362ba2
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/src/Metrics/Internal/Extents.qll
View File

@@ -15,7 +15,7 @@ import java
* including the body (if any), as opposed to the location of its name only.
*/
class RangeCallable extends Callable {
predicate hasLocationInfo(string path, int sl, int sc, int el, int ec) {
override predicate hasLocationInfo(string path, int sl, int sc, int el, int ec) {
exists(int elSuper, int ecSuper | super.hasLocationInfo(path, sl, sc, elSuper, ecSuper) |
this.getBody().hasLocationInfo(path, _, _, el, ec)
or
@@ -39,7 +39,7 @@ class RangeCallable extends Callable {
* including the range of its members (if any), as opposed to the location of its name only.
*/
class RangeRefType extends RefType {
predicate hasLocationInfo(string path, int sl, int sc, int el, int ec) {
override predicate hasLocationInfo(string path, int sl, int sc, int el, int ec) {
exists(int elSuper, int ecSuper | super.hasLocationInfo(path, sl, sc, elSuper, ecSuper) |
lastMember().hasLocationInfo(path, _, _, el, ec)
or