original_string: protected function discardCookie ($cookie)
      {
          if (!isset($cookie['domain'])
              || !isset($cookie['path'])
              || !isset($cookie['path'])
          ) {
              throw new CAS_InvalidArgumentException('Invalid Cookie array passed.');
          }
  
          foreach ($this->_cookies as $key => $old_cookie) {
              if ( $cookie['domain'] == $old_cookie['domain']
                  && $cookie['path'] == $old_cookie['path']
                  && $cookie['name'] == $old_cookie['name']
              ) {
                  unset($this->_cookies[$key]);
              }
          }
      }
code: protected function discardCookie ($cookie)
      {
          if (!isset($cookie['domain'])
              || !isset($cookie['path'])
              || !isset($cookie['path'])
          ) {
              throw new CAS_InvalidArgumentException('Invalid Cookie array passed.');
          }
  
          foreach ($this->_cookies as $key => $old_cookie) {
              if ( $cookie['domain'] == $old_cookie['domain']
                  && $cookie['path'] == $old_cookie['path']
                  && $cookie['name'] == $old_cookie['name']
              ) {
                  unset($this->_cookies[$key]);
              }
          }
      }
code_tokens: protected function discardCookie ( $ cookie ) { if ( ! isset ( $ cookie [ 'domain' ] ) || ! isset ( $ cookie [ 'path' ] ) || ! isset ( $ cookie [ 'path' ] ) ) { throw new CAS_InvalidArgumentException ( 'Invalid Cookie array passed.' ) ; } foreach ( $ this -> _cookies as $ key => $ old_cookie ) { if ( $ cookie [ 'domain' ] == $ old_cookie [ 'domain' ] && $ cookie [ 'path' ] == $ old_cookie [ 'path' ] && $ cookie [ 'name' ] == $ old_cookie [ 'name' ] ) { unset ( $ this -> _cookies [ $ key ] ) ; } } }
docstring: Discard an existing cookie
  
  @param array $cookie An cookie
  
  @return void
  
  @access protected
docstring_tokens: Discard an existing cookie