artiq/artiq/gui/explorer.py

303 lines
10 KiB
Python
Raw Normal View History

2015-05-24 20:24:07 +08:00
import asyncio
2015-05-23 01:25:33 +08:00
from quamash import QtGui, QtCore
from pyqtgraph import dockarea
2015-05-23 01:25:33 +08:00
from pyqtgraph import LayoutWidget
2015-05-24 20:24:07 +08:00
from artiq.protocols.sync_struct import Subscriber
2015-07-18 03:28:46 +08:00
from artiq.protocols import pyon
2015-07-25 00:32:18 +08:00
from artiq.gui.tools import DictSyncModel, force_spinbox_value
2015-07-21 23:23:32 +08:00
from artiq.gui.scan import ScanController
2015-05-24 20:24:07 +08:00
class _ExplistModel(DictSyncModel):
def __init__(self, explorer, parent, init):
self.explorer = explorer
2015-05-24 20:24:07 +08:00
DictSyncModel.__init__(self,
["Experiment"],
parent, init)
def sort_key(self, k, v):
return k
def convert(self, k, v, column):
return k
def __setitem__(self, k, v):
DictSyncModel.__setitem__(self, k, v)
if k == self.explorer.selected_key:
self.explorer.update_selection(k, k)
2015-07-18 03:28:46 +08:00
class _FreeValueEntry(QtGui.QLineEdit):
def __init__(self, procdesc):
QtGui.QLineEdit.__init__(self)
if "default" in procdesc:
2015-08-05 13:35:28 +08:00
self.set_argument_value(procdesc["default"])
2015-07-18 03:28:46 +08:00
def get_argument_value(self):
return pyon.decode(self.text())
2015-08-05 13:35:28 +08:00
def set_argument_value(self, value):
self.setText(pyon.encode(value))
2015-07-18 03:28:46 +08:00
2015-07-18 22:25:08 +08:00
class _BooleanEntry(QtGui.QCheckBox):
def __init__(self, procdesc):
QtGui.QCheckBox.__init__(self)
if "default" in procdesc:
2015-08-05 13:35:28 +08:00
self.set_argument_value(procdesc["default"])
2015-07-18 22:25:08 +08:00
def get_argument_value(self):
return self.isChecked()
2015-08-05 13:35:28 +08:00
def set_argument_value(self, value):
self.setChecked(value)
2015-07-18 22:25:08 +08:00
class _EnumerationEntry(QtGui.QComboBox):
def __init__(self, procdesc):
QtGui.QComboBox.__init__(self)
self.choices = procdesc["choices"]
self.addItems(self.choices)
if "default" in procdesc:
2015-08-05 13:35:28 +08:00
self.set_argument_value(procdesc["default"])
2015-07-18 22:25:08 +08:00
def get_argument_value(self):
return self.choices[self.currentIndex()]
2015-08-05 13:35:28 +08:00
def set_argument_value(self, value):
idx = self.choices.index(value)
self.setCurrentIndex(idx)
2015-07-18 22:25:08 +08:00
class _NumberEntry(QtGui.QDoubleSpinBox):
def __init__(self, procdesc):
QtGui.QDoubleSpinBox.__init__(self)
if procdesc["step"] is not None:
self.setSingleStep(procdesc["step"])
if procdesc["min"] is not None:
self.setMinimum(procdesc["min"])
if procdesc["max"] is not None:
2015-07-29 23:28:34 +08:00
self.setMaximum(procdesc["max"])
2015-07-18 22:25:08 +08:00
if procdesc["unit"]:
self.setSuffix(" " + procdesc["unit"])
if "default" in procdesc:
2015-08-05 13:35:28 +08:00
self.set_argument_value(procdesc["default"])
2015-07-18 22:25:08 +08:00
def get_argument_value(self):
return self.value()
2015-08-05 13:35:28 +08:00
def set_argument_value(self, value):
force_spinbox_value(self, value)
2015-07-18 22:25:08 +08:00
class _StringEntry(QtGui.QLineEdit):
def __init__(self, procdesc):
QtGui.QLineEdit.__init__(self)
if "default" in procdesc:
2015-08-05 13:35:28 +08:00
self.set_argument_value(procdesc["default"])
2015-07-18 22:25:08 +08:00
def get_argument_value(self):
return self.text()
2015-08-05 13:35:28 +08:00
def set_argument_value(self, value):
self.setText(value)
2015-07-18 22:25:08 +08:00
2015-07-18 03:28:46 +08:00
_procty_to_entry = {
2015-07-18 22:25:08 +08:00
"FreeValue": _FreeValueEntry,
"BooleanValue": _BooleanEntry,
"EnumerationValue": _EnumerationEntry,
"NumberValue": _NumberEntry,
2015-07-21 23:23:32 +08:00
"StringValue": _StringEntry,
"Scannable": ScanController
2015-07-18 03:28:46 +08:00
}
class _ArgumentEditor(QtGui.QTreeWidget):
def __init__(self, dialog_parent):
QtGui.QTreeWidget.__init__(self)
self.setColumnCount(2)
self.header().setResizeMode(
QtGui.QHeaderView.ResizeToContents)
self.header().setVisible(False)
self.setSelectionMode(QtGui.QAbstractItemView.NoSelection)
2015-07-18 03:28:46 +08:00
self.dialog_parent = dialog_parent
self.set_arguments([])
def set_arguments(self, arguments):
self.clear()
2015-07-18 03:28:46 +08:00
if not arguments:
self.addTopLevelItem(QtGui.QTreeWidgetItem(["No arguments", ""]))
2015-07-18 03:28:46 +08:00
self._args_to_entries = dict()
for n, (name, procdesc) in enumerate(arguments):
entry = _procty_to_entry[procdesc["ty"]](procdesc)
self._args_to_entries[name] = entry
widget_item = QtGui.QTreeWidgetItem([name, ""])
self.addTopLevelItem(widget_item)
self.setItemWidget(widget_item, 1, entry)
2015-08-05 13:35:28 +08:00
def get_argument_values(self, show_error_message):
2015-07-18 03:28:46 +08:00
r = dict()
for arg, entry in self._args_to_entries.items():
try:
r[arg] = entry.get_argument_value()
except Exception as e:
2015-08-05 13:35:28 +08:00
if show_error_message:
msgbox = QtGui.QMessageBox(self.dialog_parent)
msgbox.setWindowTitle("Error")
msgbox.setText("Failed to obtain value for argument '{}':\n{}"
.format(arg, str(e)))
2015-08-05 13:35:28 +08:00
msgbox.setStandardButtons(QtGui.QMessageBox.Ok)
msgbox.show()
2015-07-18 03:28:46 +08:00
return None
return r
2015-08-05 13:35:28 +08:00
def set_argument_values(self, arguments, ignore_errors):
for arg, value in arguments.items():
try:
entry = self._args_to_entries[arg]
entry.set_argument_value(value)
except:
if not ignore_errors:
raise
2015-07-18 03:28:46 +08:00
class ExplorerDock(dockarea.Dock):
2015-07-18 03:28:46 +08:00
def __init__(self, dialog_parent, status_bar, schedule_ctl):
dockarea.Dock.__init__(self, "Explorer", size=(1500, 500))
2015-05-23 01:25:33 +08:00
2015-07-18 03:28:46 +08:00
self.dialog_parent = dialog_parent
2015-05-24 20:24:07 +08:00
self.status_bar = status_bar
self.schedule_ctl = schedule_ctl
2015-07-18 03:28:46 +08:00
self.splitter = QtGui.QSplitter(QtCore.Qt.Horizontal)
self.addWidget(self.splitter)
2015-05-23 01:25:33 +08:00
grid = LayoutWidget()
2015-07-18 03:28:46 +08:00
self.splitter.addWidget(grid)
2015-05-23 01:25:33 +08:00
2015-05-24 20:24:07 +08:00
self.el = QtGui.QListView()
self.el.selectionChanged = self._selection_changed
self.selected_key = None
2015-05-24 20:24:07 +08:00
grid.addWidget(self.el, 0, 0, colspan=4)
2015-05-23 01:25:33 +08:00
2015-05-24 20:24:07 +08:00
self.datetime = QtGui.QDateTimeEdit()
self.datetime.setDisplayFormat("MMM d yyyy hh:mm:ss")
self.datetime.setCalendarPopup(True)
self.datetime.setDate(QtCore.QDate.currentDate())
self.datetime.dateTimeChanged.connect(self.enable_duedate)
2015-05-28 17:20:58 +08:00
self.datetime_en = QtGui.QCheckBox("Due date:")
2015-05-24 20:24:07 +08:00
grid.addWidget(self.datetime_en, 1, 0)
2015-05-28 17:20:58 +08:00
grid.addWidget(self.datetime, 1, 1)
self.priority = QtGui.QSpinBox()
self.priority.setRange(-99, 99)
grid.addWidget(QtGui.QLabel("Priority:"), 1, 2)
2015-05-28 17:20:58 +08:00
grid.addWidget(self.priority, 1, 3)
2015-05-23 01:25:33 +08:00
2015-05-24 20:24:07 +08:00
self.pipeline = QtGui.QLineEdit()
2015-08-05 13:35:28 +08:00
self.pipeline.setText("main")
grid.addWidget(QtGui.QLabel("Pipeline:"), 2, 0)
2015-05-24 20:24:07 +08:00
grid.addWidget(self.pipeline, 2, 1)
2015-05-23 01:25:33 +08:00
2015-05-28 17:20:58 +08:00
self.flush = QtGui.QCheckBox("Flush")
grid.addWidget(self.flush, 2, 2, colspan=2)
2015-05-23 01:25:33 +08:00
submit = QtGui.QPushButton("Submit")
grid.addWidget(submit, 3, 0, colspan=4)
2015-05-24 20:24:07 +08:00
submit.clicked.connect(self.submit_clicked)
2015-05-23 01:25:33 +08:00
self.argeditor = _ArgumentEditor(self.dialog_parent)
self.splitter.addWidget(self.argeditor)
2015-07-18 03:28:46 +08:00
self.splitter.setSizes([grid.minimumSizeHint().width(), 1000])
2015-08-05 13:35:28 +08:00
self.state = dict()
2015-07-18 03:28:46 +08:00
def update_selection(self, selected, deselected):
2015-08-05 13:35:28 +08:00
if deselected:
self.state[deselected] = self.argeditor.get_argument_values(False)
2015-08-05 13:35:28 +08:00
2015-07-18 03:28:46 +08:00
if selected:
expinfo = self.explist_model.backing_store[selected]
self.argeditor.set_arguments(expinfo["arguments"])
if selected in self.state:
arguments = self.state[selected]
2015-08-05 13:35:28 +08:00
if arguments is not None:
self.argeditor.set_argument_values(arguments, True)
self.splitter.insertWidget(1, self.argeditor)
self.selected_key = selected
def _sel_to_key(self, selection):
selection = selection.indexes()
if selection:
row = selection[0].row()
return self.explist_model.row_to_key[row]
else:
return None
def _selection_changed(self, selected, deselected):
self.update_selection(self._sel_to_key(selected),
self._sel_to_key(deselected))
2015-05-24 20:24:07 +08:00
2015-08-05 13:35:28 +08:00
def save_state(self):
idx = self.el.selectedIndexes()
if idx:
row = idx[0].row()
key = self.explist_model.row_to_key[row]
self.state[key] = self.argeditor.get_argument_values(False)
2015-08-05 13:35:28 +08:00
return self.state
def restore_state(self, state):
self.state = state
def enable_duedate(self):
self.datetime_en.setChecked(True)
2015-05-24 20:24:07 +08:00
@asyncio.coroutine
def sub_connect(self, host, port):
self.explist_subscriber = Subscriber("explist",
self.init_explist_model)
yield from self.explist_subscriber.connect(host, port)
@asyncio.coroutine
def sub_close(self):
yield from self.explist_subscriber.close()
def init_explist_model(self, init):
self.explist_model = _ExplistModel(self, self.el, init)
2015-05-24 20:24:07 +08:00
self.el.setModel(self.explist_model)
return self.explist_model
@asyncio.coroutine
2015-07-15 17:08:12 +08:00
def submit(self, pipeline_name, file, class_name, arguments,
2015-05-28 17:20:58 +08:00
priority, due_date, flush):
2015-05-24 20:24:07 +08:00
expid = {
2015-08-07 15:51:56 +08:00
"repo_rev": None,
2015-05-24 20:24:07 +08:00
"file": file,
2015-07-15 17:08:12 +08:00
"class_name": class_name,
2015-05-24 20:24:07 +08:00
"arguments": arguments,
}
rid = yield from self.schedule_ctl.submit(pipeline_name, expid,
2015-05-28 17:20:58 +08:00
priority, due_date, flush)
2015-05-24 20:24:07 +08:00
self.status_bar.showMessage("Submitted RID {}".format(rid))
def submit_clicked(self):
if self.selected_key is not None:
expinfo = self.explist_model.backing_store[self.selected_key]
2015-05-24 20:24:07 +08:00
if self.datetime_en.isChecked():
due_date = self.datetime.dateTime().toMSecsSinceEpoch()/1000
else:
due_date = None
arguments = self.argeditor.get_argument_values(True)
2015-07-18 03:28:46 +08:00
if arguments is None:
return
2015-05-24 20:24:07 +08:00
asyncio.async(self.submit(self.pipeline.text(),
2015-07-15 17:08:12 +08:00
expinfo["file"], expinfo["class_name"],
2015-07-18 03:28:46 +08:00
arguments, self.priority.value(),
due_date, self.flush.isChecked()))