souffle::ast::transform::Transformer Class Reference

#include <Transformer.h>

Inheritance diagram for souffle::ast::transform::Transformer:

Collaboration diagram for souffle::ast::transform::Transformer:

Public Member Functions
bool	apply (TranslationUnit &translationUnit)
virtual Transformer *	clone () const =0
virtual std::string	getName () const =0
virtual	~Transformer ()=default

Private Member Functions
virtual bool	transform (TranslationUnit &translationUnit)=0

Detailed Description

Definition at line 30 of file Transformer.h.

Constructor & Destructor Documentation

~Transformer()

virtual souffle::ast::transform::Transformer::~Transformer ( )

virtualdefault

Member Function Documentation

apply()

bool souffle::ast::transform::Transformer::apply

(

TranslationUnit &

translationUnit

)

Definition at line 29 of file Transformer.cpp.

clone()

virtual Transformer* souffle::ast::transform::Transformer::clone ( ) const

pure virtual

Implemented in souffle::ast::transform::MetaTransformer, souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer, souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::PositiveLabellingTransformer, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::NegativeLabellingTransformer, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer, souffle::ast::transform::MagicSetTransformer::NormaliseDatabaseTransformer, souffle::ast::transform::PipelineTransformer, souffle::ast::transform::ConditionalTransformer, souffle::ast::transform::FixpointTransformer, souffle::ast::transform::WhileTransformer, souffle::ast::transform::DebugReporter, souffle::ast::transform::IOAttributesTransformer, souffle::ast::transform::ResolveAliasesTransformer, souffle::ast::transform::MagicSetTransformer, souffle::ast::transform::FoldAnonymousRecords, souffle::ast::transform::PartitionBodyLiteralsTransformer, souffle::ast::transform::NullTransformer, souffle::ast::transform::AddNullariesToAtomlessAggregatesTransformer, souffle::ast::transform::GroundWitnessesTransformer, souffle::ast::transform::MaterializeAggregationQueriesTransformer, souffle::ast::transform::NameUnnamedVariablesTransformer, souffle::ast::transform::TypeChecker, souffle::ast::transform::IODefaultsTransformer, souffle::ast::transform::MaterializeSingletonAggregationTransformer, souffle::ast::transform::RemoveRelationCopiesTransformer, souffle::ast::transform::ComponentChecker, souffle::ast::transform::MinimiseProgramTransformer, souffle::ast::transform::ReduceExistentialsTransformer, souffle::ast::transform::RemoveEmptyRelationsTransformer, souffle::ast::transform::ResolveAnonymousRecordAliasesTransformer, souffle::ast::transform::GroundedTermsChecker, souffle::ast::transform::InlineRelationsTransformer, souffle::ast::transform::ProvenanceTransformer, souffle::ast::transform::NormaliseMultiResultFunctorsTransformer, souffle::ast::transform::SemanticChecker, souffle::ast::transform::ExecutionPlanChecker, souffle::ast::transform::PragmaChecker, souffle::ast::transform::RemoveRedundantSumsTransformer, souffle::ast::transform::ReplaceSingletonVariablesTransformer, souffle::ast::transform::RemoveBooleanConstraintsTransformer, souffle::ast::transform::RemoveRedundantRelationsTransformer, souffle::ast::transform::ReorderLiteralsTransformer, souffle::ast::transform::UniqueAggregationVariablesTransformer, souffle::ast::transform::SimplifyAggregateTargetExpressionTransformer, and souffle::ast::transform::ComponentInstantiationTransformer.

getName()

virtual std::string souffle::ast::transform::Transformer::getName ( ) const

pure virtual

