original_string: public function ensureAuthenticationCallSuccessful()
      {
          $this->_ensureAuthenticationCalled();
          if (!$this->_authentication_caller['result']) {
              throw new CAS_OutOfSequenceException(
                  'authentication was checked (by '
                  . $this->getAuthenticationCallerMethod()
                  . '() at ' . $this->getAuthenticationCallerFile()
                  . ':' . $this->getAuthenticationCallerLine()
                  . ') but the method returned false'
              );
          }
      }
code: public function ensureAuthenticationCallSuccessful()
      {
          $this->_ensureAuthenticationCalled();
          if (!$this->_authentication_caller['result']) {
              throw new CAS_OutOfSequenceException(
                  'authentication was checked (by '
                  . $this->getAuthenticationCallerMethod()
                  . '() at ' . $this->getAuthenticationCallerFile()
                  . ':' . $this->getAuthenticationCallerLine()
                  . ') but the method returned false'
              );
          }
      }
code_tokens: public function ensureAuthenticationCallSuccessful ( ) { $ this -> _ensureAuthenticationCalled ( ) ; if ( ! $ this -> _authentication_caller [ 'result' ] ) { throw new CAS_OutOfSequenceException ( 'authentication was checked (by ' . $ this -> getAuthenticationCallerMethod ( ) . '() at ' . $ this -> getAuthenticationCallerFile ( ) . ':' . $ this -> getAuthenticationCallerLine ( ) . ') but the method returned false' ) ; } }
docstring: Ensure that authentication was checked. Terminate with exception if no
  authentication was performed
  
  @throws CAS_OutOfSequenceBeforeAuthenticationCallException
  
  @return void
docstring_tokens: Ensure that authentication was checked . Terminate with exception if no authentication was performed