def __init__(self, mainwindow, parent=None): """ Initialize the editable node information box. """ super().__init__(mainwindow, parent) self.textKey = Key('Label', self) self.textField = Str(self) self.textField.setReadOnly(False) connect(self.textField.editingFinished, self.editingFinished) self.nameKey = Key('Name', self) self.nameField = Str(self) self.nameField.setReadOnly(False) connect(self.nameField.editingFinished, self.editingFinished) self.predPropHeader = Header('Predicate properties', self) self.predPropLayout = QFormLayout() self.predPropLayout.setSpacing(0) self.nodePropLayout.insertRow(2, self.textKey, self.textField) self.predPropLayout.addRow(self.nameKey, self.nameField) self.mainLayout.insertWidget(0, self.predPropHeader) self.mainLayout.insertLayout(1, self.predPropLayout)
def __init__(self, parent=None): """ Initialize the stacked widget. :type parent: QWidget """ super().__init__(parent) connect(self.currentChanged, self.currentIndexChanged)
def __init__(self, mainwindow, parent=None): """ Initialize the diagram scene. :type mainwindow: MainWindow :type parent: QWidget """ super().__init__(parent) self.document = File(parent=self) self.guid = GUID(self) self.factory = ItemFactory(self) self.index = ItemIndex(self) self.meta = PredicateMetaIndex(self) self.undostack = QUndoStack(self) self.undostack.setUndoLimit(50) self.validator = OWL2Validator(self) self.mainwindow = mainwindow self.pasteOffsetX = Clipboard.PasteOffsetX self.pasteOffsetY = Clipboard.PasteOffsetY self.mode = DiagramMode.Idle self.modeParam = Item.Undefined self.mouseOverNode = None self.mousePressEdge = None self.mousePressPos = None self.mousePressNode = None self.mousePressNodePos = None self.mousePressData = {} connect(self.sgnItemAdded, self.index.add) connect(self.sgnItemRemoved, self.index.remove)
def addSubWindow(self, subwindow, flags=0): """ Add a subwindow to the MDI area. :type subwindow: MdiSubWindow :type flags: int """ menu = subwindow.systemMenu() closeAll = QAction('Close All', menu) closeAll.setIcon(menu.actions()[7].icon()) connect(closeAll.triggered, self.closeAllSubWindows) menu.addAction(closeAll) return super().addSubWindow(subwindow)
def __init__(self, scene, node, parent=None): """ Initialize the editable node properties dialog. :type scene: DiagramScene :type node: AbstractNode :type parent: QWidget """ super().__init__(scene, node, parent) ################################################################################################################ # # # ORDERING TAB # # # ################################################################################################################ if self.node.inputs: self.orderWidget = QWidget() self.orderLayout = QFormLayout(self.orderWidget) self.list = QListWidget(self.orderWidget) for i in self.node.inputs: edge = self.scene.edge(i) item = QListWidgetItem('{} ({})'.format( edge.source.text(), edge.source.id)) item.setData(Qt.UserRole, edge.id) self.list.addItem(item) self.list.setCurrentRow(0) self.list.setDragDropMode(QAbstractItemView.NoDragDrop) self.buttonUp = QPushButton(self) self.buttonUp.setIcon(QIcon(':/icons/arrow-up')) self.buttonUp.setFixedSize(20, 20) connect(self.buttonUp.clicked, self.moveUp) self.buttonDown = QPushButton(self) self.buttonDown.setIcon(QIcon(':/icons/arrow-down')) self.buttonDown.setFixedSize(20, 20) inLayout = QVBoxLayout() inLayout.addWidget(self.buttonUp) inLayout.addWidget(self.buttonDown) connect(self.buttonDown.clicked, self.moveDown) outLayout = QHBoxLayout() outLayout.addWidget(self.list) outLayout.addLayout(inLayout) self.orderLayout.addRow('Sort', outLayout) self.mainWidget.addTab(self.orderWidget, 'Ordering')
def __init__(self, mainwindow, parent=None): """ Initialize the Attribute node information box. """ super().__init__(mainwindow, parent) self.functKey = Key('Funct.', self) functParent = Parent(self) self.functBox = CheckBox(functParent) self.functBox.setCheckable(True) self.functBox.setProperty('attribute', 'functional') connect(self.functBox.clicked, self.flagChanged) self.predPropLayout.addRow(self.functKey, functParent)
def __init__(self, mainwindow, parent=None): """ Initialize the inclusion edge information box. :type mainwindow: MainWindow :type parent: QWidget """ super().__init__(mainwindow, parent) self.completeKey = Key('Complete', self) parent = Parent(self) self.completeBox = CheckBox(parent) self.completeBox.setCheckable(True) connect(self.completeBox.clicked, self.mainwindow.toggleEdgeComplete) self.generalLayout.addRow(self.completeKey, parent)
def browse(self, view): """ Set the widget to browse the given view. :type view: MainView """ self.reset() if view: scene = view.scene() connect(scene.selectionChanged, self.updateView) connect(scene.sgnUpdated, self.updateView) self.setScene(scene) self.mainview = view self.updateView()
def newConnection(self): """ Executed whenever a message is received. """ if self.inSocket: # Disconnect previously connected signal slot. disconnect(self.inSocket.readyRead, self.readyRead) # Create a new socket. self.inSocket = self.server.nextPendingConnection() if self.inSocket: self.inStream = QTextStream(self.inSocket) self.inStream.setCodec('UTF-8') connect(self.inSocket.readyRead, self.readyRead) self.activate()
def base_except_hook(exc_type, exc_value, exc_traceback): """ Used to handle all uncaught exceptions. :type exc_type: class :type exc_value: Exception :type exc_traceback: Traceback """ global app global box if issubclass(exc_type, KeyboardInterrupt): app.quit() else: if not box: m1 = 'This is embarrassing ...\n\n' \ 'A critical error has just occurred. ' \ 'Eddy will continue to work, however a reboot is highly recommended.' m2 = 'If the problem persists please <a href="{}">submit a bug report</a>.'.format(BUG_TRACKER) m3 = ''.join(traceback.format_exception(exc_type, exc_value, exc_traceback)) box = QMessageBox() box.setIconPixmap(QPixmap(':/images/eddy-sad')) box.setWindowIcon(QIcon(':/images/eddy')) box.setWindowTitle('Unhandled error!') box.setText(m1) box.setInformativeText(m2) box.setDetailedText(m3) box.setStandardButtons(QMessageBox.Close|QMessageBox.Ok) buttonOk = box.button(QMessageBox.Ok) buttonOk.setText('Close') buttonQuit = box.button(QMessageBox.Close) buttonQuit.setText('Quit {}'.format(APPNAME)) connect(buttonOk.clicked, box.close) connect(buttonQuit.clicked, app.quit) # noinspection PyArgumentList QApplication.beep() box.exec_() box = None
def __init__(self, node, parent=None): """ Initialize the form dialog. :type node: IndividualNode :type parent: QWidget """ super().__init__(parent) # DATATYPE COMBO BOX self.datatypeField = ComboBox(self) for datatype in XsdDatatype: self.datatypeField.addItem(datatype.value, datatype) # VALUE STRING FIELD self.valueField = StringField(self) self.valueField.setFixedWidth(300) # FILL FIELDS WITH DATA if node.identity is Identity.Value: datatype = node.datatype for i in range(self.datatypeField.count()): if self.datatypeField.itemData(i) is datatype: self.datatypeField.setCurrentIndex(i) break self.valueField.setValue(node.value) else: self.datatypeField.setCurrentIndex(0) self.valueField.setValue('') # CONFIRMATION BOX self.buttonBox = QDialogButtonBox(QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self) self.mainLayout = QFormLayout(self) self.mainLayout.addRow('Datatype', self.datatypeField) self.mainLayout.addRow('Value', self.valueField) self.mainLayout.addRow(self.buttonBox) self.setWindowTitle('Compose value') self.setWindowIcon(QIcon(':/images/eddy')) self.setFixedSize(self.sizeHint()) connect(self.buttonBox.accepted, self.accept) connect(self.buttonBox.rejected, self.reject)
def __init__(self, mainwindow): """ Initialize the Explorer. :type mainwindow: MainWindow """ super().__init__(mainwindow) self.expanded = {} self.searched = {} self.scrolled = {} self.mainview = None self.iconA = QIcon(':/icons/treeview-icon-attribute') self.iconC = QIcon(':/icons/treeview-icon-concept') self.iconD = QIcon(':/icons/treeview-icon-datarange') self.iconI = QIcon(':/icons/treeview-icon-instance') self.iconR = QIcon(':/icons/treeview-icon-role') self.iconV = QIcon(':/icons/treeview-icon-value') self.search = StringField(self) self.search.setAcceptDrops(False) self.search.setClearButtonEnabled(True) self.search.setPlaceholderText('Search...') self.search.setFixedHeight(30) self.model = QStandardItemModel(self) self.proxy = QSortFilterProxyModel(self) self.proxy.setDynamicSortFilter(False) self.proxy.setFilterCaseSensitivity(Qt.CaseInsensitive) self.proxy.setSortCaseSensitivity(Qt.CaseSensitive) self.proxy.setSourceModel(self.model) self.view = ExplorerView(mainwindow, self) self.view.setModel(self.proxy) self.mainLayout = QVBoxLayout(self) self.mainLayout.setContentsMargins(0, 0, 0, 0) self.mainLayout.addWidget(self.search) self.mainLayout.addWidget(self.view) self.setContentsMargins(0, 0, 0, 0) self.setMinimumWidth(216) self.setMinimumHeight(160) connect(self.view.doubleClicked, self.itemDoubleClicked) connect(self.view.pressed, self.itemPressed) connect(self.view.collapsed, self.itemCollapsed) connect(self.view.expanded, self.itemExpanded) connect(self.search.textChanged, self.filterItem)
def browse(self, view): """ Set the widget to inspect the given view. :type view: MainView """ self.reset() self.mainview = view if self.mainview: scene = self.mainview.scene() connect(scene.index.sgnItemAdded, self.add) connect(scene.index.sgnItemRemoved, self.remove) for item in scene.index.nodes(): self.add(item) if self.mainview in self.expanded: expanded = self.expanded[self.mainview] for i in range(self.model.rowCount()): item = self.model.item(i) index = self.proxy.mapFromSource( self.model.indexFromItem(item)) self.view.setExpanded(index, item.text() in expanded) key = '' if self.mainview in self.searched: key = self.searched[self.mainview] self.search.setText(key) if self.mainview in self.scrolled: rect = self.rect() item = first(self.model.findItems( self.scrolled[self.mainview])) for i in range(self.model.rowCount()): self.view.scrollTo( self.proxy.mapFromSource( self.model.indexFromItem(self.model.item(i)))) index = self.proxy.mapToSource( self.view.indexAt(rect.topLeft())) if self.model.itemFromIndex(index) is item: break
def __init__(self, mainwindow, parent=None): """ Initialize the Literal node information box. """ super().__init__(mainwindow, parent) self.datatypeKey = Key('Datatype', self) self.datatypeField = Select(self) connect(self.datatypeField.activated, self.valueChanged) self.valueKey = Key('Value', self) self.valueField = Str(self) self.valueField.setReadOnly(False) connect(self.valueField.editingFinished, self.valueChanged) for datatype in XsdDatatype: if Facet.forDatatype(datatype): self.datatypeField.addItem(datatype.value, datatype) self.nodePropLayout.addRow(self.datatypeKey, self.datatypeField) self.nodePropLayout.addRow(self.valueKey, self.valueField)
def startMove(self, delta, rate): """ Start the view movement. :type delta: QPointF :type rate: float """ if self.moveTimer: self.stopMove() # move the view: this is needed before the timer so that if we keep # moving the mouse fast outside the viewport rectangle we still are able # to move the view; if we don't do this the timer may not have kicked in # and thus we remain with a non-moving view with a unfocused graphicsitem self.moveBy(delta) # setup a timer for future move, so the view keeps moving # also if we are not moving the mouse anymore but we are # holding the position outside the viewport rect self.moveTimer = QTimer() connect(self.moveTimer.timeout, self.moveBy, delta) self.moveTimer.start(rate)
def browse(self, scene): """ Set the widget to inspect the given scene. :type scene: DiagramScene """ self.reset() self.scene = scene if self.scene: connect(scene.selectionChanged, self.stack) connect(scene.sgnItemAdded, self.stack) connect(scene.sgnItemRemoved, self.stack) connect(scene.sgnUpdated, self.stack) self.stack()
def __init__(self, node, parent=None): """ Initialize the form dialog. :type node: AbstractNode :type parent: QWidget """ super().__init__(parent) self.node = node self.renameField = StringField(self) self.renameField.setFixedWidth(200) self.renameField.setValue(self.node.text()) self.invalidName = QLabel('\'\' is not a valid predicate name', self) self.invalidName.setProperty('class', 'invalid') self.invalidName.setVisible(False) self.buttonBox = QDialogButtonBox(QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self) self.mainLayout = QFormLayout(self) self.mainLayout.addRow('Name', self.renameField) self.mainLayout.addRow(self.invalidName) self.mainLayout.addRow(self.buttonBox) self.setWindowTitle('Rename') self.setWindowIcon(QIcon(':/images/eddy')) self.setFixedSize(self.sizeHint()) connect(self.buttonBox.accepted, self.validate) connect(self.buttonBox.rejected, self.reject) connect(self.renameField.textChanged, self.nameChanged)
def __init__(self, parent=None): """ Initialize the form dialog. :type parent: QWidget """ super().__init__(parent) self.minCardinalityValue = None self.maxCardinalityValue = None self.minCardinalityField = IntField(self) self.maxCardinalityField = IntField(self) self.minCardinalityField.setFixedWidth(80) self.maxCardinalityField.setFixedWidth(80) self.buttonBox = QDialogButtonBox(QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self) self.mainLayout = QFormLayout(self) self.mainLayout.addRow('Min. cardinality', self.minCardinalityField) self.mainLayout.addRow('Max. cardinality', self.maxCardinalityField) self.mainLayout.addRow(self.buttonBox) self.setWindowTitle('Insert cardinality') self.setWindowIcon(QIcon(':/images/eddy')) self.setFixedSize(self.sizeHint()) connect(self.buttonBox.accepted, self.validate) connect(self.buttonBox.rejected, self.reject)
def __init__(self, node, parent=None): """ Initialize the form dialog. :type node: ValueRestrictionNode :type parent: QWidget """ super().__init__(parent) # DATATYPE COMBO BOX self.datatypeField = ComboBox(self) for datatype in XsdDatatype: # hide unrestrictable elements. if Facet.forDatatype(datatype): self.datatypeField.addItem(datatype.value, datatype) datatype = node.datatype for i in range(self.datatypeField.count()): if self.datatypeField.itemData(i) is datatype: self.datatypeField.setCurrentIndex(i) break # FACET COMBO BOX self.facetField = ComboBox(self) for facet in Facet.forDatatype(datatype): self.facetField.addItem(facet.value, facet) facet = node.facet for i in range(self.facetField.count()): if self.facetField.itemData(i) is facet: self.facetField.setCurrentIndex(i) break # VALUE STRING FIELD self.valueField = StringField(self) self.valueField.setFixedWidth(300) self.valueField.setValue(node.value) # CONFIRMATION BOX self.buttonBox = QDialogButtonBox(QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self) self.mainLayout = QFormLayout(self) self.mainLayout.addRow('Datatype', self.datatypeField) self.mainLayout.addRow('Facet', self.facetField) self.mainLayout.addRow('Value', self.valueField) self.mainLayout.addRow(self.buttonBox) self.setWindowTitle('Compose value restriction') self.setWindowIcon(QIcon(':/images/eddy')) self.setFixedSize(self.sizeHint()) connect(self.buttonBox.accepted, self.accept) connect(self.buttonBox.rejected, self.reject) connect(self.datatypeField.currentIndexChanged[int], self.datatypeFieldChanged)
def showEvent(self, event): """ Executed when the dialog is shown :type event: QShowEvent """ self.workerThread = QThread() self.worker.moveToThread(self.workerThread) connect(self.worker.completed, self.completed) connect(self.worker.errored, self.errored) connect(self.workerThread.started, self.worker.work) self.workerThread.start()
def __init__(self, scene, filepath, parent=None): """ Initialize the form dialog. :type scene: DiagramScene :type filepath: str :type parent: QWidget """ super().__init__(parent) self.scene = scene self.filepath = filepath self.worker = None self.workerThread = None self.iriField = StringField(self) self.iriField.setFixedWidth(300) self.iriField.setValidator(QRegExpValidator(QRegExp('[\w:\/\[\]=?%#~\.\-\+]*'), self)) self.prefixField = StringField(self) self.prefixField.setFixedWidth(300) self.prefixField.setValidator(QRegExpValidator(QRegExp('[\w]*'), self)) self.syntaxField = ComboBox(self) for syntax in OWLSyntax: self.syntaxField.addItem(syntax.value, syntax) self.syntaxField.setCurrentIndex(0) self.progressBar = QProgressBar(self) self.progressBar.setAlignment(Qt.AlignHCenter) self.progressBar.setRange(0, 100) self.progressBar.setValue(0) self.buttonBox = QDialogButtonBox(QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self) self.buttonBox.button(QDialogButtonBox.Ok).setDisabled(True) self.mainLayout = QFormLayout(self) self.mainLayout.addRow('IRI', self.iriField) self.mainLayout.addRow('Prefix', self.prefixField) self.mainLayout.addRow('Syntax', self.syntaxField) self.mainLayout.addRow(self.progressBar) self.mainLayout.addRow(self.buttonBox) self.setWindowTitle('OWL Translation') self.setWindowIcon(QIcon(':/images/eddy')) self.setFixedSize(self.sizeHint()) connect(self.buttonBox.accepted, self.run) connect(self.buttonBox.rejected, self.reject) connect(self.iriField.textChanged, self.iriChanged)
def run(self): """ Perform the Graphol -> OWL translation in a separate thread. """ ontoIRI = self.iriField.value() ontoPrefix = self.prefixField.value() self.buttonBox.setEnabled(False) self.syntaxField.setEnabled(False) if not ontoIRI.endswith('#'): ontoIRI = '{0}#'.format(ontoIRI) self.workerThread = QThread() self.worker = OWLExporter(scene=self.scene, ontoIRI=ontoIRI, ontoPrefix=ontoPrefix) self.worker.moveToThread(self.workerThread) connect(self.worker.completed, self.completed) connect(self.worker.errored, self.errored) connect(self.worker.progress, self.progress) connect(self.workerThread.started, self.worker.work) self.workerThread.start()
def __init__(self, parent=None): """ Inizialize the zoom widget. :type parent: QWidget """ super().__init__(parent) self.level = Zoom.Default self.levels = [x for x in rangeF(Zoom.Min, Zoom.Max + Zoom.Step, Zoom.Step)] self.buttonZoomIn = QToolButton() self.buttonZoomIn.setIcon(Icon(':/icons/zoom-in')) self.buttonZoomOut = QToolButton() self.buttonZoomOut.setIcon(Icon(':/icons/zoom-out')) self.buttonZoomReset = QToolButton() self.buttonZoomReset.setIcon(Icon(':/icons/zoom-reset')) connect(self.buttonZoomIn.clicked, self.zoomIn) connect(self.buttonZoomOut.clicked, self.zoomOut) connect(self.buttonZoomReset.clicked, self.zoomReset) self.setEnabled(False)
def __init__(self, parent=None): """ Inizialize the zoom widget. :type parent: QWidget """ super().__init__(parent) self.level = Zoom.Default self.levels = [ x for x in rangeF(Zoom.Min, Zoom.Max + Zoom.Step, Zoom.Step) ] self.buttonZoomIn = QToolButton() self.buttonZoomIn.setIcon(Icon(':/icons/zoom-in')) self.buttonZoomOut = QToolButton() self.buttonZoomOut.setIcon(Icon(':/icons/zoom-out')) self.buttonZoomReset = QToolButton() self.buttonZoomReset.setIcon(Icon(':/icons/zoom-reset')) connect(self.buttonZoomIn.clicked, self.zoomIn) connect(self.buttonZoomOut.clicked, self.zoomOut) connect(self.buttonZoomReset.clicked, self.zoomReset) self.setEnabled(False)
def __init__(self, scene, parent=None): """ Initialize the scene properties dialog. :type scene: DiagramScene :type parent: QWidget """ super().__init__(parent) self.scene = scene self.mainWidget = QTabWidget(self) ################################################################################################################ # # # GENERAL TAB # # # ################################################################################################################ self.generalWidget = QWidget() self.generalLayout = QFormLayout(self.generalWidget) # Amount of nodes in the scene self.nodesField = IntField(self.generalWidget) self.nodesField.setReadOnly(True) self.nodesField.setFixedWidth(300) self.nodesField.setValue(len(self.scene.nodes())) # Amount of edges in the scene self.edgesField = IntField(self.generalWidget) self.nodesField.setReadOnly(True) self.edgesField.setFixedWidth(300) self.edgesField.setValue(len(self.scene.edges())) self.generalLayout.addRow('N° nodes', self.nodesField) self.generalLayout.addRow('N° edges', self.edgesField) self.mainWidget.addTab(self.generalWidget, 'General') ################################################################################################################ # # # GEOMETRY TAB # # # ################################################################################################################ self.geometryWidget = QWidget() self.geometryLayout = QFormLayout(self.geometryWidget) R = self.scene.sceneRect() self.sceneSizeField = SpinBox(self) self.sceneSizeField.setRange(self.scene.MinSize, self.scene.MaxSize) self.sceneSizeField.setSingleStep(100) self.sceneSizeField.setValue(R.width()) self.geometryLayout.addRow('Size', self.sceneSizeField) self.mainWidget.addTab(self.geometryWidget, 'Geometry') ################################################################################################################ # # # DOCUMENT WIDGET # # # ################################################################################################################ if self.scene.document.path: self.documentWidget = QWidget() self.documentLayout = QFormLayout(self.documentWidget) # Filepath of the saved document. self.pathField = StringField(self.documentWidget) self.pathField.setReadOnly(True) self.pathField.setFixedWidth(300) self.pathField.setValue(self.scene.document.path) # Timestamp when the document has been last modified. self.editedField = StringField(self.documentWidget) self.editedField.setReadOnly(True) self.editedField.setFixedWidth(300) self.editedField.setValue( datetime.fromtimestamp(int( self.scene.document.edited)).strftime('%Y/%m/%d %H:%M:%S')) self.documentLayout.addRow('File', self.pathField) self.documentLayout.addRow('Last edit', self.editedField) self.mainWidget.addTab(self.documentWidget, 'Document') ################################################################################################################ # # # BUTTON BOX # # # ################################################################################################################ self.buttonBox = QDialogButtonBox( QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self) ################################################################################################################ # # # MAIN LAYOUT # # # ################################################################################################################ self.mainLayout = QVBoxLayout(self) self.mainLayout.addWidget(self.mainWidget) self.mainLayout.addWidget(self.buttonBox, 0, Qt.AlignRight) self.setFixedSize(self.sizeHint()) self.setWindowTitle('Scene properties') self.setWindowIcon(QIcon(':/images/eddy')) ################################################################################################################ # # # CONFIGURE SIGNALS # # # ################################################################################################################ connect(self.finished, self.completed) connect(self.buttonBox.accepted, self.accept) connect(self.buttonBox.rejected, self.reject)
def __init__(self, mainwindow, parent=None): """ Initialize the Role node information box. """ super().__init__(mainwindow, parent) self.functKey = Key('Funct.', self) functParent = Parent(self) self.functBox = CheckBox(functParent) self.functBox.setCheckable(True) self.functBox.setProperty('attribute', 'functional') connect(self.functBox.clicked, self.flagChanged) self.invFunctKey = Key('Inv. Funct.', self) invFunctParent = Parent(self) self.invFunctBox = CheckBox(invFunctParent) self.invFunctBox.setCheckable(True) self.invFunctBox.setProperty('attribute', 'inverseFunctional') connect(self.invFunctBox.clicked, self.flagChanged) self.asymmetricKey = Key('Asymmetric', self) asymmetricParent = Parent(self) self.asymmetricBox = CheckBox(asymmetricParent) self.asymmetricBox.setCheckable(True) self.asymmetricBox.setProperty('attribute', 'asymmetric') connect(self.asymmetricBox.clicked, self.flagChanged) self.irreflexiveKey = Key('Irreflexive', self) irreflexiveParent = Parent(self) self.irreflexiveBox = CheckBox(irreflexiveParent) self.irreflexiveBox.setCheckable(True) self.irreflexiveBox.setProperty('attribute', 'irreflexive') connect(self.irreflexiveBox.clicked, self.flagChanged) self.reflexiveKey = Key('Reflexive', self) reflexiveParent = Parent(self) self.reflexiveBox = CheckBox(reflexiveParent) self.reflexiveBox.setCheckable(True) self.reflexiveBox.setProperty('attribute', 'reflexive') connect(self.reflexiveBox.clicked, self.flagChanged) self.symmetricKey = Key('Symmetric', self) symmetricParent = Parent(self) self.symmetricBox = CheckBox(symmetricParent) self.symmetricBox.setCheckable(True) self.symmetricBox.setProperty('attribute', 'symmetric') connect(self.symmetricBox.clicked, self.flagChanged) self.transitiveKey = Key('Transitive', self) transitiveParent = Parent(self) self.transitiveBox = CheckBox(transitiveParent) self.transitiveBox.setCheckable(True) self.transitiveBox.setProperty('attribute', 'transitive') connect(self.transitiveBox.clicked, self.flagChanged) self.predPropLayout.addRow(self.functKey, functParent) self.predPropLayout.addRow(self.invFunctKey, invFunctParent) self.predPropLayout.addRow(self.asymmetricKey, asymmetricParent) self.predPropLayout.addRow(self.irreflexiveKey, irreflexiveParent) self.predPropLayout.addRow(self.reflexiveKey, reflexiveParent) self.predPropLayout.addRow(self.symmetricKey, symmetricParent) self.predPropLayout.addRow(self.transitiveKey, transitiveParent)
def __init__(self, argv): """ Initialize Eddy. :type argv: list """ super().__init__(argv) parser = ArgumentParser() parser.add_argument('--nosplash', dest='nosplash', action='store_true') parser.add_argument('--tests', dest='tests', action='store_true') options, args = parser.parse_known_args(args=argv) self.inSocket = None self.inStream = None self.outSocket = QLocalSocket() self.outSocket.connectToServer(APPID) self.outStream = None self.isRunning = self.outSocket.waitForConnected() self.mainwindow = None self.pendingOpen = [] self.server = None # We do not initialize a new instance of Eddy if there is a process running # and we are not executing the tests suite: we'll create a socket instead so we can # exchange messages between the 2 processes (this one and the already running one). if self.isRunning and not options.tests: self.outStream = QTextStream(self.outSocket) self.outStream.setCodec('UTF-8') else: self.server = QLocalServer() self.server.listen(APPID) self.outSocket = None self.outStream = None connect(self.server.newConnection, self.newConnection) connect(self.messageReceived, self.readMessage) ############################################################################################################ # # # PERFORM EDDY INITIALIZATION # # # ############################################################################################################ # Draw the splashscreen. self.splashscreen = None if not options.nosplash: self.splashscreen = SplashScreen(min_splash_time=4) self.splashscreen.show() # Setup layout. self.setStyle(Clean('Fusion')) with open(expandPath('@eddy/ui/clean.qss')) as sheet: self.setStyleSheet(sheet.read()) # Create the main window. self.mainwindow = MainWindow() # Close the splashscreen. if self.splashscreen: self.splashscreen.wait(self.splashscreen.remaining) self.splashscreen.close() # Display the mainwindow. self.mainwindow.show() if Platform.identify() is Platform.Darwin: # On MacOS files being opened are handled as a QFileOpenEvent but since we don't # have a Main Window initialized we store them locally and we open them here. for filepath in self.pendingOpen: self.openFile(filepath) self.pendingOpen = [] else: # Perform document opening if files have been added to sys.argv. This is not # executed on Mac OS since this is already handled as a QFileOpenEvent instance. for filepath in argv: self.openFile(filepath)
def __init__(self, mainwindow): """ Initialize the Preferences dialog. :type mainwindow: QMainWindow """ super().__init__(mainwindow) self.mainwindow = mainwindow ################################################################################################################ # # # EDITOR TAB # # # ################################################################################################################ self.diagramSizeF = SpinBox(self) self.diagramSizeF.setRange(2000, 1000000) self.diagramSizeF.setSingleStep(100) self.diagramSizeF.setValue(self.mainwindow.diagramSize) self.editorWidget = QWidget() self.editorLayout = QFormLayout(self.editorWidget) self.editorLayout.addRow('Diagram size', self.diagramSizeF) ################################################################################################################ # # # MAIN WIDGET # # # ################################################################################################################ self.mainWidget = QTabWidget(self) self.mainWidget.addTab(self.editorWidget, 'Editor') ################################################################################################################ # # # BUTTON BOX # # # ################################################################################################################ self.buttonBox = QDialogButtonBox(QDialogButtonBox.Save | QDialogButtonBox.Close, Qt.Horizontal, self) ################################################################################################################ # # # MAIN LAYOUT # # # ################################################################################################################ self.mainLayout = QVBoxLayout(self) self.mainLayout.addWidget(self.mainWidget) self.mainLayout.addWidget(self.buttonBox, 0, Qt.AlignRight) self.setFixedSize(self.sizeHint()) self.setWindowTitle('Preferences') ################################################################################################################ # # # CONFIGURE SIGNALS # # # ################################################################################################################ connect(self.buttonBox.accepted, self.accept) connect(self.buttonBox.rejected, self.reject) connect(self.finished, self.completed)
def __init__(self, scene, node, parent=None): """ Initialize the node properties dialog. :type scene: DiagramScene :type node: AbstractNode :type parent: QWidget """ super().__init__(parent) self.node = node self.scene = scene # GENERAL self.generalWidget = QWidget() self.generalLayout = QFormLayout(self.generalWidget) self.idField = StringField(self.generalWidget) self.idField.setReadOnly(True) self.idField.setFixedWidth(300) self.idField.setValue(self.node.id) self.itemField = StringField(self.generalWidget) self.itemField.setReadOnly(True) self.itemField.setFixedWidth(300) self.itemField.setValue(node.shortname.capitalize()) self.showIdentityField = StringField(self.generalWidget) self.showIdentityField.setReadOnly(True) self.showIdentityField.setFixedWidth(300) self.showIdentityField.setValue(self.node.identity.value) self.generalLayout.addRow('ID', self.idField) self.generalLayout.addRow('Type', self.itemField) self.generalLayout.addRow('Identity', self.showIdentityField) # GEOMETRY self.geometryWidget = QWidget() self.geometryLayout = QFormLayout(self.geometryWidget) P = self.node.pos() R = self.scene.sceneRect() self.xField = SpinBox(self.geometryWidget) self.xField.setFixedWidth(60) self.xField.setRange(R.left(), R.right()) self.xField.setValue(int(P.x())) self.yField = SpinBox(self.geometryWidget) self.yField.setFixedWidth(60) self.yField.setRange(R.top(), R.bottom()) self.yField.setValue(int(P.y())) self.wField = SpinBox(self.geometryWidget) self.wField.setRange(20, R.width()) self.wField.setReadOnly(True) self.wField.setFixedWidth(60) self.wField.setValue(int(self.node.width())) self.hField = SpinBox(self.geometryWidget) self.hField.setRange(20, R.height()) self.hField.setReadOnly(True) self.hField.setFixedWidth(60) self.hField.setValue(int(self.node.height())) self.geometryLayout.addRow('X', self.xField) self.geometryLayout.addRow('Y', self.yField) self.geometryLayout.addRow('Width', self.wField) self.geometryLayout.addRow('Height', self.hField) # MAIN self.mainWidget = QTabWidget(self) self.mainWidget.addTab(self.generalWidget, 'General') self.mainWidget.addTab(self.geometryWidget, 'Geometry') self.buttonBox = QDialogButtonBox( QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self) self.mainLayout = QVBoxLayout(self) self.mainLayout.addWidget(self.mainWidget) self.mainLayout.addWidget(self.buttonBox, 0, Qt.AlignRight) self.setWindowTitle('Properties') self.setWindowIcon(QIcon(':/images/eddy')) connect(self.finished, self.completed) connect(self.buttonBox.accepted, self.accept) connect(self.buttonBox.rejected, self.reject)
def __init__(self, mainwindow): """ Initialize the Preferences dialog. :type mainwindow: QMainWindow """ super().__init__(mainwindow) self.mainwindow = mainwindow ################################################################################################################ # # # EDITOR TAB # # # ################################################################################################################ self.diagramSizeF = SpinBox(self) self.diagramSizeF.setRange(2000, 1000000) self.diagramSizeF.setSingleStep(100) self.diagramSizeF.setValue(self.mainwindow.diagramSize) self.editorWidget = QWidget() self.editorLayout = QFormLayout(self.editorWidget) self.editorLayout.addRow('Diagram size', self.diagramSizeF) ################################################################################################################ # # # MAIN WIDGET # # # ################################################################################################################ self.mainWidget = QTabWidget(self) self.mainWidget.addTab(self.editorWidget, 'Editor') ################################################################################################################ # # # BUTTON BOX # # # ################################################################################################################ self.buttonBox = QDialogButtonBox( QDialogButtonBox.Save | QDialogButtonBox.Close, Qt.Horizontal, self) ################################################################################################################ # # # MAIN LAYOUT # # # ################################################################################################################ self.mainLayout = QVBoxLayout(self) self.mainLayout.addWidget(self.mainWidget) self.mainLayout.addWidget(self.buttonBox, 0, Qt.AlignRight) self.setFixedSize(self.sizeHint()) self.setWindowTitle('Preferences') ################################################################################################################ # # # CONFIGURE SIGNALS # # # ################################################################################################################ connect(self.buttonBox.accepted, self.accept) connect(self.buttonBox.rejected, self.reject) connect(self.finished, self.completed)