original_string: protected function get_progress() : \progress_trace {
          if (null === $this->progresstracer) {
              $this->set_progress(new \text_progress_trace());
          }
  
          return $this->progresstracer;
      }
code: protected function get_progress() : \progress_trace {
          if (null === $this->progresstracer) {
              $this->set_progress(new \text_progress_trace());
          }
  
          return $this->progresstracer;
      }
code_tokens: protected function get_progress ( ) : \ progress_trace { if ( null === $ this -> progresstracer ) { $ this -> set_progress ( new \ text_progress_trace ( ) ) ; } return $ this -> progresstracer ; }
docstring: Get the progress tracer.
  
  @return  \progress_trace
docstring_tokens: Get the progress tracer .