Iterator wrapper class. More...

#include <ProgInterface.h>

Inheritance diagram for souffle::interpreter::RelInterface::iterator_base:

Collaboration diagram for souffle::interpreter::RelInterface::iterator_base:

Public Member Functions
iterator_base *	clone () const override
	Clone iterator. More...

	iterator_base (uint32_t arg_id, const RelInterface *r, RelationWrapper::Iterator i)

tuple &	operator* () override
	Get current tuple. More...

void	operator++ () override
	Increment iterator. More...

	~iterator_base () override=default
	Destructor. More...

Public Member Functions inherited from souffle::Relation::iterator_base
virtual uint32_t	getId () const
	Get the ID of the iterator_base object. More...

	iterator_base (uint32_t arg_id)
	Constructor. More...

bool	operator== (const iterator_base &o) const
	Overload the "==" operator. More...

Protected Member Functions
bool	equal (const souffle::Relation::iterator_base &o) const override
	Check equivalence. More...

Private Attributes
RelationWrapper::Iterator	it

const RelInterface *	ramRelationInterface

tuple	tup

Additional Inherited Members
Protected Attributes inherited from souffle::Relation::iterator_base
uint32_t	id
	Required for identifying type of iterator (NB: LLVM has no typeinfo). More...

Detailed Description

Iterator wrapper class.

Definition at line 133 of file ProgInterface.h.

Constructor & Destructor Documentation

◆ iterator_base()

souffle::interpreter::RelInterface::iterator_base::iterator_base	(	uint32_t	arg_id,
		const RelInterface *	r,
		RelationWrapper::Iterator	i
	)

inline

Definition at line 135 of file ProgInterface.h.

138 {

References souffle::interpreter::RelInterface::getAttrType(), i, and ramRelationInterface.

Referenced by souffle::interpreter::RelInterface::size().

Here is the call graph for this function:

◆ ~iterator_base()

souffle::interpreter::RelInterface::iterator_base::~iterator_base ( )

overridevirtualdefault

Destructor.

Reimplemented from souffle::Relation::iterator_base.

Member Function Documentation

◆ clone()

iterator_base* souffle::interpreter::RelInterface::iterator_base::clone ( ) const

inlineoverridevirtual

Clone iterator.

Implements souffle::Relation::iterator_base.

Definition at line 176 of file ProgInterface.h.

179 :

180 const RelInterface* ramRelationInterface;

◆ equal()

bool souffle::interpreter::RelInterface::iterator_base::equal ( const souffle::Relation::iterator_base & o ) const

inlineoverrideprotectedvirtual

Check equivalence.

Implements souffle::Relation::iterator_base.

Definition at line 182 of file ProgInterface.h.

        :
     /** Wrapped interpreter relation */
     RelationWrapper& relation;
  
     /** Symbol table */

◆ operator*()

tuple& souffle::interpreter::RelInterface::iterator_base::operator* ( )

inlineoverridevirtual

Get current tuple.

Implements souffle::Relation::iterator_base.

Definition at line 145 of file ProgInterface.h.

                             : {
                         tup << ramBitCast<RamFloat>((*it)[i]);
                         break;
                     }
                     case 'u': {
                         tup << ramBitCast<RamUnsigned>((*it)[i]);
                         break;
                     }
                     default: {
                         tup << (*it)[i];
                         break;
                     }
                 }
             }
             tup.rewind();
             return tup;
         }
  
         /** Clone iterator */
         iterator_base* clone() const override {
             return new RelInterface::iterator_base(getId(), ramRelationInterface, it);
         }
  
     protected:
         /** Check equivalence */
         bool equal(const souffle::Relation::iterator_base& o) const override {
             try {
                 auto& iter = dynamic_cast<const RelInterface::iterator_base&>(o);
                 return ramRelationInterface == iter.ramRelationInterface && it == iter.it;

References i, and it.

◆ operator++()

void souffle::interpreter::RelInterface::iterator_base::operator++ ( )

inlineoverridevirtual

Increment iterator.

Implements souffle::Relation::iterator_base.

Definition at line 140 of file ProgInterface.h.

                             : {
                         std::string s = ramRelationInterface->getSymbolTable().resolve((*it)[i]);
                         tup << s;