souffle
2.0.2-371-g6315b36
|
Execution time logger for a statement. More...
#include <LogTimer.h>
Public Member Functions | |
void | apply (const NodeMapper &map) override |
Apply the mapper to all child nodes. More... | |
LogTimer * | clone () const override |
Create a clone (i.e. More... | |
std::vector< const Node * > | getChildNodes () const override |
Obtain list of all embedded child nodes. More... | |
LogTimer (Own< Statement > stmt, std::string msg) | |
Public Member Functions inherited from souffle::ram::Node | |
bool | operator!= (const Node &other) const |
Inequality check for two RAM nodes. More... | |
bool | operator== (const Node &other) const |
Equivalence check for two RAM nodes. More... | |
virtual void | rewrite (const Node *oldNode, Own< Node > newNode) |
Rewrite a child node. More... | |
virtual | ~Node ()=default |
Public Member Functions inherited from souffle::ram::AbstractLog | |
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 | |
void | print (std::ostream &os, int tabpos) const override |
Pretty print with indentation. More... | |
Protected Member Functions inherited from souffle::ram::Statement | |
void | print (std::ostream &os) const override |
Print RAM node. More... | |
Protected Member Functions inherited from souffle::ram::Node | |
virtual bool | equal (const Node &) const |
Equality check for two RAM nodes. More... | |
Protected Member Functions inherited from souffle::ram::AbstractLog | |
bool | equal (const Node &node) const |
Additional Inherited Members | |
Static Protected Member Functions inherited from souffle::ram::Statement | |
static void | print (const Statement *statement, std::ostream &os, int tabpos) |
Pretty print jump-bed. More... | |
Protected Attributes inherited from souffle::ram::AbstractLog | |
const std::string | message |
Logging message. More... | |
Own< Statement > | statement |
Logging statement. More... | |
Execution time logger for a statement.
Logs the execution time of a statement. Before and after the execution of the logging statement the wall-clock time is taken to compute the time duration for the statement. Duration and logging message is printed after the execution of the statement.
For example:
Definition at line 55 of file LogTimer.h.
|
inlineoverridevirtual |
Apply the mapper to all child nodes.
Reimplemented from souffle::ram::Node.
Definition at line 67 of file LogTimer.h.
References souffle::ram::AbstractLog::message, souffle::ram::Statement::print(), souffle::ram::AbstractLog::statement, souffle::stringify(), and souffle::times().
|
inlineoverridevirtual |
Create a clone (i.e.
deep copy) of this node
Implements souffle::ram::Statement.
Definition at line 63 of file LogTimer.h.
References souffle::ram::AbstractLog::apply(), and souffle::map().
|
inlineoverridevirtual |
Obtain list of all embedded child nodes.
Reimplemented from souffle::ram::Node.
Definition at line 59 of file LogTimer.h.
References souffle::clone(), LogTimer(), souffle::ram::AbstractLog::message, and souffle::ram::AbstractLog::statement.
|
inlineoverrideprotectedvirtual |
Pretty print with indentation.
Implements souffle::ram::Statement.
Definition at line 72 of file LogTimer.h.