souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
32 class TranslationUnit;
39 class RelationDetailCacheAnalysis :
public Analysis {
41 static constexpr
const char*
name =
"relation-detail";
45 void run(
const TranslationUnit& translationUnit)
override;
47 void print(std::ostream& os)
const override;
57 assert(
rel !=
nullptr &&
"invalid relation");
65 return std::set<Clause*>();
Analysis(std::string identifier)
RelationDetailCacheAnalysis()
Defines a relation with a name, attributes, qualifiers, and internal representation.
std::map< QualifiedName, std::set< Clause * > > nameToClauses
std::map< QualifiedName, Relation * > nameToRelation
void run(const TranslationUnit &translationUnit) override
run analysis for a Ast translation unit
Relation * getRelation(const QualifiedName &name) const
std::set< Clause * > getClauses(const Relation *rel) const
static constexpr const char * name
void print(std::ostream &os) const override
print the analysis result in HTML format
Qualified Name class defines fully/partially qualified names to identify objects in components.
void rel(size_t limit, bool showLimit=true)