souffle::ram::UserDefinedOperator Class Reference

Operator that represents an extrinsic (user-defined) functor. More...

#include <UserDefinedOperator.h>

Inheritance diagram for souffle::ram::UserDefinedOperator:

Collaboration diagram for souffle::ram::UserDefinedOperator:

Public Member Functions
UserDefinedOperator *	clone () const override
	Create a clone (i.e. More...
const std::vector< TypeAttribute > &	getArgsTypes () const
	Get types of arguments. More...
const std::string &	getName () const
	Get operator name. More...
TypeAttribute	getReturnType () const
	Get return type. More...
bool	isStateful () const
	Is functor stateful? More...
	UserDefinedOperator (std::string n, std::vector< TypeAttribute > argsTypes, TypeAttribute returnType, bool stateful, VecOwn< Expression > args)
Public Member Functions inherited from souffle::ram::AbstractOperator
	AbstractOperator (VecOwn< Expression > args)
void	apply (const NodeMapper &map) override
	Apply the mapper to all child nodes. More...
std::vector< Expression * >	getArguments () const
	Get argument values. More...
std::vector< const Node * >	getChildNodes () const override
	Obtain list of all embedded child nodes. More...
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

Protected Member Functions
bool	equal (const Node &node) const override
	Equality check for two RAM nodes. More...
void	print (std::ostream &os) const override
	Print RAM node. More...

Protected Attributes
const std::vector< TypeAttribute >	argsTypes
	Argument types. More...
const std::string	name
	Name of user-defined operator. More...
const TypeAttribute	returnType
	Return type. More...
const bool	stateful
	Stateful. More...
Protected Attributes inherited from souffle::ram::AbstractOperator
VecOwn< Expression >	arguments
	Arguments of user defined operator. More...

Detailed Description

Operator that represents an extrinsic (user-defined) functor.

Definition at line 43 of file UserDefinedOperator.h.

Constructor & Destructor Documentation

UserDefinedOperator()

souffle::ram::UserDefinedOperator::UserDefinedOperator ( std::string  n, std::vector< TypeAttribute >  argsTypes, TypeAttribute  returnType, bool  stateful, VecOwn< Expression >  args  )

inline

Definition at line 45 of file UserDefinedOperator.h.

                                     {
        return name;
    }
 

References name.

Member Function Documentation

clone()

UserDefinedOperator* souffle::ram::UserDefinedOperator::clone ( ) const

inlineoverridevirtual

Create a clone (i.e.

deep copy) of this node

Implements souffle::ram::Expression.

Definition at line 72 of file UserDefinedOperator.h.

         :
    void print(std::ostream& os) const override {
        os << "@" << name << "_" << argsTypes;
        os << "_" << returnType;
        if (stateful) {

equal()

bool souffle::ram::UserDefinedOperator::equal ( const Node &  ) const

inlineoverrideprotectedvirtual

Equality check for two RAM nodes.

Default action is that nothing needs to be checked.

Reimplemented from souffle::ram::AbstractOperator.

Definition at line 92 of file UserDefinedOperator.h.

getArgsTypes()

const std::vector<TypeAttribute>& souffle::ram::UserDefinedOperator::getArgsTypes ( ) const

inline

Get types of arguments.

Definition at line 58 of file UserDefinedOperator.h.

                            {

getName()

const std::string& souffle::ram::UserDefinedOperator::getName ( ) const

inline

Get operator name.

Definition at line 53 of file UserDefinedOperator.h.

                                        {

getReturnType()

TypeAttribute souffle::ram::UserDefinedOperator::getReturnType ( ) const

inline

Get return type.

Definition at line 63 of file UserDefinedOperator.h.

                                                {

isStateful()

bool souffle::ram::UserDefinedOperator::isStateful ( ) const

inline

Is functor stateful?

Definition at line 68 of file UserDefinedOperator.h.

                       : arguments) {
            Expression* arg = cur->clone();
            res->arguments.emplace_back(arg);

References souffle::ram::Expression::clone().

Here is the call graph for this function:

print()

void souffle::ram::UserDefinedOperator::print ( std::ostream &  out ) const

inlineoverrideprotectedvirtual

Print RAM node.

Implements souffle::ram::Node.

Definition at line 82 of file UserDefinedOperator.h.

                                                                                          { out << *arg; })
           << ")";
    }
 
    bool equal(const Node& node) const override {
        const auto& other = static_cast<const UserDefinedOperator&>(node);
        return AbstractOperator::equal(node) && name == other.name && argsTypes == other.argsTypes &&
               returnType == other.returnType && stateful == other.stateful;
    }

Field Documentation

argsTypes

const std::vector<TypeAttribute> souffle::ram::UserDefinedOperator::argsTypes

protected

Argument types.

Definition at line 102 of file UserDefinedOperator.h.

name

const std::string souffle::ram::UserDefinedOperator::name

protected

Name of user-defined operator.

Definition at line 99 of file UserDefinedOperator.h.

Referenced by UserDefinedOperator().

returnType

const TypeAttribute souffle::ram::UserDefinedOperator::returnType

protected

Return type.

Definition at line 105 of file UserDefinedOperator.h.

stateful

const bool souffle::ram::UserDefinedOperator::stateful

protected

Stateful.

Definition at line 108 of file UserDefinedOperator.h.

---

The documentation for this class was generated from the following file:

• ram/UserDefinedOperator.h