souffle::ram::AbstractLog Class Reference

Abstract class for logging. More...

#include <AbstractLog.h>

Inheritance diagram for souffle::ram::AbstractLog:

Collaboration diagram for souffle::ram::AbstractLog:

Public Member Functions
	AbstractLog (Own< Statement > stmt, std::string msg)
void	apply (const NodeMapper &map)
std::vector< const Node * >	getChildNodes () const
const std::string &	getMessage () const
	Get logging message. More...
const Statement &	getStatement () const
	Get logging statement. More...

Protected Member Functions
bool	equal (const Node &node) const

Protected Attributes
const std::string	message
	Logging message. More...
Own< Statement >	statement
	Logging statement. More...

Detailed Description

Abstract class for logging.

Comprises a Statement and the message (string) to be logged

Definition at line 39 of file AbstractLog.h.

Constructor & Destructor Documentation

AbstractLog()

souffle::ram::AbstractLog::AbstractLog ( Own< Statement >  stmt, std::string  msg  )

inline

Definition at line 41 of file AbstractLog.h.

                                                 {
        return {statement.get()};
    }

References statement.

Member Function Documentation

apply()

void souffle::ram::AbstractLog::apply ( const NodeMapper &  map )

inline

Definition at line 59 of file AbstractLog.h.

         :
    bool equal(const Node& node) const {
        const auto& other = dynamic_cast<const AbstractLog&>(node);

References souffle::equal_ptr(), message, and statement.

Referenced by souffle::ram::DebugInfo::clone(), souffle::ram::LogTimer::clone(), and souffle::ram::LogRelationTimer::clone().

Here is the call graph for this function:

equal()

bool souffle::ram::AbstractLog::equal ( const Node &  node ) const

inlineprotected

Definition at line 64 of file AbstractLog.h.

         :
    /** Logging statement */
    Own<Statement> statement;

getChildNodes()

std::vector<const Node*> souffle::ram::AbstractLog::getChildNodes ( ) const

inline

Definition at line 45 of file AbstractLog.h.

                                        {
        return message;

References message.

getMessage()

const std::string& souffle::ram::AbstractLog::getMessage ( ) const

inline

Get logging message.

Definition at line 50 of file AbstractLog.h.

                                          {
        return *statement;

References statement.

getStatement()

const Statement& souffle::ram::AbstractLog::getStatement ( ) const

inline

Get logging statement.

Definition at line 55 of file AbstractLog.h.

                                      {
        statement = map(std::move(statement));
    }

References souffle::map(), and statement.

Referenced by souffle::interpreter::NodeGenerator::visitLogRelationTimer().

Here is the call graph for this function:

Field Documentation

message

const std::string souffle::ram::AbstractLog::message

protected

Logging message.

Definition at line 74 of file AbstractLog.h.

Referenced by apply(), souffle::ram::DebugInfo::apply(), souffle::ram::LogTimer::apply(), souffle::ram::LogRelationTimer::apply(), getChildNodes(), souffle::ram::DebugInfo::getChildNodes(), and souffle::ram::LogTimer::getChildNodes().

statement

Own<Statement> souffle::ram::AbstractLog::statement

protected

Logging statement.

Definition at line 71 of file AbstractLog.h.

Referenced by AbstractLog(), apply(), souffle::ram::DebugInfo::apply(), souffle::ram::LogTimer::apply(), souffle::ram::LogRelationTimer::apply(), souffle::ram::DebugInfo::getChildNodes(), souffle::ram::LogTimer::getChildNodes(), getMessage(), and getStatement().

---

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

• ram/AbstractLog.h