souffle::ast::Node Class Reference

Abstract class for syntactic elements in an input program. More...

#include <Node.h>

Inheritance diagram for souffle::ast::Node:

Collaboration diagram for souffle::ast::Node:

Public Member Functions
virtual void	apply (const NodeMapper &)
	Apply the mapper to all child nodes. More...
virtual Node *	clone () const =0
	Create a clone (i.e. More...
std::string	extloc () const
	Return source location of the syntactic element. More...
virtual std::vector< const Node * >	getChildNodes () const
	Obtain a list of all embedded AST child nodes. 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
virtual bool	equal (const Node &) const
	Abstract equality check for two AST nodes. More...
virtual void	print (std::ostream &os) const =0
	Output to a given output stream. More...

Private Attributes
SrcLocation	location
	Source location of a syntactic element. More...

Friends
std::ostream &	operator<< (std::ostream &out, const Node &node)
	Print node onto an output stream. More...

Detailed Description

Abstract class for syntactic elements in an input program.

Definition at line 40 of file Node.h.

Constructor & Destructor Documentation

Node()

souffle::ast::Node::Node ( SrcLocation  loc = {} )

inline

Definition at line 42 of file Node.h.

{

~Node()

virtual souffle::ast::Node::~Node ( )

virtualdefault

Member Function Documentation

apply()

virtual void souffle::ast::Node::apply ( const NodeMapper &  )

inlinevirtual

Apply the mapper to all child nodes.

Reimplemented in souffle::ast::Component, souffle::ast::ComponentInit, souffle::ast::Program, souffle::ast::Relation, souffle::ast::Clause, souffle::ast::Aggregator, souffle::ast::Atom, souffle::ast::ExecutionPlan, souffle::ast::TypeCast, souffle::ast::Term, and souffle::ast::Negation.

Definition at line 79 of file Node.h.

clone()

virtual Node* souffle::ast::Node::clone ( ) const

pure virtual

Create a clone (i.e.

deep copy) of this node

Implemented in souffle::ast::Type, souffle::ast::Constant, souffle::ast::Literal, souffle::ast::Argument, souffle::ast::Functor, souffle::ast::Constraint, souffle::ast::Component, souffle::ast::Program, souffle::ast::Relation, souffle::ast::Directive, souffle::ast::Clause, souffle::ast::Aggregator, souffle::ast::FunctorDeclaration, souffle::ast::Atom, souffle::ast::ComponentInit, souffle::ast::TypeCast, souffle::ast::ComponentType, souffle::ast::IntrinsicFunctor, souffle::ast::ExecutionPlan, souffle::ast::NumericConstant, souffle::ast::Attribute, souffle::ast::BranchDeclaration, souffle::ast::Negation, souffle::ast::BranchInit, souffle::ast::UserDefinedFunctor, souffle::ast::ExecutionOrder, souffle::ast::Variable, souffle::ast::ProvenanceNegation, souffle::ast::SubroutineArgument, souffle::ast::RecordInit, souffle::ast::StringConstant, souffle::ast::Pragma, souffle::ast::NilConstant, souffle::ast::Counter, and souffle::ast::UnnamedVariable.

equal()

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

inlineprotectedvirtual

Abstract equality check for two AST nodes.

Reimplemented in souffle::ast::Component, souffle::ast::Program, souffle::ast::Relation, souffle::ast::Clause, souffle::ast::Aggregator, souffle::ast::Directive, souffle::ast::IntrinsicFunctor, souffle::ast::FunctorDeclaration, souffle::ast::Atom, souffle::ast::ExecutionPlan, souffle::ast::ComponentInit, souffle::ast::NumericConstant, souffle::ast::TypeCast, souffle::ast::ComponentType, souffle::ast::Term, souffle::ast::UserDefinedFunctor, souffle::ast::Negation, souffle::ast::Attribute, souffle::ast::BranchInit, souffle::ast::ExecutionOrder, souffle::ast::Variable, souffle::ast::SubroutineArgument, souffle::ast::Pragma, and souffle::ast::Constant.

Definition at line 97 of file Node.h.

extloc()

std::string souffle::ast::Node::extloc ( ) const

inline

Return source location of the syntactic element.

Definition at line 56 of file Node.h.

                            {
            return true;
        } else if (typeid(*this) == typeid(*&other)) {

getChildNodes()

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

inlinevirtual

Obtain a list of all embedded AST child nodes.

Reimplemented in souffle::ast::Component, souffle::ast::Program, souffle::ast::Relation, souffle::ast::Clause, souffle::ast::Atom, souffle::ast::ExecutionPlan, souffle::ast::Aggregator, souffle::ast::ComponentInit, souffle::ast::Negation, souffle::ast::TypeCast, and souffle::ast::Term.

Definition at line 82 of file Node.h.

         :
    /** Output to a given output stream */

getSrcLoc()

const SrcLocation& souffle::ast::Node::getSrcLoc ( ) const

inline

Return source location of the Node.

Definition at line 46 of file Node.h.

Referenced by souffle::ast::BranchInit::BranchInit(), souffle::ast::TypeCast::getChildNodes(), souffle::ast::Negation::Negation(), souffle::ast::SubroutineArgument::SubroutineArgument(), souffle::ast::transform::PartitionBodyLiteralsTransformer::transform(), souffle::ast::transform::TypeCheckerImpl::visitStringConstant(), and souffle::ast::transform::TypeCheckerImpl::visitVariable().

operator!=()

bool souffle::ast::Node::operator!= ( const Node &  other ) const

inline

Inequality check for two AST nodes.

Definition at line 71 of file Node.h.

                                            {}

operator==()

bool souffle::ast::Node::operator== ( const Node &  other ) const

inline

Equivalence check for two AST nodes.

Definition at line 61 of file Node.h.

                                             {
        return !(*this == other);
    }
 

print()

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

protectedpure virtual

Output to a given output stream.

Implemented in souffle::ast::ExecutionPlan, souffle::ast::FunctorDeclaration, souffle::ast::ExecutionOrder, souffle::ast::Component, souffle::ast::Program, souffle::ast::Relation, souffle::ast::Clause, souffle::ast::Aggregator, souffle::ast::Directive, souffle::ast::Atom, souffle::ast::IntrinsicFunctor, souffle::ast::ComponentInit, souffle::ast::TypeCast, souffle::ast::ComponentType, souffle::ast::UserDefinedFunctor, souffle::ast::Negation, souffle::ast::Attribute, souffle::ast::BranchDeclaration, souffle::ast::BranchInit, souffle::ast::Variable, souffle::ast::ProvenanceNegation, souffle::ast::SubroutineArgument, souffle::ast::Pragma, souffle::ast::RecordInit, souffle::ast::StringConstant, souffle::ast::Constant, souffle::ast::Counter, and souffle::ast::UnnamedVariable.

setSrcLoc()

void souffle::ast::Node::setSrcLoc ( SrcLocation  l )

inline

Set source location for the Node.

Definition at line 51 of file Node.h.

                                             {

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  out, const Node &  node  )

friend

Print node onto an output stream.

Definition at line 87 of file Node.h.

                                            {

Field Documentation

location

SrcLocation souffle::ast::Node::location

private

Source location of a syntactic element.

Definition at line 103 of file Node.h.

---

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

• ast/Node.h