souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
24 class TranslationUnit;
38 virtual const std::string&
getName()
const {
46 virtual void print(std::ostream& )
const {}
virtual const std::string & getName() const
get name of the analysis
Translating a RAM program.
friend std::ostream & operator<<(std::ostream &out, const Analysis &other)
define output stream operator
virtual void run(const TranslationUnit &translationUnit)=0
Run analysis for a RAM translation unit.
std::string identifier
name of analysis instance
virtual void print(std::ostream &) const
Print the analysis result in HTML format.
Abstract class for a RAM Analysis.
virtual ~Analysis()=default