original_string: public function setUrl($url)
      {
          if ($this->hasBeenSent()) {
              throw new CAS_OutOfSequenceException(
                  'Cannot set the URL, request already sent.'
              );
          }
          if (!is_string($url)) {
              throw new CAS_InvalidArgumentException('$url must be a string.');
          }
  
          $this->_url = $url;
      }
code: public function setUrl($url)
      {
          if ($this->hasBeenSent()) {
              throw new CAS_OutOfSequenceException(
                  'Cannot set the URL, request already sent.'
              );
          }
          if (!is_string($url)) {
              throw new CAS_InvalidArgumentException('$url must be a string.');
          }
  
          $this->_url = $url;
      }
code_tokens: public function setUrl ( $ url ) { if ( $ this -> hasBeenSent ( ) ) { throw new CAS_OutOfSequenceException ( 'Cannot set the URL, request already sent.' ) ; } if ( ! is_string ( $ url ) ) { throw new CAS_InvalidArgumentException ( '$url must be a string.' ) ; } $ this -> _url = $ url ; }
docstring: Set the URL of the Request
  
  @param string $url url to set
  
  @return void
  @throws CAS_OutOfSequenceException If called after the Request has been sent.
docstring_tokens: Set the URL of the Request