original_string: protected static function convert($string, $path)
      {
          $data = json_decode($string, true);
          //
          if (json_last_error() == JSON_ERROR_SYNTAX) {
              throw new InfoStructureException($path);
          }
          //
          return $data;
      }
code: protected static function convert($string, $path)
      {
          $data = json_decode($string, true);
          //
          if (json_last_error() == JSON_ERROR_SYNTAX) {
              throw new InfoStructureException($path);
          }
          //
          return $data;
      }
code_tokens: protected static function convert ( $ string , $ path ) { $ data = json_decode ( $ string , true ) ; // if ( json_last_error ( ) == JSON_ERROR_SYNTAX ) { throw new InfoStructureException ( $ path ) ; } // return $ data ; }
docstring: Convert JSON to PHP array.
docstring_tokens: Convert JSON to PHP array .