Implemented in souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer, souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::PositiveLabellingTransformer, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::NegativeLabellingTransformer, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer, souffle::ast::transform::MagicSetTransformer::NormaliseDatabaseTransformer, souffle::ast::transform::PipelineTransformer, souffle::ast::transform::ConditionalTransformer, souffle::ast::transform::FixpointTransformer, souffle::ast::transform::WhileTransformer, souffle::ast::transform::DebugReporter, souffle::ast::transform::IOAttributesTransformer, souffle::ast::transform::MagicSetTransformer, souffle::ast::transform::FoldAnonymousRecords, souffle::ast::transform::PartitionBodyLiteralsTransformer, souffle::ast::transform::NullTransformer, souffle::ast::transform::AddNullariesToAtomlessAggregatesTransformer, souffle::ast::transform::GroundWitnessesTransformer, souffle::ast::transform::NameUnnamedVariablesTransformer, souffle::ast::transform::IODefaultsTransformer, souffle::ast::transform::MaterializeSingletonAggregationTransformer, souffle::ast::transform::ComponentChecker, souffle::ast::transform::TypeChecker, souffle::ast::transform::MaterializeAggregationQueriesTransformer, souffle::ast::transform::ReduceExistentialsTransformer, souffle::ast::transform::ResolveAnonymousRecordAliasesTransformer, souffle::ast::transform::MinimiseProgramTransformer, souffle::ast::transform::InlineRelationsTransformer, souffle::ast::transform::ProvenanceTransformer, souffle::ast::transform::RemoveRelationCopiesTransformer, souffle::ast::transform::ResolveAliasesTransformer, souffle::ast::transform::SemanticChecker, souffle::ast::transform::ExecutionPlanChecker, souffle::ast::transform::GroundedTermsChecker, souffle::ast::transform::PragmaChecker, souffle::ast::transform::RemoveRedundantSumsTransformer, souffle::ast::transform::NormaliseMultiResultFunctorsTransformer, souffle::ast::transform::ReplaceSingletonVariablesTransformer, souffle::ast::transform::RemoveBooleanConstraintsTransformer, souffle::ast::transform::RemoveEmptyRelationsTransformer, souffle::ast::transform::RemoveRedundantRelationsTransformer, souffle::ast::transform::ReorderLiteralsTransformer, souffle::ast::transform::UniqueAggregationVariablesTransformer, souffle::ast::transform::SimplifyAggregateTargetExpressionTransformer, and souffle::ast::transform::ComponentInstantiationTransformer.

transform()

virtual bool souffle::ast::transform::Transformer::transform ( TranslationUnit &  translationUnit )

privatepure virtual

Implemented in souffle::ast::transform::MagicSetTransformer, souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer, souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::PositiveLabellingTransformer, souffle::ast::transform::MagicSetTransformer::LabelDatabaseTransformer::NegativeLabellingTransformer, souffle::ast::transform::MagicSetTransformer::NormaliseDatabaseTransformer, souffle::ast::transform::PipelineTransformer, souffle::ast::transform::ConditionalTransformer, souffle::ast::transform::FixpointTransformer, souffle::ast::transform::WhileTransformer, souffle::ast::transform::DebugReporter, souffle::ast::transform::IOAttributesTransformer, souffle::ast::transform::ResolveAliasesTransformer, souffle::ast::transform::FoldAnonymousRecords, souffle::ast::transform::PartitionBodyLiteralsTransformer, souffle::ast::transform::AddNullariesToAtomlessAggregatesTransformer, souffle::ast::transform::GroundWitnessesTransformer, souffle::ast::transform::MaterializeAggregationQueriesTransformer, souffle::ast::transform::NameUnnamedVariablesTransformer, souffle::ast::transform::TypeChecker, souffle::ast::transform::IODefaultsTransformer, souffle::ast::transform::MaterializeSingletonAggregationTransformer, souffle::ast::transform::RemoveRelationCopiesTransformer, souffle::ast::transform::ComponentChecker, souffle::ast::transform::MinimiseProgramTransformer, souffle::ast::transform::ReduceExistentialsTransformer, souffle::ast::transform::RemoveEmptyRelationsTransformer, souffle::ast::transform::ResolveAnonymousRecordAliasesTransformer, souffle::ast::transform::ReorderLiteralsTransformer, souffle::ast::transform::GroundedTermsChecker, souffle::ast::transform::InlineRelationsTransformer, souffle::ast::transform::ProvenanceTransformer, souffle::ast::transform::SemanticChecker, souffle::ast::transform::ExecutionPlanChecker, souffle::ast::transform::RemoveRedundantSumsTransformer, souffle::ast::transform::ReplaceSingletonVariablesTransformer, souffle::ast::transform::RemoveBooleanConstraintsTransformer, souffle::ast::transform::RemoveRedundantRelationsTransformer, souffle::ast::transform::UniqueAggregationVariablesTransformer, souffle::ast::transform::SimplifyAggregateTargetExpressionTransformer, souffle::ast::transform::NormaliseMultiResultFunctorsTransformer, souffle::ast::transform::ComponentInstantiationTransformer, souffle::ast::transform::PragmaChecker, and souffle::ast::transform::NullTransformer.

---

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

• ast/transform/Transformer.h
• ast/transform/Transformer.cpp