original_string: public function redirect($url, $parameters = [], $status = 302)
      {
          if (substr($url, 0, 1) == '@') {
              $route = substr($url, 1);
              $url = $this->generateUrl($route, $parameters);
          }
          return new RedirectResponse($url, $status);
      }
code: public function redirect($url, $parameters = [], $status = 302)
      {
          if (substr($url, 0, 1) == '@') {
              $route = substr($url, 1);
              $url = $this->generateUrl($route, $parameters);
          }
          return new RedirectResponse($url, $status);
      }
code_tokens: public function redirect ( $ url , $ parameters = [ ] , $ status = 302 ) { if ( substr ( $ url , 0 , 1 ) == '@' ) { $ route = substr ( $ url , 1 ) ; $ url = $ this -> generateUrl ( $ route , $ parameters ) ; } return new RedirectResponse ( $ url , $ status ) ; }
docstring: Redirect response to an url or a route
  
  @param string $url
  @param array $parameters
  @param int $status
  @return RedirectResponse
docstring_tokens: Redirect response to an url or a route