Rename C++ source files to have .cc extension

1 files changed, 360 insertions, 0 deletions

diff --git a/src/gui/conversation.cc b/src/gui/conversation.cc
new file mode 100644
index 00000000..0c5ec778
--- /dev/null
+++ b/src/gui/conversation.cc
@@ -0,0 +1,360 @@
+// Copyright (C) 2011, Gabriel Dos Reis.
+// All rights reserved.
+//
+// Redistribution and use in source and binary forms, with or without
+// modification, are permitted provided that the following conditions are
+// met:
+//
+//     - Redistributions of source code must retain the above copyright
+//       notice, this list of conditions and the following disclaimer.
+//
+//     - Redistributions in binary form must reproduce the above copyright
+//       notice, this list of conditions and the following disclaimer in
+//       the documentation and/or other materials provided with the
+//       distribution.
+//
+//     - Neither the name of OpenAxiom. nor the names of its contributors
+//       may be used to endorse or promote products derived from this
+//       software without specific prior written permission.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
+// IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
+// TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
+// PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
+// OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+#include <cmath>
+#include <string>
+#include <sstream>
+#include <iostream>
+
+#include <QScrollBar>
+#include "conversation.h"
+#include "debate.h"
+
+namespace OpenAxiom {
+   // Measurement in pixel of the em unit in the given font `f'.
+   static QSize em_metrics(const QWidget* w) {
+      const QFontMetrics fm = w->fontMetrics();
+      return QSize(fm.width(QLatin1Char('m')), fm.height());
+   }
+
+   // --------------------
+   // -- OutputTextArea --
+   // --------------------
+   OutputTextArea::OutputTextArea(QWidget* p)
+         : Base(p) {
+      setFont(p->font());
+      setSizePolicy(QSizePolicy::Preferred, QSizePolicy::MinimumExpanding);
+      setLineWidth(1);
+   }
+
+   // Concatenate two paragraphs.
+   static QString
+   accumulate_paragaphs(const QString& before, const QString& after) {
+      if (before.isNull() or before.isEmpty())
+         return after;
+      return before + "\n" + after;
+   }
+   
+   void OutputTextArea::add_paragraph(const QString& s) {
+      setText(accumulate_paragaphs(text(), s));
+      adjustSize();
+      const int w = parentWidget()->width() - 2 * frameWidth();
+      if (w > width())
+         resize(w, height());
+      show();
+      updateGeometry();
+   }
+
+   void OutputTextArea::add_text(const QString& s) {
+      setText(text() + s);
+      adjustSize();
+      const int w = parentWidget()->width();
+      if (w < width())
+         resize(w, height());
+      show();
+      updateGeometry();
+   }
+
+   // --------------
+   // -- Question --
+   // --------------
+   Question::Question(Exchange& e) : Base(&e), parent(&e) {
+      setBackgroundRole(QPalette::AlternateBase);
+   }
+
+   // ------------
+   // -- Answer --
+   // ------------
+   Answer::Answer(Exchange& e) : Base(&e), parent(&e) {
+      setFrameStyle(StyledPanel | Sunken);
+   }
+
+   // --------------
+   // -- Exchange --
+   // --------------
+   // Amount of pixel spacing between the query and reply areas.
+   const int spacing = 0;
+
+   // Return a monospace font
+   static QFont monospace_font() {
+      QFont f("Courier");
+      f.setStyleHint(QFont::TypeWriter);
+      return f;
+   }
+
+   // Return a resonable margin for this frame.
+   static int margin(const QFrame* f) {
+      return 2 + f->frameWidth();
+   }
+
+   // The layout within an exchange is as follows:
+   //   -- input area (an editor) with its own decoation accounted for.
+   //   -- an optional spacing
+   //   -- an output area with its own decoration accounted for.
+   QSize Exchange::sizeHint() const {
+      const int m = margin(this);
+      QSize sz = question()->size() + QSize(2 * m, 2 * m);
+      if (not answer()->isHidden())
+         sz.rheight() += answer()->height() + spacing;
+      return sz;
+   }
+
+   // Dress the query area with initial properties.
+   static void
+   prepare_query_widget(Conversation& conv, Exchange* e) {
+      Question* q = e->question();
+      q->setFrame(false);
+      q->setFont(conv.font());
+      const int m = margin(e);
+      q->setGeometry(m, m, conv.width() - 2 * m, q->height());
+   }
+
+   // Dress the reply aread with initial properties.
+   // Place the reply widget right below the frame containing
+   // the query widget; make both of the same width, of course.
+   static void
+   prepare_reply_widget(Exchange* e) {
+      Answer* a = e->answer();
+      Question* q = e->question();
+      const QPoint pt = e->question()->geometry().bottomLeft();
+      a->setGeometry(pt.x(), pt.y() + spacing, q->width(), q->height());
+      a->setBackgroundRole(q->backgroundRole());
+      a->hide();                // nothing to show yet
+   }
+
+   static void
+   finish_exchange_make_up(Conversation& conv, Exchange* e) {
+      e->setAutoFillBackground(true);
+      //e->setBackgroundRole(e->question()->backgroundRole());
+      e->move(conv.bottom_left());
+   }
+   
+   Exchange::Exchange(Conversation& conv, int n)
+         : QFrame(&conv), parent(&conv), no(n),
+           query(*this), reply(*this) {
+      setLineWidth(1);
+      setFont(conv.font());
+      prepare_query_widget(conv, this);
+      prepare_reply_widget(this);
+      finish_exchange_make_up(conv, this);
+      connect(question(), SIGNAL(returnPressed()),
+              this, SLOT(reply_to_query()));
+   }
+
+   static void ensure_visibility(Debate* debate, Exchange* e) {
+      const int y = e->y() + e->height();
+      QScrollBar* vbar = debate->verticalScrollBar();
+      const int value = vbar->value();
+      int new_value = y - vbar->pageStep();
+      if (y < value)
+         vbar->setValue(std::max(new_value, 0));
+      else if (new_value > value)
+         vbar->setValue(std::min(new_value, vbar->maximum()));
+      e->question()->setFocus(Qt::OtherFocusReason);
+   }
+   
+   void
+   Exchange::reply_to_query() {
+      QString input = question()->text().trimmed();
+      if (input.isEmpty())
+         return;
+      topic()->oracle()->write(input.toAscii());
+      topic()->oracle()->write("\n");
+   }
+
+   void Exchange::resizeEvent(QResizeEvent* e) {
+      QFrame::resizeEvent(e);
+      const int w = width() - 2 * margin(this);
+      if (w > question()->width()) {
+         question()->resize(w, question()->height());
+         answer()->resize(w, answer()->height());
+      }
+   }
+
+   // ------------
+   // -- Banner --
+   // ------------
+   Banner::Banner(Conversation* conv) :  Base(conv) {
+      setFrameStyle(StyledPanel | Raised);
+      setBackgroundRole(QPalette::Base);
+   }
+
+   // ------------------
+   // -- Conversation --
+   // -------------------
+   
+   // Default number of characters per question line.
+   const int columns = 80;
+   const int lines = 25;
+
+   static QSize
+   minimum_preferred_size(const Conversation* conv) {
+      const QSize em = em_metrics(conv);
+      return QSize(columns * em.width(), lines * em.height());
+   }
+
+   // Set a minimum preferred widget size, so no layout manager
+   // messes with it.  Indicate we can make use of more space.
+   Conversation::Conversation(Debate& parent)
+         : group(parent), greatings(this), cur_ex(), cur_out(&greatings) {
+      setBackgroundRole(QPalette::Base);
+      setFont(monospace_font());
+      // setMinimumSize(minimum_preferred_size(this));
+      // setSizePolicy(QSizePolicy::MinimumExpanding,
+      //               QSizePolicy::MinimumExpanding);
+      oracle()->setProcessChannelMode(QProcess::MergedChannels);
+      connect(oracle(), SIGNAL(readyReadStandardOutput()),
+              this, SLOT(read_reply()));
+      // connect(oracle(), SIGNAL(readyReadStandardError()),
+      //         this, SLOT(read_reply()));
+      // connect(oracle(), SIGNAL(started()),
+      //         this, SLOT(read_reply()));
+   }
+
+   Conversation::~Conversation() {
+      for (int i = children.size() -1 ; i >= 0; --i)
+         delete children[i];
+      if (oracle()->state() == QProcess::Running)
+         oracle()->terminate();
+   }
+
+   QPoint Conversation::bottom_left() const {
+      if (length() == 0)
+         return greatings.geometry().bottomLeft();
+      return children.back()->geometry().bottomLeft();
+   }
+
+   static QSize
+   round_up_height(const QSize& sz, int height) {
+      if (height < 1)
+         height = 1;
+      const int n = (sz.height() + height) / height;
+      return QSize(sz.width(), n * height);
+   }
+   
+   QSize Conversation::sizeHint() const {
+      const int view_height = debate()->viewport()->height();
+      const int n = length();
+      if (n == 0)
+         return round_up_height(minimum_preferred_size(this), view_height);
+      QSize sz = greatings.size();
+      for (int i = 0; i < n; ++i)
+         sz.rheight() += children[i]->height();
+      return round_up_height(sz, view_height);
+   }
+
+   void Conversation::resizeEvent(QResizeEvent* e) {
+      Base::resizeEvent(e);
+      setMinimumSize(size());
+      const QSize sz = size();
+      if (e->oldSize() == sz)
+         return;
+      greatings.resize(sz.width(), greatings.height());
+      for (int i = 0; i < length(); ++i) {
+         Exchange* e = children[i];
+         e->resize(sz.width(), e->height());
+      }
+   }
+
+   void Conversation::paintEvent(QPaintEvent* e) {
+      QWidget::paintEvent(e);
+      if (length() == 0)
+         greatings.update();
+   }
+
+   Exchange*
+   Conversation::new_topic() {
+      Exchange* w = new Exchange(*this, length() + 1);
+      w->show();
+      children.push_back(w);
+      adjustSize();
+      updateGeometry();
+      cur_out = w->answer();
+      return cur_ex = w;
+   }
+
+   Exchange*
+   Conversation::next(Exchange* w) {
+      if (w == 0 or w->number() == length())
+         return new_topic();
+      return cur_ex = children[w->number()];
+   }
+
+   struct OracleOutput {
+      QString result;
+      QString prompt;
+   };
+
+   static bool
+   empty_string(const QString& s) {
+      return s.isNull() or s.isEmpty();
+   }
+   
+   static OracleOutput
+   read_output(QProcess& proc) {
+      OracleOutput output;
+      QStringList strs = QString::fromLocal8Bit(proc.readAll()).split('\n');
+      QStringList new_list;
+      QRegExp rx("\\(\\d+\\)\\s->");
+      while (not strs.isEmpty()) {
+         QString s = strs.takeFirst();
+         if (empty_string(s))
+            continue;
+         if (rx.indexIn(s) != -1) {
+            output.prompt = s;
+            break;
+         }
+         new_list.append(s);
+      }
+     output.result =new_list.join("\n");
+     return output;
+   }
+
+   void
+   Conversation::read_reply() {
+      OracleOutput output = read_output(proc);
+      if (empty_string(output.result))
+         return;
+      std::cerr << output.result.toStdString() << std::endl;
+      cur_out->add_paragraph(output.result);
+      if (length() == 0) {
+         if (not empty_string(output.prompt))
+            ensure_visibility(debate(), new_topic());
+      }
+      else {
+         exchange()->adjustSize();
+         exchange()->update();
+         exchange()->updateGeometry();
+         if (not empty_string(output.prompt))
+            ensure_visibility(debate(), next(exchange()));
+      }
+   }
+}