original_string: public function renderJson($value)
      {
          $options = JSON_HEX_TAG | JSON_HEX_APOS | JSON_HEX_QUOT | JSON_HEX_AMP;
          return json_encode($value, $options);
      }
code: public function renderJson($value)
      {
          $options = JSON_HEX_TAG | JSON_HEX_APOS | JSON_HEX_QUOT | JSON_HEX_AMP;
          return json_encode($value, $options);
      }
code_tokens: public function renderJson ( $ value ) { $ options = JSON_HEX_TAG | JSON_HEX_APOS | JSON_HEX_QUOT | JSON_HEX_AMP ; return json_encode ( $ value , $ options ) ; }
docstring: Converts the supplied value to JSON.
  @access public
  @param mixed $value    The value to encode.
  @return string
docstring_tokens: Converts the supplied value to JSON .