1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
// Author(s): Rimco Boudewijns
// Copyright: see the accompanying file COPYING or copy at
// https://svn.win.tue.nl/trac/MCRL2/browser/trunk/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
#include "mcrl2/utilities/logwidget.h"
#include "ui_logwidget.h"
using namespace mcrl2::utilities;
using namespace mcrl2::utilities::qt;
void LogRelay::output(const log_level_t level, const std::string& hint, const time_t timestamp, const std::string& msg)
{
emit logMessage(QString::fromStdString(log_level_to_string(level)), QString::fromStdString(hint), QDateTime::fromTime_t(timestamp), QString::fromStdString(msg));
}
LogWidget::LogWidget(QWidget *parent)
: QWidget(parent),
m_ui(new Ui::LogWidget)
{
m_ui->setupUi(this);
connect(&m_relay, SIGNAL(logMessage(QString, QString, QDateTime, QString)), this, SLOT(writeMessage(QString, QString, QDateTime, QString)));
mcrl2_logger::register_output_policy(m_relay);
}
LogWidget::~LogWidget()
{
delete m_ui;
}
void LogWidget::writeMessage(QString level, QString hint, QDateTime timestamp, QString message)
{
message = message.trimmed();
if (!message.isEmpty())
{
if (!hint.isEmpty())
hint.append("::");
QString formattedMessage = QString("[%1 %2%3] %4").arg(timestamp.toString("hh:mm:ss")).arg(hint).arg(level).arg(message).trimmed();
switch (log_level_from_string(level.toStdString()))
{
case error:
m_ui->editOutput->setTextColor(Qt::red);
break;
case warning:
m_ui->editOutput->setTextColor(QColor("orange"));
break;
default:
m_ui->editOutput->setTextColor(Qt::black);
break;
}
m_ui->editOutput->append(formattedMessage);
emit logMessage(level, hint, timestamp, message, formattedMessage);
}
}
|
