#include <ProgramRun.h>

Collaboration diagram for souffle::profile::ProgramRun:

Public Member Functions
std::string	formatNum (int precision, long number) const

std::vector< std::vector< std::string > >	formatTable (Table &table, int precision) const

std::string	formatTime (std::chrono::microseconds runtime) const

std::chrono::microseconds	getEndtime () const

const Relation *	getRelation (const std::string &name) const

const std::unordered_map< std::string, std::shared_ptr< Relation > > &	getRelationMap () const

std::set< std::shared_ptr< Relation > >	getRelationsAtTime (std::chrono::microseconds start, std::chrono::microseconds end) const

std::string	getRuntime () const

std::chrono::microseconds	getStarttime () const

std::chrono::microseconds	getTotalCopyTime () const

std::chrono::microseconds	getTotalLoadtime () const

size_t	getTotalRecursiveSize () const

std::chrono::microseconds	getTotalSavetime () const

size_t	getTotalSize () const

std::chrono::microseconds	getTotalTime () const

	ProgramRun ()

void	setEndtime (std::chrono::microseconds time)

void	setRelationMap (std::unordered_map< std::string, std::shared_ptr< Relation >> &relationMap)

void	setStarttime (std::chrono::microseconds time)

std::string	toString ()

Private Attributes
std::chrono::microseconds	endTime {0}

std::unordered_map< std::string, std::shared_ptr< Relation > >	relationMap

std::chrono::microseconds	startTime {0}

Detailed Description

Definition at line 31 of file ProgramRun.h.

Constructor & Destructor Documentation

◆ ProgramRun()

souffle::profile::ProgramRun::ProgramRun ( )

inline

Definition at line 38 of file ProgramRun.h.

38 : relationMap() {}

Member Function Documentation

◆ formatNum()

std::string souffle::profile::ProgramRun::formatNum	(	int	precision,
		long	number
	)		const

inline

Definition at line 150 of file ProgramRun.h.

                                                                  {
         return Tools::formatNum(precision, number);
     }

References souffle::profile::Tools::formatNum().

Here is the call graph for this function:

◆ formatTable()

std::vector<std::vector<std::string> > souffle::profile::ProgramRun::formatTable	(	Table &	table,
		int	precision
	)		const

inline

Definition at line 154 of file ProgramRun.h.

                                                                                           {
         return Tools::formatTable(table, precision);
     }

References souffle::profile::Tools::formatTable().

Here is the call graph for this function:

◆ formatTime()

std::string souffle::profile::ProgramRun::formatTime ( std::chrono::microseconds runtime ) const

inline

Definition at line 146 of file ProgramRun.h.

                                                                      {
         return Tools::formatTime(runtime);
     }

References souffle::profile::Tools::formatTime().

Referenced by getRuntime().

Here is the call graph for this function:

◆ getEndtime()

std::chrono::microseconds souffle::profile::ProgramRun::getEndtime ( ) const

inline

Definition at line 76 of file ProgramRun.h.

                                              {
         return endTime;
     }

References endTime.

◆ getRelation()

const Relation* souffle::profile::ProgramRun::getRelation ( const std::string & name ) const

inline

Definition at line 128 of file ProgramRun.h.

                                                              {
         if (relationMap.find(name) != relationMap.end()) {
             return &(*relationMap.at(name));
         }
         return nullptr;
     }

References relationMap.

◆ getRelationMap()

const std::unordered_map<std::string, std::shared_ptr<Relation> >& souffle::profile::ProgramRun::getRelationMap ( ) const

inline

Definition at line 61 of file ProgramRun.h.

                                                                                               {
         return relationMap;
     }

References relationMap.

◆ getRelationsAtTime()

std::set<std::shared_ptr<Relation> > souffle::profile::ProgramRun::getRelationsAtTime	(	std::chrono::microseconds	start,
		std::chrono::microseconds	end
	)		const

inline

Definition at line 135 of file ProgramRun.h.

                                                                           {
         std::set<std::shared_ptr<Relation>> result;
         for (auto& cur : relationMap) {
             if (cur.second->getStarttime() <= end && cur.second->getEndtime() >= start) {
                 result.insert(cur.second);
             }
         }
         return result;
     }

References relationMap.

◆ getRuntime()

std::string souffle::profile::ProgramRun::getRuntime ( ) const

inline

Definition at line 65 of file ProgramRun.h.

                                  {
         if (startTime == endTime) {
             return "--";
         }
         return formatTime(endTime - startTime);
     }

References endTime, formatTime(), and startTime.

Referenced by toString().

Here is the call graph for this function:

◆ getStarttime()

std::chrono::microseconds souffle::profile::ProgramRun::getStarttime ( ) const

inline

Definition at line 72 of file ProgramRun.h.

                                                {
         return startTime;
     }

References startTime.

◆ getTotalCopyTime()

std::chrono::microseconds souffle::profile::ProgramRun::getTotalCopyTime ( ) const

