souffle::ast::transform::WhileTransformer Class Reference

Transformer that repeatedly executes a sub-transformer while a condition is met. More...

#include <While.h>

Inheritance diagram for souffle::ast::transform::WhileTransformer:

Collaboration diagram for souffle::ast::transform::WhileTransformer:

Public Member Functions
WhileTransformer *	clone () const override
void	disableTransformers (const std::set< std::string > &transforms) override
std::string	getName () const override
std::vector< Transformer * >	getSubtransformers () const override
void	setDebugReport () override
void	setVerbosity (bool verbose) override
	WhileTransformer (bool cond, Own< Transformer > transformer)
	WhileTransformer (std::function< bool()> cond, Own< Transformer > transformer)
Public Member Functions inherited from souffle::ast::transform::MetaTransformer
bool	applySubtransformer (TranslationUnit &translationUnit, Transformer *transformer)
Public Member Functions inherited from souffle::ast::transform::Transformer
bool	apply (TranslationUnit &translationUnit)
virtual	~Transformer ()=default

Private Member Functions
bool	transform (TranslationUnit &translationUnit) override

Private Attributes
std::function< bool()>	condition
Own< Transformer >	transformer

Additional Inherited Members
Protected Attributes inherited from souffle::ast::transform::MetaTransformer
bool	verbose = false

Detailed Description

Transformer that repeatedly executes a sub-transformer while a condition is met.

Definition at line 39 of file While.h.

Constructor & Destructor Documentation

WhileTransformer() [1/2]

souffle::ast::transform::WhileTransformer::WhileTransformer ( std::function< bool()>  cond, Own< Transformer >  transformer  )

inline

Definition at line 45 of file While.h.

                                   {

WhileTransformer() [2/2]

souffle::ast::transform::WhileTransformer::WhileTransformer ( bool  cond, Own< Transformer >  transformer  )

inline

Definition at line 48 of file While.h.

               {

Member Function Documentation

clone()

WhileTransformer* souffle::ast::transform::WhileTransformer::clone ( ) const

inlineoverridevirtual

Implements souffle::ast::transform::MetaTransformer.

Definition at line 81 of file While.h.

                                                              {
        bool changed = false;
        while (condition()) {

References souffle::ast::transform::MetaTransformer::applySubtransformer(), condition, and transformer.

Here is the call graph for this function:

disableTransformers()

void souffle::ast::transform::WhileTransformer::disableTransformers ( const std::set< std::string > &  transforms )

inlineoverridevirtual

Implements souffle::ast::transform::MetaTransformer.

Definition at line 69 of file While.h.

                                       {
        return "WhileTransformer";
    }
 
    WhileTransformer* clone() const override {
        return new WhileTransformer(condition, souffle::clone(transformer));
    }

getName()

std::string souffle::ast::transform::WhileTransformer::getName ( ) const

inlineoverridevirtual

Implements souffle::ast::transform::Transformer.

Definition at line 77 of file While.h.

       :
    std::function<bool()> condition;
    Own<Transformer> transformer;

getSubtransformers()

std::vector<Transformer*> souffle::ast::transform::WhileTransformer::getSubtransformers ( ) const

inlineoverridevirtual

Implements souffle::ast::transform::MetaTransformer.

Definition at line 51 of file While.h.

                                             {

setDebugReport()

void souffle::ast::transform::WhileTransformer::setDebugReport ( )

inlineoverridevirtual

Implements souffle::ast::transform::MetaTransformer.

Definition at line 54 of file While.h.

                                             {
        this->verbose = verbose;
        if (auto* mt = dynamic_cast<MetaTransformer*>(transformer.get())) {
            mt->setVerbosity(verbose);
        }
    }
 

References transformer, and souffle::ast::transform::MetaTransformer::verbose.

setVerbosity()

void souffle::ast::transform::WhileTransformer::setVerbosity ( bool  verbose )

inlineoverridevirtual

Implements souffle::ast::transform::MetaTransformer.

Definition at line 62 of file While.h.

                                                                          {
            mt->disableTransformers(transforms);
        } else if (transforms.find(transformer->getName()) != transforms.end()) {
            transformer = mk<NullTransformer>();
        }
    }

transform()

bool souffle::ast::transform::WhileTransformer::transform ( TranslationUnit &  translationUnit )

inlineoverrideprivatevirtual

Implements souffle::ast::transform::Transformer.

Definition at line 89 of file While.h.

Field Documentation

condition

std::function<bool()> souffle::ast::transform::WhileTransformer::condition

private

Definition at line 86 of file While.h.

Referenced by clone().

transformer

Own<Transformer> souffle::ast::transform::WhileTransformer::transformer

private

Definition at line 87 of file While.h.

Referenced by clone(), and setDebugReport().

---

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

• ast/transform/While.h