souffle::ast::transform::ComponentChecker Class Reference

#include <ComponentChecker.h>

Inheritance diagram for souffle::ast::transform::ComponentChecker:

Collaboration diagram for souffle::ast::transform::ComponentChecker:

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

Private Member Functions
bool	transform (TranslationUnit &translationUnit) override

Static Private Member Functions
static void	checkComponent (ErrorReport &report, const Component *enclosingComponent, const analysis::ComponentLookupAnalysis &componentLookup, const Component &component, const analysis::TypeBinding &binding)
static void	checkComponentInit (ErrorReport &report, const Component *enclosingComponent, const analysis::ComponentLookupAnalysis &componentLookup, const ComponentInit &init, const analysis::TypeBinding &binding)
static const Component *	checkComponentNameReference (ErrorReport &report, const Component *enclosingComponent, const analysis::ComponentLookupAnalysis &componentLookup, const std::string &name, const SrcLocation &loc, const analysis::TypeBinding &binding)
static void	checkComponentNamespaces (ErrorReport &report, const Program &program)
static void	checkComponentReference (ErrorReport &report, const Component *enclosingComponent, const analysis::ComponentLookupAnalysis &componentLookup, const ast::ComponentType &type, const SrcLocation &loc, const analysis::TypeBinding &binding)
static void	checkComponents (ErrorReport &report, const Program &program, const analysis::ComponentLookupAnalysis &componentLookup)

Detailed Description

Definition at line 38 of file ComponentChecker.h.

Constructor & Destructor Documentation

~ComponentChecker()

souffle::ast::transform::ComponentChecker::~ComponentChecker ( )

overridedefault

Member Function Documentation

checkComponent()

void souffle::ast::transform::ComponentChecker::checkComponent ( ErrorReport &  report, const Component *  enclosingComponent, const analysis::ComponentLookupAnalysis &  componentLookup, const Component &  component, const analysis::TypeBinding &  binding  )

staticprivate

Definition at line 108 of file ComponentChecker.cpp.

                         : component.getBaseComponents()) {
        checkComponentReference(
                report, enclosingComponent, componentLookup, *cur, component.getSrcLoc(), activeBinding);
 
        // Note: type parameters can also be atomic types like number, or anything defined through .type
        // The original semantic check permitted any identifier (existing or non-existing) to be actual
        // parameter
        // In order to maintain the compatibility, we do not check the actual parameters
 
        // for (const std::string& param : cur.getTypeParameters()) {
        //    checkComponentNameReference(report, scope, param, component.getSrcLoc(), activeBinding);
        //}
    }
 
    // get all parents
    std::set<const Component*> parents;
    std::function<void(const Component&)> collectParents = [&](const Component& cur) {
        for (const auto& base : cur.getBaseComponents()) {
            auto c = componentLookup.getComponent(enclosingComponent, base->getName(), binding);
            if (c == nullptr) {
                continue;
            }
            if (parents.insert(c).second) {
                collectParents(*c);
            }
        }
    };
    collectParents(component);
 
    // check overrides
    for (const Relation* relation : component.getRelations()) {
        if (component.getOverridden().count(relation->getQualifiedName().getQualifiers()[0]) != 0u) {
            report.addError("Override of non-inherited relation " +
                                    relation->getQualifiedName().getQualifiers()[0] + " in component " +
                                    component.getComponentType()->getName(),
                    component.getSrcLoc());
        }
    }
    for (const Component* parent : parents) {
        for (const Relation* relation : parent->getRelations()) {
            if ((component.getOverridden().count(relation->getQualifiedName().getQualifiers()[0]) != 0u) &&
                    !relation->hasQualifier(RelationQualifier::OVERRIDABLE)) {
                report.addError("Override of non-overridable relation " +
                                        relation->getQualifiedName().getQualifiers()[0] + " in component " +
                                        component.getComponentType()->getName(),
                        component.getSrcLoc());
            }
        }
    }
 
    // check for a cycle
    if (parents.find(&component) != parents.end()) {
        report.addError(
                "Invalid cycle in inheritance for component " + component.getComponentType()->getName(),
                component.getSrcLoc());
    }
 
    // -- nested components --
 
    // check nested components
    for (const auto& cur : component.getComponents()) {
        checkComponent(report, &component, componentLookup, *cur, activeBinding);
    }
 
    // check nested instantiations
    for (const auto& cur : component.getInstantiations()) {
        checkComponentInit(report, &component, componentLookup, *cur, activeBinding);
    }
}
 
