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
|
// Author(s): Ruud Koolen
// 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 <QMutex>
#include <QMutexLocker>
#include "mcrl2/utilities/atermthread.h"
using namespace mcrl2::utilities::qt::detail;
AtermThread *aterm_thread = 0;
QMutex aterm_thread_mutex;
QThread *mcrl2::utilities::qt::get_aterm_thread()
{
QMutexLocker locker(&aterm_thread_mutex);
if (aterm_thread)
{
return aterm_thread;
}
aterm_thread = new AtermThread();
aterm_thread->start();
return aterm_thread;
}
|
