souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
28 class TranslationUnit;
35 class PrecedenceGraphAnalysis :
public Analysis {
37 static constexpr
const char*
name =
"precedence-graph";
41 void run(
const TranslationUnit& translationUnit)
override;
44 void print(std::ostream& os)
const override;
Analysis(std::string identifier)
const Graph< const Relation *, NameComparison > & graph() const
A simple graph structure for graph-based operations.
static constexpr const char * name
Graph< const Relation *, NameComparison > backingGraph
Adjacency list of precedence graph (determined by the dependencies of the relations)
void run(const TranslationUnit &translationUnit) override
run analysis for a Ast translation unit
PrecedenceGraphAnalysis()
void print(std::ostream &os) const override
Output precedence graph in graphviz format to a given stream.