classes for Json_writer_object and Json_writer_array.
These classes will be used for the implementation
of the optimizer trace.