souffle::ast::analysis::ComponentLookupAnalysis Class Reference

#include <ComponentLookup.h>

Inheritance diagram for souffle::ast::analysis::ComponentLookupAnalysis:

Collaboration diagram for souffle::ast::analysis::ComponentLookupAnalysis:

Public Member Functions
	ComponentLookupAnalysis ()
const Component *	getComponent (const Component *scope, const std::string &name, const TypeBinding &activeBinding) const
	Performs a lookup operation for a component with the given name within the addressed scope. More...
void	run (const TranslationUnit &translationUnit) override
	run analysis for a Ast translation unit More...
Public Member Functions inherited from souffle::ast::analysis::Analysis
	Analysis (std::string identifier)
virtual const std::string &	getName () const
	get name of the analysis More...
virtual void	print (std::ostream &) const
	print the analysis result in HTML format More...
virtual	~Analysis ()=default

Static Public Attributes
static constexpr const char *	name = "component-lookup"

Private Attributes
std::map< const Component *, const Component * >	enclosingComponent
std::set< const Component * >	globalScopeComponents
std::map< const Component *, std::set< const Component * > >	nestedComponents

Additional Inherited Members
Protected Attributes inherited from souffle::ast::analysis::Analysis
const std::string	identifier

Detailed Description

Definition at line 78 of file ComponentLookup.h.

Constructor & Destructor Documentation

ComponentLookupAnalysis()

souffle::ast::analysis::ComponentLookupAnalysis::ComponentLookupAnalysis ( )

inline

Definition at line 82 of file ComponentLookup.h.

Member Function Documentation

getComponent()

const Component * souffle::ast::analysis::ComponentLookupAnalysis::getComponent	(	const Component *	scope,
		const std::string &	name,
		const TypeBinding &	activeBinding
	)		const

Performs a lookup operation for a component with the given name within the addressed scope.

Parameters

scope	the component scope to lookup in (null for global scope)
name	the name of the component to be looking for

Returns

a pointer to the obtained component or null if there is no such component.

Definition at line 48 of file ComponentLookup.cpp.

                                   {
        for (const Component* cur : searchScope->getComponents()) {
            if (cur->getComponentType()->getName() == toString(boundName)) {
                return cur;
            }
        }
        auto found = enclosingComponent.find(searchScope);
        if (found != enclosingComponent.end()) {
            searchScope = found->second;
        } else {
            searchScope = nullptr;
            break;
        }
    }
 
    // check global scope
    for (const Component* cur : globalScopeComponents) {
        if (cur->getComponentType()->getName() == toString(boundName)) {
            return cur;
        }
    }
 
    // no such component in scope
    return nullptr;
}
 
}  // namespace souffle::ast::analysis

run()

void souffle::ast::analysis::ComponentLookupAnalysis::run ( const TranslationUnit &  )

overridevirtual

run analysis for a Ast translation unit

Implements souffle::ast::analysis::Analysis.

Definition at line 33 of file ComponentLookup.cpp.

                                                       {
        nestedComponents[&cur];
        for (Component* nestedComponent : cur.getComponents()) {
            nestedComponents[&cur].insert(nestedComponent);
            enclosingComponent[nestedComponent] = &cur;
        }
    });
}
 
const Component* ComponentLookupAnalysis::getComponent(
        const Component* scope, const std::string& name, const TypeBinding& activeBinding) const {
    // forward according to binding (we do not do this recursively on purpose)
    QualifiedName boundName = activeBinding.find(name);
    if (boundName.empty()) {

References souffle::ast::Component::getComponents(), and nestedComponents.

Here is the call graph for this function:

Field Documentation

enclosingComponent

std::map<const Component*, const Component*> souffle::ast::analysis::ComponentLookupAnalysis::enclosingComponent

private

Definition at line 102 of file ComponentLookup.h.

globalScopeComponents

std::set<const Component*> souffle::ast::analysis::ComponentLookupAnalysis::globalScopeComponents

private

Definition at line 98 of file ComponentLookup.h.

name

constexpr const char* souffle::ast::analysis::ComponentLookupAnalysis::name = "component-lookup"

staticconstexpr

Definition at line 80 of file ComponentLookup.h.

nestedComponents

std::map<const Component*, std::set<const Component*> > souffle::ast::analysis::ComponentLookupAnalysis::nestedComponents

private

Definition at line 100 of file ComponentLookup.h.

Referenced by run().

---

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

• ast/analysis/ComponentLookup.h
• ast/analysis/ComponentLookup.cpp