souffle::ast::transform::ConditionalTransformer Class Reference

Transformer that executes a sub-transformer iff a condition holds. More...

#include <Conditional.h>

Inheritance diagram for souffle::ast::transform::ConditionalTransformer:

Collaboration diagram for souffle::ast::transform::ConditionalTransformer:

Public Member Functions
ConditionalTransformer *	clone () const override
	ConditionalTransformer (bool cond, Own< Transformer > transformer)
	ConditionalTransformer (std::function< bool()> cond, Own< Transformer > transformer)
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
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 executes a sub-transformer iff a condition holds.

Definition at line 43 of file Conditional.h.

Constructor & Destructor Documentation

ConditionalTransformer() [1/2]

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

inline

Definition at line 51 of file Conditional.h.

               {

Referenced by disableTransformers().

ConditionalTransformer() [2/2]

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

inline

Definition at line 54 of file Conditional.h.

                                             {

Member Function Documentation

clone()

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

inlineoverridevirtual

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

Definition at line 88 of file Conditional.h.

disableTransformers()

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

inlineoverridevirtual

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

Definition at line 76 of file Conditional.h.

                                                   {
        return new ConditionalTransformer(condition, souffle::clone(transformer));
    }
 
private:
    std::function<bool()> condition;
    Own<Transformer> transformer;

References souffle::clone(), condition, ConditionalTransformer(), and transformer.

Here is the call graph for this function:

getName()

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

inlineoverridevirtual

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

Definition at line 84 of file Conditional.h.

                                                              {
        return condition() ? applySubtransformer(translationUnit, transformer.get()) : false;
    }

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

Here is the call graph for this function:

getSubtransformers()

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

inlineoverridevirtual

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

Definition at line 57 of file Conditional.h.

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

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

setDebugReport()

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

inlineoverridevirtual

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

Definition at line 61 of file Conditional.h.

                                                                           {
        if (auto* mt = dynamic_cast<MetaTransformer*>(transformer.get())) {
            mt->disableTransformers(transforms);
        } else if (transforms.find(transformer->getName()) != transforms.end()) {

setVerbosity()

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

inlineoverridevirtual

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

Definition at line 69 of file Conditional.h.

                                       {
        return "ConditionalTransformer";
    }

transform()

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

inlineoverrideprivatevirtual

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

Definition at line 96 of file Conditional.h.

Field Documentation

condition

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

private

Definition at line 93 of file Conditional.h.

Referenced by disableTransformers(), and getName().

transformer

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

private

Definition at line 94 of file Conditional.h.

Referenced by disableTransformers(), getName(), and getSubtransformers().

---

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

• ast/transform/Conditional.h