restoring previous casts to avoid super type ambiguity

This commit is contained in:
Alvaro Muñoz
2022-12-07 10:39:58 +01:00
parent 407df37a74
commit af015d3d30

View File

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