souffle::ast::analysis::PrecedenceGraphAnalysis Class Reference

Analysis pass computing the precedence graph of the relations of the datalog progam. More...

#include <PrecedenceGraph.h>

Inheritance diagram for souffle::ast::analysis::PrecedenceGraphAnalysis:

Collaboration diagram for souffle::ast::analysis::PrecedenceGraphAnalysis:

Public Member Functions
const Graph< const Relation *, NameComparison > &	graph () const
	PrecedenceGraphAnalysis ()
void	print (std::ostream &os) const override
	Output precedence graph in graphviz format to a given stream. 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	~Analysis ()=default

Static Public Attributes
static constexpr const char *	name = "precedence-graph"

Private Attributes
Graph< const Relation *, NameComparison >	backingGraph
	Adjacency list of precedence graph (determined by the dependencies of the relations) More...

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

Detailed Description

Analysis pass computing the precedence graph of the relations of the datalog progam.

Definition at line 43 of file PrecedenceGraph.h.

Constructor & Destructor Documentation

PrecedenceGraphAnalysis()

souffle::ast::analysis::PrecedenceGraphAnalysis::PrecedenceGraphAnalysis ( )

inline

Definition at line 47 of file PrecedenceGraph.h.

:
    /** Adjacency list of precedence graph (determined by the dependencies of the relations) */

Member Function Documentation

graph()

const Graph<const Relation*, NameComparison>& souffle::ast::analysis::PrecedenceGraphAnalysis::graph ( ) const

inline

Definition at line 54 of file PrecedenceGraph.h.

print()

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

overridevirtual

Output precedence graph in graphviz format to a given stream.

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

Definition at line 63 of file PrecedenceGraph.cpp.

                             : backingGraph.vertices()) {
        if (rel != nullptr) {
            for (const Relation* adjRel : backingGraph.successors(rel)) {
                if (adjRel != nullptr) {
                    ss << "\t\"" << rel->getQualifiedName() << "\" -> \"" << adjRel->getQualifiedName()
                       << "\";\n";
                }
            }
        }
    }
    ss << "}\n";
    printHTMLGraph(os, ss.str(), getName());
}
 
}  // namespace souffle::ast::analysis

run()

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

overridevirtual

run analysis for a Ast translation unit

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

Definition at line 45 of file PrecedenceGraph.cpp.

                                                                        {
                backingGraph.insert(relationDetail.getRelation(atom.getQualifiedName()), r);
            });
            visitDepthFirst(c->getHead()->getArguments(), [&](const Atom& atom) {
                backingGraph.insert(relationDetail.getRelation(atom.getQualifiedName()), r);
            });
        }
    }
}
 
void PrecedenceGraphAnalysis::print(std::ostream& os) const {
    /* Print dependency graph */
    std::stringstream ss;
    ss << "digraph {\n";
    /* Print node of dependence graph */
    for (const Relation* rel : backingGraph.vertices()) {
        if (rel != nullptr) {

Field Documentation

backingGraph

Graph<const Relation*, NameComparison> souffle::ast::analysis::PrecedenceGraphAnalysis::backingGraph

private

Adjacency list of precedence graph (determined by the dependencies of the relations)

Definition at line 60 of file PrecedenceGraph.h.

name

constexpr const char* souffle::ast::analysis::PrecedenceGraphAnalysis::name = "precedence-graph"

staticconstexpr

Definition at line 45 of file PrecedenceGraph.h.

---

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

• ast/analysis/PrecedenceGraph.h
• ast/analysis/PrecedenceGraph.cpp