souffle::ram::TranslationUnit Class Reference

Translating a RAM program. More...

#include <TranslationUnit.h>

Collaboration diagram for souffle::ram::TranslationUnit:

Public Member Functions
std::set< const analysis::Analysis * >	getAliveAnalyses () const
	Get all alive analyses. More...
template<class Analysis >
Analysis *	getAnalysis () const
	Get an analysis. More...
DebugReport &	getDebugReport ()
	Obtain debug report. More...
ErrorReport &	getErrorReport ()
	Obtain error report. More...
Program &	getProgram () const
	Get the RAM Program of the translation unit More...
souffle::SymbolTable &	getSymbolTable ()
	Obtain symbol table More...
void	invalidateAnalyses ()
	Invalidate all alive analyses of the translation unit. More...
	TranslationUnit (Own< Program > prog, SymbolTable sym, ErrorReport &e, DebugReport &d)
virtual	~TranslationUnit ()=default

Protected Attributes
std::map< std::string, Own< analysis::Analysis > >	analyses
DebugReport &	debugReport
ErrorReport &	errorReport
Own< Program >	program
souffle::SymbolTable	symbolTable

Detailed Description

Translating a RAM program.

Comprises the program, symbol table, error report, debug report, and analyses

Definition at line 55 of file TranslationUnit.h.

Constructor & Destructor Documentation

TranslationUnit()

souffle::ram::TranslationUnit::TranslationUnit ( Own< Program >  prog, SymbolTable  sym, ErrorReport &  e, DebugReport &  d  )

inline

Definition at line 57 of file TranslationUnit.h.

                                  {
            // analysis does not exist yet, create instance and run it.
            auto analysis = mk<Analysis>(Analysis::name);

~TranslationUnit()

virtual souffle::ram::TranslationUnit::~TranslationUnit ( )

virtualdefault

Member Function Documentation

getAliveAnalyses()

std::set<const analysis::Analysis*> souffle::ram::TranslationUnit::getAliveAnalyses ( ) const

inline

Get all alive analyses.

Definition at line 93 of file TranslationUnit.h.

                                {
        return *program;
    }
 
    /** @brief Obtain symbol table  */

References program.

getAnalysis()

template<class Analysis >

Analysis* souffle::ram::TranslationUnit::getAnalysis ( ) const

inline

Get an analysis.

Definition at line 66 of file TranslationUnit.h.

                                                   {
                    debugReport.addSection(
                            analysis->getName(), "RAM Analysis " + analysis->getName(), ramAnalysisStr.str());
                }
            }
            // check it hasn't been created by someone else, and insert if not
            it = analyses.find(name);
            if (it == analyses.end()) {
                analyses[name] = std::move(analysis);
            }
        }
        return dynamic_cast<Analysis*>(analyses[name].get());
    }
 
    /** @brief Get all alive analyses */
    std::set<const analysis::Analysis*> getAliveAnalyses() const {
        std::set<const analysis::Analysis*> result;
        for (auto const& a : analyses) {
            result.insert(a.second.get());
        }
        return result;
    }
 
    /** @brief Invalidate all alive analyses of the translation unit */
    void invalidateAnalyses() {

References souffle::DebugReport::addSection(), and debugReport.

Referenced by souffle::ram::transform::ReportIndexTransformer::getName().

Here is the call graph for this function:

getDebugReport()

DebugReport& souffle::ram::TranslationUnit::getDebugReport ( )

inline

Obtain debug report.

Definition at line 122 of file TranslationUnit.h.

getErrorReport()

ErrorReport& souffle::ram::TranslationUnit::getErrorReport ( )

inline

Obtain error report.

Definition at line 117 of file TranslationUnit.h.

getProgram()

Program& souffle::ram::TranslationUnit::getProgram ( ) const

inline

Get the RAM Program of the translation unit

Definition at line 107 of file TranslationUnit.h.

                                  {

Referenced by souffle::ram::analysis::RelationAnalysis::lookup().

getSymbolTable()

souffle::SymbolTable& souffle::ram::TranslationUnit::getSymbolTable ( )

inline

Obtain symbol table

Definition at line 112 of file TranslationUnit.h.

         :
    /* Cached analyses */

invalidateAnalyses()

void souffle::ram::TranslationUnit::invalidateAnalyses ( )

inline

Invalidate all alive analyses of the translation unit.

Definition at line 102 of file TranslationUnit.h.

                                  {

Field Documentation

analyses

std::map<std::string, Own<analysis::Analysis> > souffle::ram::TranslationUnit::analyses

mutableprotected

Definition at line 128 of file TranslationUnit.h.

debugReport

DebugReport& souffle::ram::TranslationUnit::debugReport

protected

Definition at line 140 of file TranslationUnit.h.

Referenced by getAnalysis().

errorReport

ErrorReport& souffle::ram::TranslationUnit::errorReport

protected

Definition at line 137 of file TranslationUnit.h.

program

Own<Program> souffle::ram::TranslationUnit::program

protected

Definition at line 131 of file TranslationUnit.h.

Referenced by getAliveAnalyses().

symbolTable

souffle::SymbolTable souffle::ram::TranslationUnit::symbolTable

protected

Definition at line 134 of file TranslationUnit.h.

---

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

• ram/TranslationUnit.h