original_string: public function get_formatted_name($options = array()) {
          if ($this->id) {
              $context = $this->get_context();
              return format_string($this->name, true, array('context' => $context) + $options);
          } else {
              return get_string('top');
          }
      }
code: public function get_formatted_name($options = array()) {
          if ($this->id) {
              $context = $this->get_context();
              return format_string($this->name, true, array('context' => $context) + $options);
          } else {
              return get_string('top');
          }
      }
code_tokens: public function get_formatted_name ( $ options = array ( ) ) { if ( $ this -> id ) { $ context = $ this -> get_context ( ) ; return format_string ( $ this -> name , true , array ( 'context' => $ context ) + $ options ) ; } else { return get_string ( 'top' ) ; } }
docstring: Returns name of the category formatted as a string
  
  @param array $options formatting options other than context
  @return string
docstring_tokens: Returns name of the category formatted as a string