Use ReplyCall.super syntax instead of this.(ReplyCall)

Author: Alvaro Muñoz

javascript/ql/lib/semmle/javascript/frameworks/Spife.qll

@@ -285,7 +285,7 @@ module Spife {
       result = this.getAHeaderSource().getAPropertyWrite().getPropertyNameExpr().flow()
     }
 
-    override RouteHandler getRouteHandler() { result = this.(ReplyCall).getRouteHandler() }
+    override RouteHandler getRouteHandler() { result = ReplyCall.super.getRouteHandler() }
   }
 
   /**
@@ -313,7 +313,7 @@ module Spife {
 
     override DataFlow::Node getValueArgument() { result = super.getArgument(2) }
 
-    override RouteHandler getRouteHandler() { result = this.(ReplyCall).getRouteHandler() }
+    override RouteHandler getRouteHandler() { result = ReplyCall.super.getRouteHandler() }
   }
 
   /**
@@ -407,6 +407,6 @@ module Spife {
 
     override DataFlow::Node getUrlArgument() { result = this.getAnArgument() }
 
-    override RouteHandler getRouteHandler() { result = this.(ReplyCall).getRouteHandler() }
+    override RouteHandler getRouteHandler() { result = ReplyCall.super.getRouteHandler() }
   }
 }