void ComponentChecker::checkComponents(
        ErrorReport& report, const Program& program, const ComponentLookupAnalysis& componentLookup) {
    for (Component* cur : program.getComponents()) {
        checkComponent(report, nullptr, componentLookup, *cur, TypeBinding());
    }

checkComponentInit()

void souffle::ast::transform::ComponentChecker::checkComponentInit ( ErrorReport &  report, const Component *  enclosingComponent, const analysis::ComponentLookupAnalysis &  componentLookup, const ComponentInit &  init, const analysis::TypeBinding &  binding  )

staticprivate

Definition at line 91 of file ComponentChecker.cpp.

                                    {
    // -- inheritance --
 

checkComponentNameReference()

const Component * souffle::ast::transform::ComponentChecker::checkComponentNameReference ( ErrorReport &  report, const Component *  enclosingComponent, const analysis::ComponentLookupAnalysis &  componentLookup, const std::string &  name, const SrcLocation &  loc, const analysis::TypeBinding &  binding  )

staticprivate

Definition at line 56 of file ComponentChecker.cpp.

                      {
        report.addError("Referencing undefined component " + name, loc);
        return nullptr;
    }
 
    return c;
}
 
void ComponentChecker::checkComponentReference(ErrorReport& report, const Component* enclosingComponent,
        const ComponentLookupAnalysis& componentLookup, const ast::ComponentType& type,
        const SrcLocation& loc, const TypeBinding& binding) {
    // check whether targeted component exists
    const Component* c = checkComponentNameReference(

checkComponentNamespaces()

void souffle::ast::transform::ComponentChecker::checkComponentNamespaces ( ErrorReport &  report, const Program &  program  )

staticprivate

Definition at line 206 of file ComponentChecker.cpp.

                          : program.getTypes()) {
        const std::string name = toString(type->getQualifiedName());
        if (names.count(name) == 0u) {
            names[name] = type->getSrcLoc();
        }
    }
 
    for (const auto& rel : program.getRelations()) {
        const std::string name = toString(rel->getQualifiedName());
        if (names.count(name) == 0u) {
            names[name] = rel->getSrcLoc();
        }
    }
 
    // Note: Nested component and instance names are not obtained.
    for (const auto& comp : program.getComponents()) {
        const std::string name = toString(comp->getComponentType()->getName());
        if (names.count(name) != 0u) {
            report.addError("Name clash on component " + name, comp->getSrcLoc());
        } else {
            names[name] = comp->getSrcLoc();
        }
    }
 
    for (const auto& inst : program.getComponentInstantiations()) {
        const std::string name = toString(inst->getInstanceName());
        if (names.count(name) != 0u) {
            report.addError("Name clash on instantiation " + name, inst->getSrcLoc());
        } else {
            names[name] = inst->getSrcLoc();
        }
    }
}
}  // namespace souffle::ast::transform

References souffle::toString().

Here is the call graph for this function:

checkComponentReference()

void souffle::ast::transform::ComponentChecker::checkComponentReference ( ErrorReport &  report, const Component *  enclosingComponent, const analysis::ComponentLookupAnalysis &  componentLookup, const ast::ComponentType &  type, const SrcLocation &  loc, const analysis::TypeBinding &  binding  )

staticprivate

Definition at line 75 of file ComponentChecker.cpp.

                      {
        return;
    }
 
    // check number of type parameters
    if (c->getComponentType()->getTypeParameters().size() != type.getTypeParameters().size()) {
        report.addError("Invalid number of type parameters for component " + type.getName(), loc);
    }
}
 
void ComponentChecker::checkComponentInit(ErrorReport& report, const Component* enclosingComponent,
        const ComponentLookupAnalysis& componentLookup, const ComponentInit& init,
        const TypeBinding& binding) {
    checkComponentReference(
            report, enclosingComponent, componentLookup, *init.getComponentType(), init.getSrcLoc(), binding);

checkComponents()

void souffle::ast::transform::ComponentChecker::checkComponents ( ErrorReport &  report, const Program &  program, const analysis::ComponentLookupAnalysis &  componentLookup  )

staticprivate

Definition at line 194 of file ComponentChecker.cpp.

                            : program.getComponentInstantiations()) {
        checkComponentInit(report, nullptr, componentLookup, *cur, TypeBinding());
    }
}
 
// Check that component names are disjoint from type and relation names.
void ComponentChecker::checkComponentNamespaces(ErrorReport& report, const Program& program) {
    std::map<std::string, SrcLocation> names;
 
    // Type and relation name error reporting performed by the SemanticChecker instead

clone()

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

inlineoverridevirtual

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

Definition at line 52 of file ComponentChecker.h.

getName()

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

inlineoverridevirtual

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

Definition at line 48 of file ComponentChecker.h.

transform()

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

overrideprivatevirtual

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

Definition at line 47 of file ComponentChecker.cpp.

                                                                                   {
    const QualifiedName& forwarded = binding.find(name);
    if (!forwarded.empty()) {

---

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

• ast/transform/ComponentChecker.h
• ast/transform/ComponentChecker.cpp