original_string: public function setProxyTicket ($proxyTicket)
      {
          if (empty($proxyTicket)) {
              throw new CAS_InvalidArgumentException(
                  'Trying to initialize with an empty proxy ticket.'
              );
          }
          if (!empty($this->_proxyTicket)) {
              throw new CAS_OutOfSequenceException(
                  'Already initialized, cannot change the proxy ticket.'
              );
          }
          $this->_proxyTicket = $proxyTicket;
      }
code: public function setProxyTicket ($proxyTicket)
      {
          if (empty($proxyTicket)) {
              throw new CAS_InvalidArgumentException(
                  'Trying to initialize with an empty proxy ticket.'
              );
          }
          if (!empty($this->_proxyTicket)) {
              throw new CAS_OutOfSequenceException(
                  'Already initialized, cannot change the proxy ticket.'
              );
          }
          $this->_proxyTicket = $proxyTicket;
      }
code_tokens: public function setProxyTicket ( $ proxyTicket ) { if ( empty ( $ proxyTicket ) ) { throw new CAS_InvalidArgumentException ( 'Trying to initialize with an empty proxy ticket.' ) ; } if ( ! empty ( $ this -> _proxyTicket ) ) { throw new CAS_OutOfSequenceException ( 'Already initialized, cannot change the proxy ticket.' ) ; } $ this -> _proxyTicket = $ proxyTicket ; }
docstring: Register a proxy ticket with the Proxy that it can use when making requests.
  
  @param string $proxyTicket proxy ticket
  
  @return void
  @throws InvalidArgumentException If the $proxyTicket is invalid.
  @throws CAS_OutOfSequenceException If called after a proxy ticket has
  already been initialized/set.
docstring_tokens: Register a proxy ticket with the Proxy that it can use when making requests .