inline

Definition at line 112 of file ProgramRun.h.

                                                    {
         std::chrono::microseconds result{0};
         for (auto& item : relationMap) {
             result += item.second->getCopyTime();
         }
         return result;
     }

References relationMap.

◆ getTotalLoadtime()

std::chrono::microseconds souffle::profile::ProgramRun::getTotalLoadtime ( ) const

inline

Definition at line 80 of file ProgramRun.h.

                                                    {
         std::chrono::microseconds result{0};
         for (auto& item : relationMap) {
             result += item.second->getLoadtime();
         }
         return result;
     }

References relationMap.

◆ getTotalRecursiveSize()

size_t souffle::profile::ProgramRun::getTotalRecursiveSize ( ) const

inline

Definition at line 104 of file ProgramRun.h.

                                          {
         size_t result = 0;
         for (auto& item : relationMap) {
             result += item.second->getTotalRecursiveRuleSize();
         }
         return result;
     }

References relationMap.

◆ getTotalSavetime()

std::chrono::microseconds souffle::profile::ProgramRun::getTotalSavetime ( ) const

inline

Definition at line 88 of file ProgramRun.h.

                                                    {
         std::chrono::microseconds result{0};
         for (auto& item : relationMap) {
             result += item.second->getSavetime();
         }
         return result;
     }

References relationMap.

◆ getTotalSize()

size_t souffle::profile::ProgramRun::getTotalSize ( ) const

inline

Definition at line 96 of file ProgramRun.h.

                                 {
         size_t result = 0;
         for (auto& item : relationMap) {
             result += item.second->size();
         }
         return result;
     }

References relationMap.

◆ getTotalTime()

std::chrono::microseconds souffle::profile::ProgramRun::getTotalTime ( ) const

inline

Definition at line 120 of file ProgramRun.h.

                                                {
         std::chrono::microseconds result{0};
         for (auto& item : relationMap) {
             result += item.second->getRecTime();
         }
         return result;
     }

References relationMap.

◆ setEndtime()

void souffle::profile::ProgramRun::setEndtime ( std::chrono::microseconds time )

inline

Definition at line 44 of file ProgramRun.h.

                                                        {
         endTime = time;
     }

References endTime, and souffle::test::time().

Here is the call graph for this function:

◆ setRelationMap()

void souffle::profile::ProgramRun::setRelationMap ( std::unordered_map< std::string, std::shared_ptr< Relation >> & relationMap )

inline

Definition at line 48 of file ProgramRun.h.

                                                                                                   {
         this->relationMap = relationMap;
     }

References relationMap.

◆ setStarttime()

void souffle::profile::ProgramRun::setStarttime ( std::chrono::microseconds time )

inline

Definition at line 40 of file ProgramRun.h.

                                                          {
         startTime = time;
     }

References startTime, and souffle::test::time().

Here is the call graph for this function:

◆ toString()

std::string souffle::profile::ProgramRun::toString ( )

inline

Definition at line 52 of file ProgramRun.h.

                          {
         std::ostringstream output;
         output << "ProgramRun:" << getRuntime() << "\nRelations:\n";
         for (auto& r : relationMap) {
             output << r.second->toString() << "\n";
         }
         return output.str();
     }

References getRuntime(), and relationMap.

Here is the call graph for this function:

Field Documentation

◆ endTime

std::chrono::microseconds souffle::profile::ProgramRun::endTime {0}

private

Definition at line 35 of file ProgramRun.h.

Referenced by getEndtime(), getRuntime(), and setEndtime().

◆ relationMap

std::unordered_map<std::string, std::shared_ptr<Relation> > souffle::profile::ProgramRun::relationMap

private

Definition at line 33 of file ProgramRun.h.

Referenced by getRelation(), getRelationMap(), getRelationsAtTime(), getTotalCopyTime(), getTotalLoadtime(), getTotalRecursiveSize(), getTotalSavetime(), getTotalSize(), getTotalTime(), setRelationMap(), and toString().

◆ startTime

std::chrono::microseconds souffle::profile::ProgramRun::startTime {0}

private

Definition at line 34 of file ProgramRun.h.

Referenced by getRuntime(), getStarttime(), and setStarttime().

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

include/souffle/profile/ProgramRun.h

Public Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ ProgramRun()

Member Function Documentation

◆ formatNum()

◆ formatTable()

◆ formatTime()

◆ getEndtime()

◆ getRelation()

◆ getRelationMap()

◆ getRelationsAtTime()

◆ getRuntime()

◆ getStarttime()

◆ getTotalCopyTime()

◆ getTotalLoadtime()

◆ getTotalRecursiveSize()

◆ getTotalSavetime()

◆ getTotalSize()

◆ getTotalTime()

◆ setEndtime()

◆ setRelationMap()

◆ setStarttime()

◆ toString()

Field Documentation

◆ endTime

◆ relationMap

◆ startTime