souffle::ast::transform::ComponentInstantiationTransformer Class Reference

#include <ComponentInstantiation.h>

Inheritance diagram for souffle::ast::transform::ComponentInstantiationTransformer:

Collaboration diagram for souffle::ast::transform::ComponentInstantiationTransformer:

Public Member Functions
ComponentInstantiationTransformer *	clone () const override
std::string	getName () const override
Public Member Functions inherited from souffle::ast::transform::Transformer
bool	apply (TranslationUnit &translationUnit)
virtual	~Transformer ()=default

Private Member Functions
bool	transform (TranslationUnit &translationUnit) override

Detailed Description

Definition at line 27 of file ComponentInstantiation.h.

Member Function Documentation

clone()

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

inlineoverridevirtual

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

Definition at line 37 of file ComponentInstantiation.h.

getName()

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

inlineoverridevirtual

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

Definition at line 33 of file ComponentInstantiation.h.

       :
    bool transform(TranslationUnit& translationUnit) override;
};

transform()

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

overrideprivatevirtual

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

Definition at line 438 of file ComponentInstantiation.cpp.

                         : program.getComponentInstantiations()) {
        std::vector<Own<Clause>> orphans;
 
        auto content = getInstantiatedContent(program, *cur, nullptr, *componentLookup, orphans, report);
        if (report.getNumErrors() != 0) continue;
 
        for (auto& type : content.types) {
            program.addType(std::move(type));
        }
        for (auto& rel : content.relations) {
            program.addRelation(std::move(rel));
        }
        for (auto& clause : content.clauses) {
            program.addClause(std::move(clause));
        }
        for (auto& orphan : orphans) {
            program.addClause(std::move(orphan));
        }
        for (auto& directive : content.directives) {
            program.addDirective(std::move(directive));
        }
    }
 
    // delete components and instantiations
    program.clearComponents();
 
    return true;
}
 
}  // namespace souffle::ast::transform

References rel().

Here is the call graph for this function:

---

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

• ast/transform/ComponentInstantiation.h
• ast/transform/ComponentInstantiation.cpp