souffle::LogStatement Class Reference

#include <LogStatement.h>

Collaboration diagram for souffle::LogStatement:

Static Public Member Functions
static const std::string	cRecursiveRelation (const std::string &relationName, const SrcLocation &srcLocation)
static const std::string	nNonrecursiveRelation (const std::string &relationName, const SrcLocation &srcLocation)
static const std::string	nNonrecursiveRule (const std::string &relationName, const SrcLocation &srcLocation, const std::string &datalogText)
static const std::string	nRecursiveRelation (const std::string &relationName, const SrcLocation &srcLocation)
static const std::string	nRecursiveRule (const std::string &relationName, const int version, const SrcLocation &srcLocation, const std::string &datalogText)
static const std::string	pProofCounter (const std::string &relationName, const SrcLocation &srcLocation, const std::string &datalogText)
static const std::string	runtime ()
static const std::string	startDebug ()
static const std::string	tNonrecursiveRelation (const std::string &relationName, const SrcLocation &srcLocation)
static const std::string	tNonrecursiveRule (const std::string &relationName, const SrcLocation &srcLocation, const std::string &datalogText)
static const std::string	tRecursiveRelation (const std::string &relationName, const SrcLocation &srcLocation)
static const std::string	tRecursiveRule (const std::string &relationName, const int version, const SrcLocation &srcLocation, const std::string &datalogText)
static const std::string	tRelationLoadTime (const std::string &relationName, const SrcLocation &srcLocation)
static const std::string	tRelationSaveTime (const std::string &relationName, const SrcLocation &srcLocation)

Detailed Description

Definition at line 29 of file LogStatement.h.

Member Function Documentation

cRecursiveRelation()

static const std::string souffle::LogStatement::cRecursiveRelation ( const std::string &  relationName, const SrcLocation &  srcLocation  )

inlinestatic

Definition at line 118 of file LogStatement.h.

nNonrecursiveRelation()

static const std::string souffle::LogStatement::nNonrecursiveRelation ( const std::string &  relationName, const SrcLocation &  srcLocation  )

inlinestatic

Definition at line 60 of file LogStatement.h.

                                                                                                         {
        const char* messageType = "@n-nonrecursive-rule";

nNonrecursiveRule()

static const std::string souffle::LogStatement::nNonrecursiveRule ( const std::string &  relationName, const SrcLocation &  srcLocation, const std::string &  datalogText  )

inlinestatic

Definition at line 76 of file LogStatement.h.

                                                                          {

Referenced by souffle::ast2ram::AstToRamTranslator::translateNonRecursiveRelation().

nRecursiveRelation()

static const std::string souffle::LogStatement::nRecursiveRelation ( const std::string &  relationName, const SrcLocation &  srcLocation  )

inlinestatic

Definition at line 110 of file LogStatement.h.

                                                                                                         {
        // TODO (#590): the profiler should be modified to use this type of log message, as currently these

nRecursiveRule()

static const std::string souffle::LogStatement::nRecursiveRule ( const std::string &  relationName, const int  version, const SrcLocation &  srcLocation, const std::string &  datalogText  )

inlinestatic

Definition at line 93 of file LogStatement.h.

                                                                           {
        const char* messageType = "@n-recursive-relation";

pProofCounter()

static const std::string souffle::LogStatement::pProofCounter ( const std::string &  relationName, const SrcLocation &  srcLocation, const std::string &  datalogText  )

inlinestatic

Definition at line 126 of file LogStatement.h.

                                     {
        const char* messageType = "@runtime";
        std::stringstream line;
        line << messageType << ";";
        return line.str();
    }
 
    static const std::string startDebug() {
        const char* messageType = "@start-debug";
        std::stringstream line;
        line << messageType;

runtime()

static const std::string souffle::LogStatement::runtime ( )

inlinestatic

Definition at line 139 of file LogStatement.h.

startDebug()

static const std::string souffle::LogStatement::startDebug ( )

inlinestatic

Definition at line 146 of file LogStatement.h.

tNonrecursiveRelation()

static const std::string souffle::LogStatement::tNonrecursiveRelation ( const std::string &  relationName, const SrcLocation &  srcLocation  )

inlinestatic

Definition at line 37 of file LogStatement.h.

                                                                           {
        const char* messageType = "@t-relation-savetime";
        std::stringstream line;

tNonrecursiveRule()

static const std::string souffle::LogStatement::tNonrecursiveRule ( const std::string &  relationName, const SrcLocation &  srcLocation, const std::string &  datalogText  )

inlinestatic

Definition at line 68 of file LogStatement.h.

                                                                          {
        const char* messageType = "@t-recursive-rule";

Referenced by souffle::ast2ram::AstToRamTranslator::translateNonRecursiveRelation().

tRecursiveRelation()

static const std::string souffle::LogStatement::tRecursiveRelation ( const std::string &  relationName, const SrcLocation &  srcLocation  )

inlinestatic

Definition at line 102 of file LogStatement.h.

                                                                           {
        const char* messageType = "@c-recursive-relation";

tRecursiveRule()

static const std::string souffle::LogStatement::tRecursiveRule ( const std::string &  relationName, const int  version, const SrcLocation &  srcLocation, const std::string &  datalogText  )

inlinestatic

Definition at line 84 of file LogStatement.h.

                                                                           {

tRelationLoadTime()

static const std::string souffle::LogStatement::tRelationLoadTime ( const std::string &  relationName, const SrcLocation &  srcLocation  )

inlinestatic

Definition at line 44 of file LogStatement.h.

                                                                           {
        const char* messageType = "@n-nonrecursive-relation";

tRelationSaveTime()

static const std::string souffle::LogStatement::tRelationSaveTime ( const std::string &  relationName, const SrcLocation &  srcLocation  )

inlinestatic

Definition at line 52 of file LogStatement.h.

                                                                                                         {
        const char* messageType = "@t-nonrecursive-rule";

---

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

• LogStatement.h