souffle::ast::analysis::IOTypeAnalysis Class Reference

#include <IOType.h>

Inheritance diagram for souffle::ast::analysis::IOTypeAnalysis:

Collaboration diagram for souffle::ast::analysis::IOTypeAnalysis:

Public Member Functions
std::size_t	getLimitSize (const Relation *relation) const
	IOTypeAnalysis ()
bool	isInput (const Relation *relation) const
bool	isIO (const Relation *relation) const
bool	isLimitSize (const Relation *relation) const
bool	isOutput (const Relation *relation) const
bool	isPrintSize (const Relation *relation) const
void	print (std::ostream &os) const override
	print the analysis result in HTML format More...
void	run (const TranslationUnit &translationUnit) override
	run analysis for a Ast translation unit 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 = "IO-type-analysis"

Private Attributes
std::set< const Relation * >	inputRelations
std::map< const Relation *, std::size_t >	limitSize
std::set< const Relation * >	limitSizeRelations
std::set< const Relation * >	outputRelations
std::set< const Relation * >	printSizeRelations

Additional Inherited Members
Protected Attributes inherited from souffle::ast::analysis::Analysis
const std::string	identifier

Detailed Description

Definition at line 39 of file IOType.h.

Constructor & Destructor Documentation

IOTypeAnalysis()

souffle::ast::analysis::IOTypeAnalysis::IOTypeAnalysis ( )

inline

Definition at line 43 of file IOType.h.

{

References inputRelations, and relation.

Member Function Documentation

getLimitSize()

std::size_t souffle::ast::analysis::IOTypeAnalysis::getLimitSize ( const Relation *  relation ) const

inline

Definition at line 65 of file IOType.h.

                                              {
        return isInput(relation) || isOutput(relation) || isPrintSize(relation);
    }
 
private:

isInput()

bool souffle::ast::analysis::IOTypeAnalysis::isInput ( const Relation *  relation ) const

inline

Definition at line 49 of file IOType.h.

                                                     {

isIO()

bool souffle::ast::analysis::IOTypeAnalysis::isIO ( const Relation *  relation ) const

inline

Definition at line 73 of file IOType.h.

isLimitSize()

bool souffle::ast::analysis::IOTypeAnalysis::isLimitSize ( const Relation *  relation ) const

inline

Definition at line 61 of file IOType.h.

                                     {
            return (*iter).second;
        } else

isOutput()

bool souffle::ast::analysis::IOTypeAnalysis::isOutput ( const Relation *  relation ) const

inline

Definition at line 53 of file IOType.h.

                                                     {

Referenced by souffle::ast::analysis::SCCGraphAnalysis::getInternalRelations().

isPrintSize()

bool souffle::ast::analysis::IOTypeAnalysis::isPrintSize ( const Relation *  relation ) const

inline

Definition at line 57 of file IOType.h.

                                                           {

print()

void souffle::ast::analysis::IOTypeAnalysis::print ( std::ostream &  ) const

overridevirtual

print the analysis result in HTML format

Reimplemented from souffle::ast::analysis::Analysis.

Definition at line 61 of file IOType.cpp.

run()

void souffle::ast::analysis::IOTypeAnalysis::run ( const TranslationUnit &  )

overridevirtual

run analysis for a Ast translation unit

Implements souffle::ast::analysis::Analysis.

Definition at line 38 of file IOType.cpp.

                                     {
            case ast::DirectiveType::input: inputRelations.insert(relation); break;
            case ast::DirectiveType::output: outputRelations.insert(relation); break;
            case ast::DirectiveType::printsize:
                printSizeRelations.insert(relation);
                outputRelations.insert(relation);
                break;
            case ast::DirectiveType::limitsize:
                limitSizeRelations.insert(relation);
                assert(directive.hasParameter("n") && "limitsize has no n directive");
                limitSize[relation] = stoi(directive.getParameter("n"));
                break;
        }
    });
}
 
void IOTypeAnalysis::print(std::ostream& os) const {
    auto show = [](std::ostream& os, const Relation* r) { os << r->getQualifiedName(); };
    os << "input relations: {" << join(inputRelations, ", ", show) << "}\n";
    os << "output relations: {" << join(outputRelations, ", ", show) << "}\n";
    os << "printsize relations: {" << join(printSizeRelations, ", ", show) << "}\n";

Field Documentation

inputRelations

std::set<const Relation*> souffle::ast::analysis::IOTypeAnalysis::inputRelations

private

Definition at line 78 of file IOType.h.

Referenced by IOTypeAnalysis().

limitSize

std::map<const Relation*, std::size_t> souffle::ast::analysis::IOTypeAnalysis::limitSize

private

Definition at line 82 of file IOType.h.

limitSizeRelations

std::set<const Relation*> souffle::ast::analysis::IOTypeAnalysis::limitSizeRelations

private

Definition at line 81 of file IOType.h.

name

constexpr const char* souffle::ast::analysis::IOTypeAnalysis::name = "IO-type-analysis"

staticconstexpr

Definition at line 41 of file IOType.h.

outputRelations

std::set<const Relation*> souffle::ast::analysis::IOTypeAnalysis::outputRelations

private

Definition at line 79 of file IOType.h.

printSizeRelations

std::set<const Relation*> souffle::ast::analysis::IOTypeAnalysis::printSizeRelations

private

Definition at line 80 of file IOType.h.

---

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

• ast/analysis/IOType.h
• ast/analysis/IOType.cpp