#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: