#include <WriteStreamJSON.h>

Inheritance diagram for souffle::WriteCoutJSON:

Collaboration diagram for souffle::WriteCoutJSON:

Public Member Functions
	WriteCoutJSON (const std::map< std::string, std::string > &rwOperation, const SymbolTable &symbolTable, const RecordTable &recordTable)

	~WriteCoutJSON () override

Public Member Functions inherited from souffle::WriteStream
template<typename T >
void	writeAll (const T &relation)

template<>
void	writeNext (const RamDomain *tuple)

template<typename T >
void	writeSize (const T &relation)

	WriteStream (const std::map< std::string, std::string > &rwOperation, const SymbolTable &symbolTable, const RecordTable &recordTable)

Public Member Functions inherited from souffle::SerialisationStream< true >
virtual	~SerialisationStream ()=default

Protected Member Functions
void	writeNextTuple (const RamDomain *tuple) override

void	writeNullary () override

Protected Member Functions inherited from souffle::WriteStreamJSON
void	writeNextTupleJSON (std::ostream &destination, const RamDomain *tuple)

void	writeNextTupleList (std::ostream &destination, const std::string &name, const RamDomain value)

void	writeNextTupleObject (std::ostream &destination, const std::string &name, const RamDomain value)

	WriteStreamJSON (const std::map< std::string, std::string > &rwOperation, const SymbolTable &symbolTable, const RecordTable &recordTable)

Protected Member Functions inherited from souffle::WriteStream
void	outputADT (std::ostream &destination, const RamDomain value, const std::string &name)

void	outputRecord (std::ostream &destination, const RamDomain value, const std::string &name)

template<typename Tuple >
void	writeNext (const Tuple tuple)

virtual void	writeSize (std::size_t)

Protected Member Functions inherited from souffle::SerialisationStream< true >
	SerialisationStream (RO< SymbolTable > &symTab, RO< RecordTable > &recTab, const std::map< std::string, std::string > &rwOperation)

	SerialisationStream (RO< SymbolTable > &symTab, RO< RecordTable > &recTab, Json types)

	SerialisationStream (RO< SymbolTable > &symTab, RO< RecordTable > &recTab, Json types, std::vector< std::string > relTypes, size_t auxArity=0)

Protected Attributes
bool	isFirst

Protected Attributes inherited from souffle::WriteStreamJSON
Json	params

const bool	useObjects

Protected Attributes inherited from souffle::WriteStream
const bool	summary

Protected Attributes inherited from souffle::SerialisationStream< true >
size_t	arity

size_t	auxiliaryArity

RO< RecordTable > &	recordTable

RO< SymbolTable > &	symbolTable

std::vector< std::string >	typeAttributes

Json	types

Additional Inherited Members
Protected Types inherited from souffle::SerialisationStream< true >
using	RO = std::conditional_t< readOnlyTables, const A, A >

Detailed Description

Definition at line 244 of file WriteStreamJSON.h.

Constructor & Destructor Documentation

◆ WriteCoutJSON()

souffle::WriteCoutJSON::WriteCoutJSON	(	const std::map< std::string, std::string > &	rwOperation,
		const SymbolTable &	symbolTable,
		const RecordTable &	recordTable
	)

inline

Definition at line 246 of file WriteStreamJSON.h.

                               {
         std::cout << "]\n";
     };

◆ ~WriteCoutJSON()

souffle::WriteCoutJSON::~WriteCoutJSON ( )

inlineoverride

Definition at line 252 of file WriteStreamJSON.h.

          :
     bool isFirst;
  

Member Function Documentation

◆ writeNextTuple()

void souffle::WriteCoutJSON::writeNextTuple ( const RamDomain * tuple )

inlineoverrideprotectedvirtual

Implements souffle::WriteStream.

Definition at line 263 of file WriteStreamJSON.h.

269 : public WriteStreamFactory {

270 public:

◆ writeNullary()

void souffle::WriteCoutJSON::writeNullary ( )

inlineoverrideprotectedvirtual

Implements souffle::WriteStream.

Definition at line 259 of file WriteStreamJSON.h.

                                                          {
         if (!isFirst) {
             std::cout << ",\n";

References isFirst.

Field Documentation

◆ isFirst

bool souffle::WriteCoutJSON::isFirst

protected

Definition at line 254 of file WriteStreamJSON.h.

Referenced by writeNullary().

The documentation for this class was generated from the following file:

include/souffle/io/WriteStreamJSON.h

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members