JS: Minor fixes

This commit is contained in:
Asger Feldthaus
2020-05-16 09:24:53 +01:00
parent e311cc7689
commit d279845a43

View File

@@ -214,9 +214,9 @@ module HTTP {
}
/**
* Gets a request object originating from this route handler.
* Gets a response object originating from this route handler.
*
* Use `RequestSource.ref()` to get reference to this request object.
* Use `ResponseSource.ref()` to get reference to this response object.
*/
final Servers::ResponseSource getAResponseSource() {
result.getRouteHandler() = this
@@ -343,6 +343,7 @@ module HTTP {
abstract RouteHandler getRouteHandler();
/** DEPRECATED. Use `ref().flowsTo()` instead. */
deprecated
predicate flowsTo(DataFlow::Node nd) { ref().flowsTo(nd) }
private DataFlow::SourceNode ref(DataFlow::TypeTracker t) {