CBMC
json_stream.h File Reference
#include <iosfwd>
#include <memory>
#include "json.h"
#include "invariant.h"
+ Include dependency graph for json_stream.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  json_streamt
 This class provides a facility for streaming JSON objects directly to the output instead of waiting for the object to be fully formed in memory and then print it (as done using jsont). More...
 
class  json_stream_arrayt
 Provides methods for streaming JSON arrays. More...
 
class  json_stream_objectt
 Provides methods for streaming JSON objects. More...