JS: Use express module instead

This commit is contained in:
Asger F
2019-09-05 12:09:24 +01:00
parent 9f8bf90424
commit 61c4d30dd6

View File

@@ -45,7 +45,7 @@ module Express {
private predicate isRouter(Expr e) {
isRouter(e, _)
or
e.getType().hasUnderlyingType("express-serve-static-core", "Router")
e.getType().hasUnderlyingType("express", "Router")
}
/**
@@ -364,7 +364,7 @@ module Express {
*/
private class TypedResponseSource extends ResponseSource {
TypedResponseSource() {
hasUnderlyingType("express-serve-static-core", "Response") // super type of 'express'.Response
hasUnderlyingType("express", "Response")
}
override RouteHandler getRouteHandler() { none() } // Not known.
@@ -394,7 +394,7 @@ module Express {
*/
private class TypedRequestSource extends RequestSource {
TypedRequestSource() {
hasUnderlyingType("express-serve-static-core", "Request") // super type of 'express'.Request
hasUnderlyingType("express", "Request")
}
override RouteHandler getRouteHandler() { none() } // Not known.