souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
51 class LogRelationTimer :
public RelationStatement,
public AbstractLog {
72 void print(std::ostream& os,
int tabpos)
const override {
76 os <<
times(
" ", tabpos) <<
"END_TIMER" << std::endl;
void print(std::ostream &os, int tabpos) const override
Pretty print with indentation.
virtual void apply(const NodeMapper &)
Apply the mapper to all child nodes.
RelationStatement(std::string rel)
LogRelationTimer * clone() const override
Create a clone (i.e.
std::string relation
Relation.
auto map(const std::vector< A > &xs, F &&f)
Applies a function to each element of a vector and returns the results.
void apply(const NodeMapper &map)
const std::string message
Logging message.
virtual std::vector< const Node * > getChildNodes() const
Obtain list of all embedded child nodes.
std::string stringify(const std::string &input)
Stringify a string using escapes for escape, newline, tab, double-quotes and semicolons.
auto clone(const std::vector< A * > &xs)
An abstract class for manipulating RAM Nodes by substitution.
detail::multiplying_printer< T > times(const T &value, unsigned num)
A utility printing a given value multiple times.
void apply(const NodeMapper &map) override
Apply the mapper to all child nodes.
void print(std::ostream &os) const override
Print RAM node.
AbstractLog(Own< Statement > stmt, std::string msg)
LogRelationTimer(Own< Statement > stmt, std::string msg, std::string relRef)
std::vector< const Node * > getChildNodes() const
std::vector< const Node * > getChildNodes() const override
Obtain list of all embedded child nodes.
Execution time logger for a statement.
Own< Statement > statement
Logging statement.