souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
38 assert(
statement &&
"log statement is a nullptr");
61 const auto& other =
dynamic_cast<const AbstractLog&
>(node);
Abstract class for logging.
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.
bool equal(const Node &node) const
Node is a superclass for all RAM IR classes.
An abstract class for manipulating RAM Nodes by substitution.
const Statement & getStatement() const
Get logging statement.
AbstractLog(Own< Statement > stmt, std::string msg)
bool equal_ptr(const T *a, const T *b)
Compares two values referenced by a pointer where the case where both pointers are null is also consi...
Abstract class for RAM statements.
const std::string & getMessage() const
Get logging message.
std::vector< const Node * > getChildNodes() const
Own< Statement > statement
Logging statement.