original_string: public static function setFixedServiceURL($url)
      {
          phpCAS :: traceBegin();
          phpCAS::_validateProxyExists();
  
          try {
              self::$_PHPCAS_CLIENT->setURL($url);
          } catch (Exception $e) {
              phpCAS :: error(get_class($e) . ': ' . $e->getMessage());
          }
  
          phpCAS :: traceEnd();
      }
code: public static function setFixedServiceURL($url)
      {
          phpCAS :: traceBegin();
          phpCAS::_validateProxyExists();
  
          try {
              self::$_PHPCAS_CLIENT->setURL($url);
          } catch (Exception $e) {
              phpCAS :: error(get_class($e) . ': ' . $e->getMessage());
          }
  
          phpCAS :: traceEnd();
      }
code_tokens: public static function setFixedServiceURL ( $ url ) { phpCAS :: traceBegin ( ) ; phpCAS :: _validateProxyExists ( ) ; try { self :: $ _PHPCAS_CLIENT -> setURL ( $ url ) ; } catch ( Exception $ e ) { phpCAS :: error ( get_class ( $ e ) . ': ' . $ e -> getMessage ( ) ) ; } phpCAS :: traceEnd ( ) ; }
docstring: Set the fixed URL that will be set as the CAS service parameter. When this
  method is not called, a phpCAS script uses its own URL.
  
  @param string $url the URL
  
  @return void
docstring_tokens: Set the fixed URL that will be set as the CAS service parameter . When this method is not called a phpCAS script uses its own URL .