souffle::profile::Table Class Reference

#include <Table.h>

Collaboration diagram for souffle::profile::Table:

Public Member Functions
void	addRow (std::shared_ptr< Row > row)
std::vector< std::shared_ptr< Row > >	getRows ()
void	sort (int col_num)
	Table ()

Data Fields
std::vector< std::shared_ptr< Row > >	rows

Detailed Description

Definition at line 24 of file Table.h.

Constructor & Destructor Documentation

Table()

souffle::profile::Table::Table ( )

inline

Definition at line 28 of file Table.h.

: rows() {}

Member Function Documentation

addRow()

void souffle::profile::Table::addRow ( std::shared_ptr< Row >  row )

inline

Definition at line 30 of file Table.h.

                                        {
        rows.push_back(row);
    }

References rows.

Referenced by souffle::profile::OutputProcessor::getAtomTable(), souffle::profile::OutputProcessor::getRelTable(), souffle::profile::OutputProcessor::getRulTable(), souffle::profile::OutputProcessor::getSubrulTable(), souffle::profile::OutputProcessor::getVersionAtoms(), and souffle::profile::OutputProcessor::getVersions().

getRows()

std::vector<std::shared_ptr<Row> > souffle::profile::Table::getRows ( )

inline

Definition at line 34 of file Table.h.

                                                   {
        return rows;
    }

References rows.

Referenced by souffle::profile::Tools::formatTable(), souffle::profile::Tui::genJsonRelations(), souffle::genJsonRules(), souffle::genJsonUsage(), rel(), rul(), and top().

sort()

void souffle::profile::Table::sort ( int  col_num )

inline

Definition at line 38 of file Table.h.

                           {
        switch (col_num) {
            case 1: std::sort(rows.begin(), rows.end(), DataComparator::NR_T); break;
            case 2: std::sort(rows.begin(), rows.end(), DataComparator::R_T); break;
            case 3: std::sort(rows.begin(), rows.end(), DataComparator::C_T); break;
            case 4: std::sort(rows.begin(), rows.end(), DataComparator::TUP); break;
            case 5: std::sort(rows.begin(), rows.end(), DataComparator::ID); break;
            case 6: std::sort(rows.begin(), rows.end(), DataComparator::NAME); break;
            case 0:
            default:  // if the col_num isn't defined use TIME
                std::sort(rows.begin(), rows.end(), DataComparator::TIME);
                break;
        }
    }

References souffle::profile::DataComparator::C_T(), souffle::profile::DataComparator::ID(), souffle::profile::DataComparator::NAME(), souffle::profile::DataComparator::NR_T(), souffle::profile::DataComparator::R_T(), rows, souffle::profile::DataComparator::TIME(), and souffle::profile::DataComparator::TUP().

Referenced by id(), rel(), relRul(), rul(), and verRul().

Here is the call graph for this function:

Field Documentation

rows

std::vector<std::shared_ptr<Row> > souffle::profile::Table::rows

Definition at line 26 of file Table.h.

Referenced by addRow(), genJson(), getRows(), and sort().

---

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

• include/souffle/profile/Table.h