JS: Add explicit 'this'

This commit is contained in:
Asger F
2022-06-28 10:21:44 +02:00
parent c1a2e2abe0
commit c33690381e

View File

@@ -1050,11 +1050,11 @@ module Express {
}
private class ResumeDispatchRefinement extends Routing::RouteHandler {
ResumeDispatchRefinement() { getFunction() instanceof RouteHandler }
ResumeDispatchRefinement() { this.getFunction() instanceof RouteHandler }
override predicate mayResumeDispatch() { getAParameter().getName() = "next" }
override predicate mayResumeDispatch() { this.getAParameter().getName() = "next" }
override predicate definitelyResumesDispatch() { getAParameter().getName() = "next" }
override predicate definitelyResumesDispatch() { this.getAParameter().getName() = "next" }
}
private class ExpressStaticResumeDispatchRefinement extends Routing::Node {