original_string: public function setServiceUrl ($url)
      {
          if ($this->hasBeenOpened()) {
              throw new CAS_OutOfSequenceException(
                  'Cannot set the URL, stream already opened.'
              );
          }
          if (!is_string($url) || !strlen($url)) {
              throw new CAS_InvalidArgumentException('Invalid url.');
          }
  
          $this->_url = $url;
      }
code: public function setServiceUrl ($url)
      {
          if ($this->hasBeenOpened()) {
              throw new CAS_OutOfSequenceException(
                  'Cannot set the URL, stream already opened.'
              );
          }
          if (!is_string($url) || !strlen($url)) {
              throw new CAS_InvalidArgumentException('Invalid url.');
          }
  
          $this->_url = $url;
      }
code_tokens: public function setServiceUrl ( $ url ) { if ( $ this -> hasBeenOpened ( ) ) { throw new CAS_OutOfSequenceException ( 'Cannot set the URL, stream already opened.' ) ; } if ( ! is_string ( $ url ) || ! strlen ( $ url ) ) { throw new CAS_InvalidArgumentException ( 'Invalid url.' ) ; } $ this -> _url = $ url ; }
docstring: Set the URL of the service to pass to CAS for proxy-ticket retrieval.
  
  @param string $url Url to set
  
  @return void
  @throws CAS_OutOfSequenceException If called after the stream has been opened.
docstring_tokens: Set the URL of the service to pass to CAS for proxy - ticket retrieval .