souffle::ast::analysis::RecursiveClausesAnalysis Class Reference

Analysis pass identifying clauses which are recursive. More...

#include <RecursiveClauses.h>

Inheritance diagram for souffle::ast::analysis::RecursiveClausesAnalysis:

Collaboration diagram for souffle::ast::analysis::RecursiveClausesAnalysis:

Public Member Functions
void	print (std::ostream &os) const override
	print the analysis result in HTML format More...
bool	recursive (const Clause *clause) const
	RecursiveClausesAnalysis ()
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	~Analysis ()=default

Static Public Attributes
static constexpr const char *	name = "recursive-clauses"

Private Member Functions
bool	computeIsRecursive (const Clause &clause, const TranslationUnit &translationUnit) const
	Determines whether the given clause is recursive within the given program. More...

Private Attributes
std::set< const Clause * >	recursiveClauses

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

Detailed Description

Analysis pass identifying clauses which are recursive.

Definition at line 44 of file RecursiveClauses.h.

Constructor & Destructor Documentation

RecursiveClausesAnalysis()

souffle::ast::analysis::RecursiveClausesAnalysis::RecursiveClausesAnalysis ( )

inline

Definition at line 48 of file RecursiveClauses.h.

:
    std::set<const Clause*> recursiveClauses;

Member Function Documentation

computeIsRecursive()

bool souffle::ast::analysis::RecursiveClausesAnalysis::computeIsRecursive ( const Clause &  clause, const TranslationUnit &  translationUnit  ) const

private

Determines whether the given clause is recursive within the given program.

Definition at line 58 of file RecursiveClauses.cpp.

                         : getBodyLiterals<Atom>(clause)) {
        auto rel = relationDetail.getRelation(cur->getQualifiedName());
        if (rel == trg) {
            return true;
        }
        worklist.push_back(rel);
    }
 
    // process remaining elements
    while (!worklist.empty()) {
        // get next to process
        const Relation* cur = worklist.back();
        worklist.pop_back();
 
        // skip null pointers (errors in the input code)
        if (cur == nullptr) {
            continue;
        }
 
        // check whether this one has been checked before
        if (!reached.insert(cur).second) {
            continue;
        }
 
        // check all atoms in the relations
        for (const Clause* cl : relationDetail.getClauses(cur)) {
            for (const Atom* at : getBodyLiterals<Atom>(*cl)) {
                auto rel = relationDetail.getRelation(at->getQualifiedName());
                if (rel == trg) {
                    return true;
                }
                worklist.push_back(rel);
            }
        }
    }
 
    // no cycles found
    return false;
}
 
}  // namespace souffle::ast::analysis

References rel().

Here is the call graph for this function:

print()

void souffle::ast::analysis::RecursiveClausesAnalysis::print ( std::ostream &  ) const

overridevirtual

print the analysis result in HTML format

Reimplemented from souffle::ast::analysis::Analysis.

Definition at line 54 of file RecursiveClauses.cpp.

recursive()

bool souffle::ast::analysis::RecursiveClausesAnalysis::recursive ( const Clause *  clause ) const

inline

Definition at line 54 of file RecursiveClauses.h.

run()

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

overridevirtual

run analysis for a Ast translation unit

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

Definition at line 45 of file RecursiveClauses.cpp.

                                                         {
    os << recursiveClauses << std::endl;
}
 
bool RecursiveClausesAnalysis::computeIsRecursive(
        const Clause& clause, const TranslationUnit& translationUnit) const {
    const auto& relationDetail = *translationUnit.getAnalysis<RelationDetailCacheAnalysis>();

References recursiveClauses.

Field Documentation

name

constexpr const char* souffle::ast::analysis::RecursiveClausesAnalysis::name = "recursive-clauses"

staticconstexpr

Definition at line 46 of file RecursiveClauses.h.

recursiveClauses

std::set<const Clause*> souffle::ast::analysis::RecursiveClausesAnalysis::recursiveClauses

private

Definition at line 59 of file RecursiveClauses.h.

Referenced by run().

---

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

• ast/analysis/RecursiveClauses.h
• ast/analysis/RecursiveClauses.cpp