souffle
2.0.2-371-g6315b36
|
A specialized visitor wrapping a lambda function – an auxiliary type required for visitor convenience functions. More...
#include <Visitor.h>
Public Member Functions | |
LambdaVisitor (std::function< R(const N &)> lambda) | |
void | visit (const Node &node) override |
Public Member Functions inherited from souffle::ast::Visitor< void > | |
void | operator() (const Node &node, Params... args) |
The main entry for the user allowing visitors to be utilized as functions. More... | |
virtual void | visit (const Node &node, Params... args) |
The main entry for a visit process conducting the dispatching of a visit to the various sub-types of Nodes. More... | |
virtual | ~Visitor ()=default |
A virtual destructor. More... | |
Data Fields | |
std::function< R(const N &)> | lambda |
Additional Inherited Members | |
Protected Member Functions inherited from souffle::ast::Visitor< void > | |
LINK (AlgebraicDataType, Type) | |
LINK (Argument, Node) | |
LINK (Attribute, Node) | |
LINK (Clause, Node) | |
LINK (Component, Node) | |
LINK (ComponentInit, Node) | |
LINK (ComponentType, Node) | |
LINK (Literal, Node) | |
LINK (Pragma, Node) | |
LINK (Program, Node) | |
LINK (RecordType, Type) | |
LINK (Relation, Node) | |
LINK (SubsetType, Type) | |
LINK (Type, Node) | |
LINK (UnionType, Type) | |
virtual void | visitNode (const Node &, Params...) |
The base case for all visitors – if no more specific overload was defined. More... | |
A specialized visitor wrapping a lambda function – an auxiliary type required for visitor convenience functions.
|
inline |
Definition at line 286 of file Visitor.h.
Referenced by souffle::ast::visitDepthFirst().
|
inlineoverride |
Definition at line 287 of file Visitor.h.
Referenced by souffle::ast::visitDepthFirst().
std::function<R(const N&)> souffle::ast::detail::LambdaVisitor< R, N >::lambda |
Definition at line 285 of file Visitor.h.
Referenced by souffle::ast::visitDepthFirst().