souffle::ast::ExecutionPlan Class Reference

#include <ExecutionPlan.h>

Inheritance diagram for souffle::ast::ExecutionPlan:

Collaboration diagram for souffle::ast::ExecutionPlan:

Public Member Functions
void	apply (const NodeMapper &map) override
	Apply the mapper to all child nodes. More...
ExecutionPlan *	clone () const override
	Create a clone (i.e. More...
std::vector< const Node * >	getChildNodes () const override
	Obtain a list of all embedded AST child nodes. More...
std::map< int, const ExecutionOrder * >	getOrders () const
	Get orders. More...
void	setOrderFor (int version, Own< ExecutionOrder > plan)
	Set execution order for a given rule version. More...
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
bool	equal (const Node &node) const override
	Abstract equality check for two AST nodes. More...
void	print (std::ostream &out) const override
	Output to a given output stream. More...

Private Attributes
std::map< int, Own< ExecutionOrder > >	plans
	Mapping versions of clauses to execution orders. More...

Detailed Description

Definition at line 51 of file ExecutionPlan.h.

Member Function Documentation

apply()

void souffle::ast::ExecutionPlan::apply ( const NodeMapper &  )

inlineoverridevirtual

Apply the mapper to all child nodes.

Reimplemented from souffle::ast::Node.

Definition at line 76 of file ExecutionPlan.h.

                                                          {
        std::vector<const Node*> childNodes;
        for (auto& plan : plans) {
            childNodes.push_back(plan.second.get());
        }

References plans.

clone()

ExecutionPlan* souffle::ast::ExecutionPlan::clone ( ) const

inlineoverridevirtual

Create a clone (i.e.

deep copy) of this node

Implements souffle::ast::Node.

Definition at line 67 of file ExecutionPlan.h.

                                               {
        for (auto& plan : plans) {
            plan.second = map(std::move(plan.second));
        }
    }

equal()

bool souffle::ast::ExecutionPlan::equal ( const Node &  ) const

inlineoverrideprotectedvirtual

Abstract equality check for two AST nodes.

Reimplemented from souffle::ast::Node.

Definition at line 99 of file ExecutionPlan.h.

getChildNodes()

std::vector<const Node*> souffle::ast::ExecutionPlan::getChildNodes ( ) const

inlineoverridevirtual

Obtain a list of all embedded AST child nodes.

Reimplemented from souffle::ast::Node.

Definition at line 82 of file ExecutionPlan.h.

         :
    void print(std::ostream& out) const override {
        if (!plans.empty()) {
            out << " .plan ";
            out << join(plans, ", ",

getOrders()

std::map<int, const ExecutionOrder*> souffle::ast::ExecutionPlan::getOrders ( ) const

inline

Get orders.

Definition at line 59 of file ExecutionPlan.h.

                                          {
        auto res = new ExecutionPlan();
        res->setSrcLoc(getSrcLoc());
        for (auto& plan : plans) {
            res->setOrderFor(plan.first, Own<ExecutionOrder>(plan.second->clone()));

print()

void souffle::ast::ExecutionPlan::print ( std::ostream &  os ) const

inlineoverrideprotectedvirtual

Output to a given output stream.

Implements souffle::ast::Node.

Definition at line 91 of file ExecutionPlan.h.

                                                {
        const auto& other = static_cast<const ExecutionPlan&>(node);
        return equal_targets(plans, other.plans);
    }
 

setOrderFor()

void souffle::ast::ExecutionPlan::setOrderFor ( int  version, Own< ExecutionOrder >  plan  )

inline

Set execution order for a given rule version.

Definition at line 54 of file ExecutionPlan.h.

                        : plans) {
            result.insert(std::make_pair(plan.first, plan.second.get()));

Field Documentation

plans

std::map<int, Own<ExecutionOrder> > souffle::ast::ExecutionPlan::plans

private

Mapping versions of clauses to execution orders.

Definition at line 106 of file ExecutionPlan.h.

Referenced by apply().

---

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

• ast/ExecutionPlan.h