souffle
2.0.2-371-g6315b36
|
Analysis that loads profile data and has a profile query interface. More...
#include <ProfileUse.h>
Public Member Functions | |
size_t | getRelationSize (const QualifiedName &rel) const |
Return size of relation in the profile. More... | |
bool | hasRelationSize (const QualifiedName &rel) const |
Check whether the relation size exists in profile. More... | |
void | print (std::ostream &os) const override |
Output some profile information. More... | |
ProfileUseAnalysis () | |
void | run (const TranslationUnit &translationUnit) override |
Run analysis. 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 = "profile-use" |
Name of analysis. More... | |
Private Attributes | |
std::shared_ptr< profile::ProgramRun > | programRun |
performance model of profile run More... | |
Additional Inherited Members | |
Protected Attributes inherited from souffle::ast::analysis::Analysis | |
const std::string | identifier |
Analysis that loads profile data and has a profile query interface.
Definition at line 43 of file ProfileUse.h.
|
inline |
Definition at line 48 of file ProfileUse.h.
size_t souffle::ast::analysis::ProfileUseAnalysis::getRelationSize | ( | const QualifiedName & | rel | ) | const |
Return size of relation in the profile.
Get relation size from profile.
Definition at line 61 of file ProfileUse.cpp.
Referenced by souffle::ast::ProfileUseSips::evaluateCosts().
bool souffle::ast::analysis::ProfileUseAnalysis::hasRelationSize | ( | const QualifiedName & | rel | ) | const |
Check whether the relation size exists in profile.
Check whether relation size is defined in profile.
Definition at line 54 of file ProfileUse.cpp.
References programRun, and rel().
|
overridevirtual |
Output some profile information.
Print analysis.
Reimplemented from souffle::ast::analysis::Analysis.
Definition at line 49 of file ProfileUse.cpp.
|
overridevirtual |
Run analysis.
Run analysis, i.e., retrieve profile information.
Implements souffle::ast::analysis::Analysis.
Definition at line 39 of file ProfileUse.cpp.
|
staticconstexpr |
Name of analysis.
Definition at line 46 of file ProfileUse.h.
|
private |
performance model of profile run
Definition at line 65 of file ProfileUse.h.
Referenced by hasRelationSize().