|
souffle
2.0.2-371-g6315b36
|
Abstract functor class. More...
#include <Functor.h>


Public Member Functions | |
| Functor * | clone () const override=0 |
| Create clone. More... | |
Public Member Functions inherited from souffle::ast::Term | |
| void | addArgument (Own< Argument > arg) |
| Add argument to argument list. More... | |
| void | apply (const NodeMapper &map) override |
| Apply the mapper to all child nodes. More... | |
| std::vector< Argument * > | getArguments () const |
| Get arguments. More... | |
| std::vector< const Node * > | getChildNodes () const override |
| Obtain a list of all embedded AST child nodes. More... | |
Public Member Functions inherited from souffle::ast::Argument | |
| Node (SrcLocation loc={}) | |
Public Member Functions inherited from souffle::ast::Node | |
| std::string | extloc () const |
| Return source location of the syntactic element. More... | |
| const SrcLocation & | getSrcLoc () const |
| Return source location of the Node. More... | |
| Node (SrcLocation loc={}) | |
| bool | operator!= (const Node &other) const |
| Inequality check for two AST nodes. More... | |
| bool | operator== (const Node &other) const |
| Equivalence check for two AST nodes. More... | |
| void | setSrcLoc (SrcLocation l) |
| Set source location for the Node. More... | |
| virtual | ~Node ()=default |
Protected Member Functions | |
| template<typename... Operands> | |
| Term (Operands &&... operands) | |
| template<typename... Operands> | |
| Term (SrcLocation loc, Operands &&... operands) | |
| Term (VecOwn< Argument > operands, SrcLocation loc={}) | |
Protected Member Functions inherited from souffle::ast::Term | |
| bool | equal (const Node &node) const override |
| Abstract equality check for two AST nodes. More... | |
| template<typename... Operands> | |
| Term (Operands &&... operands) | |
| template<typename... Operands> | |
| Term (SrcLocation loc, Operands &&... operands) | |
| Term (VecOwn< Argument > operands, SrcLocation loc={}) | |
Protected Member Functions inherited from souffle::ast::Node | |
| virtual void | print (std::ostream &os) const =0 |
| Output to a given output stream. More... | |
Additional Inherited Members | |
Protected Attributes inherited from souffle::ast::Term | |
| VecOwn< Argument > | args |
| Arguments. More... | |
|
overridepure virtual |
Create clone.
Implements souffle::ast::Argument.
Implemented in souffle::ast::IntrinsicFunctor, and souffle::ast::UserDefinedFunctor.
|
inlineprotected |
|
inlineprotected |
1.8.17