nogood_dialog.cpp

/*  Permission is hereby granted, free of charge, to any person obtaining
 *  a copy of this software and associated documentation files (the
 *  "Software"), to deal in the Software without restriction, including
 *  without limitation the rights to use, copy, modify, merge, publish,
 *  distribute, sublicense, and/or sell copies of the Software, and to
 *  permit persons to whom the Software is furnished to do so, subject to
 *  the following conditions:
 *
 *  The above copyright notice and this permission notice shall be
 *  included in all copies or substantial portions of the Software.
 *
 *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
 *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
 *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
 *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 *
 */

#include "nogood_dialog.hh"
#include "treecanvas.hh"
#include "data.hh"
#include "execution.hh"
#include <QHBoxLayout>
#include <QStandardItemModel>

const int NogoodDialog::DEFAULT_WIDTH = 600;
const int NogoodDialog::DEFAULT_HEIGHT = 400;

NogoodDialog::NogoodDialog(
    QWidget* parent, TreeCanvas& tc, const std::vector<int>& selected_nodes)
  : QDialog(parent), _tc(tc) {
  enum NCols {SID_COL=0, NOGOOD_COL};
  resize(DEFAULT_WIDTH, DEFAULT_HEIGHT);

  _model = new QStandardItemModel(0, 2, this);
  QStringList tableHeaders {"node id", "clause"};
  _model->setHorizontalHeaderLabels(tableHeaders);

  populateTable(selected_nodes);

  QVector<NogoodProxyModel::Sorter> sorters {
      NogoodProxyModel::SORTER_SID, NogoodProxyModel::SORTER_NOGOOD};
  _nogoodTable = new NogoodTableView(this, _model, sorters,
                                     _tc.getExecution(),
                                     SID_COL, NOGOOD_COL);
  _nogoodTable->sortByColumn(SID_COL, Qt::SortOrder::AscendingOrder);
  _nogoodTable->horizontalHeader()->setStretchLastSection(true);

  connect(_nogoodTable, SIGNAL(doubleClicked(const QModelIndex&)),
          this,         SLOT(selectNode(const QModelIndex&)));

  auto layout = new QVBoxLayout(this);
  layout->addWidget(_nogoodTable);

  _nogoodTable->addStandardButtons(this, layout, &tc, tc.getExecution());
}

NogoodDialog::~NogoodDialog() {}

void NogoodDialog::populateTable(const std::vector<int>& selected_nodes) {
  int row = 0;
  for (auto it = selected_nodes.begin(); it != selected_nodes.end(); it++) {
    int gid = *it;
    /// TODO(maxim): find an easier way to get a nogood from gid?
    NodeUID uid = _tc.getExecution().getData().gid2uid(gid);
    const std::string& clause = _tc.getExecution().getNogoodByUID(uid, true, true);
    if(!clause.empty()) {
      _model->setItem(row, 0, new QStandardItem(QString::fromStdString(to_string(uid))));
      _model->setItem(row, 1, new QStandardItem(QString::fromStdString(clause)));
      row++;
    }
  }
}

void NogoodDialog::selectNode(const QModelIndex& index) {
  // TODO(maxim): make UID available in the table somehow; disabled for now
  qDebug() << "TODO: UID isn't available in the table";

  // int64_t full_sid = index.sibling(index.row(), 0).data().toLongLong();
  // int32_t gid = _tc.getExecution().getGidByUID(full_sid);
  // _tc.navigateToNodeById(static_cast<int>(gid));
}