# -*- coding: utf-8 -*- # # AWL simulator - GUI utility functions # # Copyright 2012-2015 Michael Buesch # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 2 of the License, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License along # with this program; if not, write to the Free Software Foundation, Inc., # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. # from __future__ import division, absolute_import, print_function, unicode_literals from awlsim.common.compat import * from awlsim.common import * from awlsim.coreclient import * import awlsim.cython_helper import sys import traceback if isPyPy or isJython: # PySide does not work on PyPy or Jython, yet. printError("Running awlsim-gui on the PyPy or Jython interpreter is not supported.") printError("Please use CPython 2.7 or CPython 3.x") sys.exit(1) if awlsim.cython_helper.shouldUseCython(): print("*** Using accelerated CYTHON core " "(AWLSIM_CYTHON environment variable is set)") from awlsim.gui.qt_bindings import * AWLSIM_HOME_URL = "https://bues.ch/a/awlsim" # Convert an integer to a dual-string def intToDualString(value, bitWidth): string = [] for bitnr in range(bitWidth - 1, -1, -1): string.append('1' if ((value >> bitnr) & 1) else '0') if bitnr and bitnr % 4 == 0: string.append('_') return ''.join(string) # Get the default fixed font def getDefaultFixedFont(): font = QFont() font.setStyleHint(QFont.Courier) font.setFamily("Courier") font.setPointSize(11) font.setWeight(QFont.Normal) return font def handleFatalException(parentWidget=None): text = str(traceback.format_exc()) print("Fatal exception:\n", text) QMessageBox.critical(parentWidget, "A fatal exception occurred", "
"
		"A fatal exception occurred:\n\n"
		"%s\n\n"
		"Awlsim will be terminated."
		"
" % text) sys.exit(1) class MessageBox(QDialog): def __init__(self, parent, title, text, verboseText=None, icon=QMessageBox.Critical): QDialog.__init__(self, parent) self.setLayout(QGridLayout()) self.setWindowTitle(title) self.text = "
" + text + "\n
" self.verboseText = None if verboseText and verboseText.strip() != text.strip(): self.verboseText = "
" + verboseText + "\n
" self.textBox = QLabel(self) self.textBox.setTextInteractionFlags(Qt.TextSelectableByMouse |\ Qt.TextSelectableByKeyboard |\ Qt.LinksAccessibleByMouse |\ Qt.LinksAccessibleByKeyboard) self.layout().addWidget(self.textBox, 0, 0, 1, 3) if self.verboseText: self.verboseCheckBox = QCheckBox("Show verbose information", self) self.layout().addWidget(self.verboseCheckBox, 1, 0, 1, 3) else: self.verboseCheckBox = None self.okButton = QPushButton("&Ok", self) self.layout().addWidget(self.okButton, 2, 1) self.__updateText() self.okButton.released.connect(self.accept) if self.verboseCheckBox: self.verboseCheckBox.stateChanged.connect(self.__updateText) def __updateText(self): if self.verboseCheckBox and\ self.verboseCheckBox.checkState() == Qt.Checked: self.textBox.setText(self.verboseText) else: self.textBox.setText(self.text) @classmethod def error(cls, parent, text, verboseText=None): dlg = cls(parent = parent, title = "Awlsim - Error", text = text, verboseText = verboseText, icon = QMessageBox.Critical) res = dlg.exec_() dlg.deleteLater() return res @classmethod def warning(cls, parent, text, verboseText=None): dlg = cls(parent = parent, title = "Awlsim - Warning", text = text, verboseText = verboseText, icon = QMessageBox.Warning) res = dlg.exec_() dlg.deleteLater() return res @classmethod def handleAwlSimError(cls, parent, description, exception): def maketext(verbose): text = "An exception occurred:" if description: text += "\n" text += " " + description + "." text += "\n\n" text += exception.getReport(verbose) return text return cls.error(parent, maketext(False), maketext(True)) @classmethod def handleAwlParserError(cls, parent, exception): return cls.handleAwlSimError(parent = parent, description = None, exception = exception)