Remove override of final predicate

This commit is contained in:
Asger F
2025-02-11 17:07:09 +01:00
parent 80e79b11f7
commit c306f44589

View File

@@ -705,8 +705,6 @@ module TestPostProcessing {
)
}
override string toString() { result = this.getRelativeUrl() }
override predicate hasLocationInfo(string file, int sl, int sc, int el, int ec) {
this = MkResultLocation(getRelativePathTo(file), sl, sc, el, ec)
}
@@ -719,8 +717,6 @@ module TestPostProcessing {
override string getRelativeUrl() { result = Input2::getRelativeUrl(loc) }
override string toString() { result = this.getRelativeUrl() }
override predicate hasLocationInfo(string file, int sl, int sc, int el, int ec) {
loc.hasLocationInfo(file, sl, sc, el, ec)
}