souffle  2.0.2-371-g6315b36
Public Member Functions | Protected Member Functions
souffle::WriteCoutCSV Class Reference

#include <WriteStreamCSV.h>

Inheritance diagram for souffle::WriteCoutCSV:
Inheritance graph
Collaboration diagram for souffle::WriteCoutCSV:
Collaboration graph

Public Member Functions

 WriteCoutCSV (const std::map< std::string, std::string > &rwOperation, const SymbolTable &symbolTable, const RecordTable &recordTable)
 
 ~WriteCoutCSV () 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::WriteStreamCSV
void writeNextTupleCSV (std::ostream &destination, const RamDomain *tuple)
 
void writeNextTupleElement (std::ostream &destination, const std::string &type, RamDomain value)
 
 WriteStreamCSV (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)
 

Additional Inherited Members

- Protected Types inherited from souffle::SerialisationStream< true >
using RO = std::conditional_t< readOnlyTables, const A, A >
 
- Protected Attributes inherited from souffle::WriteStreamCSV
const std::string delimiter
 
- 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
 

Detailed Description

Definition at line 161 of file WriteStreamCSV.h.

Constructor & Destructor Documentation

◆ WriteCoutCSV()

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

Definition at line 163 of file WriteStreamCSV.h.

163  {
164  std::cout << "\n" << rwOperation.at("attributeNames");
165  }
166  std::cout << "\n===============\n";
167  std::cout << std::setprecision(std::numeric_limits<RamFloat>::max_digits10);
168  }
169 
170  ~WriteCoutCSV() override {
171  std::cout << "===============\n";
172  }

◆ ~WriteCoutCSV()

souffle::WriteCoutCSV::~WriteCoutCSV ( )
inlineoverride

Definition at line 174 of file WriteStreamCSV.h.

174  :
175  void writeNullary() override {
176  std::cout << "()\n";

Member Function Documentation

◆ writeNextTuple()

void souffle::WriteCoutCSV::writeNextTuple ( const RamDomain tuple)
inlineoverrideprotectedvirtual

Implements souffle::WriteStream.

Definition at line 183 of file WriteStreamCSV.h.

184  : public WriteStream {
185 public:

References souffle::getOutputLock(), souffle::WriteCoutPrintSize::lease, souffle::WriteCoutPrintSize::WriteCoutPrintSize(), and souffle::WriteStream::WriteStream().

Here is the call graph for this function:

◆ writeNullary()

void souffle::WriteCoutCSV::writeNullary ( )
inlineoverrideprotectedvirtual

Implements souffle::WriteStream.

Definition at line 179 of file WriteStreamCSV.h.

179  {
180  writeNextTupleCSV(std::cout, tuple);
181  }

References souffle::WriteStreamCSV::writeNextTupleCSV().

Here is the call graph for this function:

The documentation for this class was generated from the following file:
souffle::WriteCoutCSV::~WriteCoutCSV
~WriteCoutCSV() override
Definition: WriteStreamCSV.h:174
souffle::WriteStream::WriteStream
WriteStream(const std::map< std::string, std::string > &rwOperation, const SymbolTable &symbolTable, const RecordTable &recordTable)
Definition: WriteStream.h:40
souffle::WriteStreamCSV::writeNextTupleCSV
void writeNextTupleCSV(std::ostream &destination, const RamDomain *tuple)
Definition: WriteStreamCSV.h:53
souffle::WriteCoutCSV::writeNullary
void writeNullary() override
Definition: WriteStreamCSV.h:179