souffle::ast::transform::MetaTransformer Class Reference

Transformer that coordinates other sub-transformations. More...

#include <Meta.h>

Inheritance diagram for souffle::ast::transform::MetaTransformer:

Collaboration diagram for souffle::ast::transform::MetaTransformer:

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

Protected Attributes
bool	verbose = false

Detailed Description

Transformer that coordinates other sub-transformations.

Definition at line 36 of file Meta.h.

Member Function Documentation

applySubtransformer()

bool souffle::ast::transform::MetaTransformer::applySubtransformer	(	TranslationUnit &	translationUnit,
		Transformer *	transformer
	)

Definition at line 30 of file Meta.cpp.

                                                      : "unchanged";
        std::cout << transformer->getName() << " time: " << std::chrono::duration<double>(end - start).count()
                  << "sec [" << changedString << "]" << std::endl;
    }
 
    return changed;
}
 
}  // namespace souffle::ast::transform

Referenced by souffle::ast::transform::WhileTransformer::clone(), souffle::ast::transform::PipelineTransformer::clone(), and souffle::ast::transform::ConditionalTransformer::getName().

clone()

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

overridepure virtual

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

Implemented in souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer, souffle::ast::transform::PipelineTransformer, souffle::ast::transform::ConditionalTransformer, souffle::ast::transform::FixpointTransformer, souffle::ast::transform::WhileTransformer, souffle::ast::transform::DebugReporter, souffle::ast::transform::MagicSetTransformer, and souffle::ast::transform::NullTransformer.

disableTransformers()

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

pure virtual

Implemented in souffle::ast::transform::PipelineTransformer, souffle::ast::transform::ConditionalTransformer, souffle::ast::transform::FixpointTransformer, souffle::ast::transform::WhileTransformer, souffle::ast::transform::DebugReporter, and souffle::ast::transform::NullTransformer.

getSubtransformers()

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

pure virtual

Implemented in souffle::ast::transform::PipelineTransformer, souffle::ast::transform::FixpointTransformer, souffle::ast::transform::ConditionalTransformer, souffle::ast::transform::DebugReporter, souffle::ast::transform::WhileTransformer, and souffle::ast::transform::NullTransformer.

setDebugReport()

virtual void souffle::ast::transform::MetaTransformer::setDebugReport ( )

pure virtual

Implemented in souffle::ast::transform::PipelineTransformer, souffle::ast::transform::ConditionalTransformer, souffle::ast::transform::DebugReporter, souffle::ast::transform::NullTransformer, souffle::ast::transform::WhileTransformer, and souffle::ast::transform::FixpointTransformer.

setVerbosity()

virtual void souffle::ast::transform::MetaTransformer::setVerbosity ( bool  verbose )

pure virtual

Implemented in souffle::ast::transform::NullTransformer, souffle::ast::transform::PipelineTransformer, souffle::ast::transform::ConditionalTransformer, souffle::ast::transform::FixpointTransformer, souffle::ast::transform::WhileTransformer, and souffle::ast::transform::DebugReporter.

Field Documentation

verbose

bool souffle::ast::transform::MetaTransformer::verbose = false

protected

Definition at line 44 of file Meta.h.

Referenced by souffle::ast::transform::ConditionalTransformer::getSubtransformers(), souffle::ast::transform::FixpointTransformer::setDebugReport(), souffle::ast::transform::WhileTransformer::setDebugReport(), and souffle::ast::transform::PipelineTransformer::setDebugReport().

---

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

• ast/transform/Meta.h
• ast/transform/Meta.cpp