#include <WriteStreamCSV.h>
|
void | writeNextTuple (const RamDomain *tuple) override |
|
void | writeNullary () override |
|
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) |
|
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) |
|
| 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) |
|
|
static std::string | getFileName (const std::map< std::string, std::string > &rwOperation) |
| Return given filename or construct from relation name. More...
|
|
|
using | RO = std::conditional_t< readOnlyTables, const A, A > |
|
Definition at line 77 of file WriteStreamCSV.h.
◆ WriteFileCSV()
souffle::WriteFileCSV::WriteFileCSV |
( |
const std::map< std::string, std::string > & |
rwOperation, |
|
|
const SymbolTable & |
symbolTable, |
|
|
const RecordTable & |
recordTable |
|
) |
| |
|
inline |
Definition at line 79 of file WriteStreamCSV.h.
80 file << rwOperation.at(
"attributeNames") << std::endl;
82 file << std::setprecision(std::numeric_limits<RamFloat>::max_digits10);
References file.
◆ ~WriteFileCSV()
souffle::WriteFileCSV::~WriteFileCSV |
( |
| ) |
|
|
overridedefault |
◆ getFileName()
static std::string souffle::WriteFileCSV::getFileName |
( |
const std::map< std::string, std::string > & |
rwOperation | ) |
|
|
inlinestaticprotected |
Return given filename or construct from relation name.
Default name is [configured path]/[relation name].csv
- Parameters
-
rwOperation | map of IO configuration options |
- Returns
- input filename
Definition at line 109 of file WriteStreamCSV.h.
◆ writeNextTuple()
void souffle::WriteFileCSV::writeNextTuple |
( |
const RamDomain * |
tuple | ) |
|
|
inlineoverrideprotectedvirtual |
◆ writeNullary()
void souffle::WriteFileCSV::writeNullary |
( |
| ) |
|
|
inlineoverrideprotectedvirtual |
◆ file
std::ofstream souffle::WriteFileCSV::file |
|
protected |
The documentation for this class was generated from the following file: