SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::XMLWriter Class Reference

Writes results to a xml file. More...

#include <XMLWriter.h>

Collaboration diagram for benchmax::XMLWriter:

Public Member Functions

 XMLWriter (const std::string &filename)
 Open file for writing. More...
 
template<typename Results >
void write (const Jobs &jobs, const Results &results)
 Write results to file. More...
 

Private Member Functions

void replace (std::string &s, const std::string &pattern, const std::string &replacement) const
 
std::string sanitize (const std::string &s, bool eliminateSlashes=false) const
 
std::string sanitizeTool (const std::unique_ptr< Tool > &tool) const
 
std::string sanitizeFile (const fs::path &file) const
 
template<typename Results >
std::vector< std::string > collectStatistics (const Results &results) const
 

Private Attributes

std::ofstream mFile
 

Detailed Description

Writes results to a xml file.

Definition at line 18 of file XMLWriter.h.

Constructor & Destructor Documentation

◆ XMLWriter()

benchmax::XMLWriter::XMLWriter ( const std::string &  filename)
inline

Open file for writing.

Definition at line 61 of file XMLWriter.h.

Member Function Documentation

◆ collectStatistics()

template<typename Results >
std::vector<std::string> benchmax::XMLWriter::collectStatistics ( const Results results) const
inlineprivate

Definition at line 43 of file XMLWriter.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ replace()

void benchmax::XMLWriter::replace ( std::string &  s,
const std::string &  pattern,
const std::string &  replacement 
) const
inlineprivate

Definition at line 22 of file XMLWriter.h.

Here is the caller graph for this function:

◆ sanitize()

std::string benchmax::XMLWriter::sanitize ( const std::string &  s,
bool  eliminateSlashes = false 
) const
inlineprivate

Definition at line 29 of file XMLWriter.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ sanitizeFile()

std::string benchmax::XMLWriter::sanitizeFile ( const fs::path &  file) const
inlineprivate

Definition at line 39 of file XMLWriter.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ sanitizeTool()

std::string benchmax::XMLWriter::sanitizeTool ( const std::unique_ptr< Tool > &  tool) const
inlineprivate

Definition at line 36 of file XMLWriter.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ write()

template<typename Results >
void benchmax::XMLWriter::write ( const Jobs jobs,
const Results results 
)
inline

Write results to file.

Definition at line 66 of file XMLWriter.h.

Here is the call graph for this function:
Here is the caller graph for this function:

Field Documentation

◆ mFile

std::ofstream benchmax::XMLWriter::mFile
private

Definition at line 20 of file XMLWriter.h.


The documentation for this class was generated from the following file: