@@ -245,14 +245,14 @@ module Spife {
245245 override predicate definesHeaderValue ( string headerName , DataFlow:: Node headerValue ) {
246246 // reply.header(RESPONSE, 'Cache-Control', 'no-cache')
247247 this .getNameNode ( ) .mayHaveStringValue ( headerName ) and
248- headerValue = this . ( DataFlow :: MethodCallNode ) .getArgument ( 2 )
248+ headerValue = super .getArgument ( 2 )
249249 }
250250
251251 override DataFlow:: Node getNameNode ( ) {
252- result = this . ( DataFlow :: MethodCallNode ) .getArgument ( 1 )
252+ result = super .getArgument ( 1 )
253253 }
254254
255- override RouteHandler getRouteHandler ( ) { result = this . ( ReplyCall ) .getRouteHandler ( ) }
255+ override RouteHandler getRouteHandler ( ) { result = ReplyCall . super .getRouteHandler ( ) }
256256 }
257257
258258 /**
@@ -274,7 +274,7 @@ module Spife {
274274 * Gets a reference to the multiple headers object that is to be set.
275275 */
276276 DataFlow:: ObjectLiteralNode getAHeaderSource ( ) {
277- result = this . ( DataFlow :: CallNode ) .getAnArgument ( ) .getALocalSource ( )
277+ result = super .getAnArgument ( ) .getALocalSource ( )
278278 }
279279
280280 override predicate definesHeaderValue ( string headerName , DataFlow:: Node headerValue ) {
@@ -288,7 +288,7 @@ module Spife {
288288 result = this .getAHeaderSource ( ) .getAPropertyWrite ( ) .getPropertyNameExpr ( ) .flow ( )
289289 }
290290
291- override RouteHandler getRouteHandler ( ) { result = this . ( ReplyCall ) .getRouteHandler ( ) }
291+ override RouteHandler getRouteHandler ( ) { result = super .getRouteHandler ( ) }
292292 }
293293
294294 /**
@@ -312,11 +312,11 @@ module Spife {
312312 }
313313
314314 // this = any(ReplyCall r).ref().getAMethodCall("cookie")
315- override DataFlow:: Node getNameArgument ( ) { result = this . ( ReplyCall ) .getArgument ( 1 ) }
315+ override DataFlow:: Node getNameArgument ( ) { result = super .getArgument ( 1 ) }
316316
317- override DataFlow:: Node getValueArgument ( ) { result = this . ( ReplyCall ) .getArgument ( 2 ) }
317+ override DataFlow:: Node getValueArgument ( ) { result = super .getArgument ( 2 ) }
318318
319- override RouteHandler getRouteHandler ( ) { result = this . ( ReplyCall ) .getRouteHandler ( ) }
319+ override RouteHandler getRouteHandler ( ) { result = super .getRouteHandler ( ) }
320320 }
321321
322322 /**
@@ -371,9 +371,9 @@ module Spife {
371371
372372 override DataFlow:: SourceNode getOutput ( ) { result = this }
373373
374- override DataFlow:: Node getTemplateFileNode ( ) { result = this . ( ReplyCall ) .getArgument ( 0 ) }
374+ override DataFlow:: Node getTemplateFileNode ( ) { result = super .getArgument ( 0 ) }
375375
376- override DataFlow:: Node getTemplateParamsNode ( ) { result = this . ( ReplyCall ) .getArgument ( 1 ) }
376+ override DataFlow:: Node getTemplateParamsNode ( ) { result = super .getArgument ( 1 ) }
377377 }
378378
379379 /**
@@ -410,6 +410,6 @@ module Spife {
410410
411411 override DataFlow:: Node getUrlArgument ( ) { result = this .getAnArgument ( ) }
412412
413- override RouteHandler getRouteHandler ( ) { result = this .getRouteHandler ( ) }
413+ override RouteHandler getRouteHandler ( ) { result = super .getRouteHandler ( ) }
414414 }
415415}
0 commit comments