@@ -72,9 +72,9 @@ module Koa {
72
72
}
73
73
74
74
/**
75
- * Gets the dataflow node that is given to a `RouteSetup` to register the handler.
75
+ * Gets a dataflow node that can be given to a `RouteSetup` to register the handler.
76
76
*/
77
- abstract DataFlow:: SourceNode getRouteHandlerRegistration ( ) ;
77
+ abstract DataFlow:: SourceNode getARouteHandlerRegistrationObject ( ) ;
78
78
}
79
79
80
80
/**
@@ -91,7 +91,7 @@ module Koa {
91
91
private class StandardRouteHandler extends RouteHandler {
92
92
StandardRouteHandler ( ) { any ( RouteSetup setup ) .getARouteHandler ( ) = this }
93
93
94
- override DataFlow:: SourceNode getRouteHandlerRegistration ( ) { result = this }
94
+ override DataFlow:: SourceNode getARouteHandlerRegistrationObject ( ) { result = this }
95
95
}
96
96
97
97
/**
@@ -136,7 +136,7 @@ module Koa {
136
136
* app.use(router.routes());
137
137
* ```
138
138
*/
139
- private class RoutedRouteHandler extends RouteHandler , DataFlow :: SourceNode {
139
+ private class RoutedRouteHandler extends RouteHandler {
140
140
DataFlow:: InvokeNode router ;
141
141
DataFlow:: MethodCallNode call ;
142
142
@@ -151,7 +151,7 @@ module Koa {
151
151
this .flowsTo ( call .getArgument ( any ( int i | i >= 1 ) ) )
152
152
}
153
153
154
- override DataFlow:: SourceNode getRouteHandlerRegistration ( ) {
154
+ override DataFlow:: SourceNode getARouteHandlerRegistrationObject ( ) {
155
155
result = call
156
156
or
157
157
result = router .getAMethodCall ( "routes" )
@@ -171,7 +171,7 @@ module Koa {
171
171
* // route handler stuff
172
172
* }));
173
173
*/
174
- class KoaRouteHandler extends RouteHandler , DataFlow :: SourceNode {
174
+ class KoaRouteHandler extends RouteHandler {
175
175
DataFlow:: CallNode call ;
176
176
177
177
KoaRouteHandler ( ) {
@@ -190,7 +190,7 @@ module Koa {
190
190
result = call .getABoundCallbackParameter ( 1 , any ( int i | i >= 1 ) )
191
191
}
192
192
193
- override DataFlow:: SourceNode getRouteHandlerRegistration ( ) { result = call }
193
+ override DataFlow:: SourceNode getARouteHandlerRegistrationObject ( ) { result = call }
194
194
}
195
195
196
196
/**
@@ -390,7 +390,7 @@ module Koa {
390
390
result .flowsToExpr ( getArgument ( 0 ) )
391
391
or
392
392
// For the route-handlers that does not depend on this predicate in their charpred.
393
- result .( RouteHandler ) .getRouteHandlerRegistration ( ) .flowsToExpr ( getArgument ( 0 ) )
393
+ result .( RouteHandler ) .getARouteHandlerRegistrationObject ( ) .flowsToExpr ( getArgument ( 0 ) )
394
394
}
395
395
396
396
override Expr getServer ( ) { result = server }
0 commit comments