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