#include <WriteStreamCSV.h>
|
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 | writeNextTuple (const RamDomain *tuple)=0 |
|
virtual void | writeNullary ()=0 |
|
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) |
|
Definition at line 44 of file WriteStreamCSV.h.
◆ WriteStreamCSV()
souffle::WriteStreamCSV::WriteStreamCSV |
( |
const std::map< std::string, std::string > & |
rwOperation, |
|
|
const SymbolTable & |
symbolTable, |
|
|
const RecordTable & |
recordTable |
|
) |
| |
|
inlineprotected |
◆ writeNextTupleCSV()
void souffle::WriteStreamCSV::writeNextTupleCSV |
( |
std::ostream & |
destination, |
|
|
const RamDomain * |
tuple |
|
) |
| |
|
inlineprotected |
◆ writeNextTupleElement()
void souffle::WriteStreamCSV::writeNextTupleElement |
( |
std::ostream & |
destination, |
|
|
const std::string & |
type, |
|
|
RamDomain |
value |
|
) |
| |
|
inlineprotected |
Definition at line 64 of file WriteStreamCSV.h.
64 : destination << ramBitCast<RamUnsigned>(value);
break;
65 case 'f': destination << ramBitCast<RamFloat>(value);
break;
68 default:
fatal(
"unsupported type attribute: `%c`",
type[0]);
◆ delimiter
const std::string souffle::WriteStreamCSV::delimiter |
|
protected |
The documentation for this class was generated from the following file: