class ValueNodeProperty(NodeProperty):
"""
This class implements the property dialog for value nodes.
"""
def __init__(self, diagram, node, session):
"""
Initialize the node properties dialog.
:type diagram: Diagram
:type node: AbstractNode
:type session: Session
"""
super().__init__(diagram, node, session)
#############################################
# VALUE TAB
#################################
self.datatypeLabel = QtWidgets.QLabel(self)
self.datatypeLabel.setFont(Font('Roboto', 12))
self.datatypeLabel.setText('Datatype')
self.datatypeField = ComboBox(self)
self.datatypeField.setFixedWidth(200)
self.datatypeField.setFocusPolicy(QtCore.Qt.StrongFocus)
self.datatypeField.setFont(Font('Roboto', 12))
for datatype in Datatype:
self.datatypeField.addItem(datatype.value, datatype)
datatype = self.node.datatype
for i in range(self.datatypeField.count()):
if self.datatypeField.itemData(i) is datatype:
self.datatypeField.setCurrentIndex(i)
break
else:
self.datatypeField.setCurrentIndex(0)
self.valueLabel = QtWidgets.QLabel(self)
self.valueLabel.setFont(Font('Roboto', 12))
self.valueLabel.setText('Value')
self.valueField = StringField(self)
self.valueField.setFixedWidth(200)
self.valueField.setFont(Font('Roboto', 12))
self.valueField.setValue(self.node.value)
self.valueWidget = QtWidgets.QWidget()
self.valueLayout = QtWidgets.QFormLayout(self.valueWidget)
self.valueLayout.addRow(self.datatypeLabel, self.datatypeField)
self.valueLayout.addRow(self.valueLabel, self.valueField)
self.mainWidget.addTab(self.valueWidget, 'Datatype')
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def complete(self):
"""
Executed when the dialog is accepted.
"""
commands = [self.positionChanged(), self.valueChanged()]
if any(commands):
self.session.undostack.beginMacro('edit {0} properties'.format(
self.node.name))
for command in commands:
if command:
self.session.undostack.push(command)
self.session.undostack.endMacro()
super().accept()
#############################################
# AUXILIARY METHODS
#################################
def valueChanged(self):
"""
Change the value of the node.
:rtype: QUndoCommand
"""
datatype = self.datatypeField.currentData()
value = self.valueField.value()
data = self.node.compose(value, datatype)
if self.node.text() != data:
return CommandLabelChange(self.diagram, self.node,
self.node.text(), data)
return None
class ValueForm(QtWidgets.QDialog):
"""
This class implements the form used to select the Value of an Individual node.
"""
def __init__(self, node, session):
"""
Initialize the form dialog.
:type node: IndividualNode
:type session: Session
"""
super().__init__(session)
self.node = node
#############################################
# FORM AREA
#################################
self.datatypeLabel = QtWidgets.QLabel(self)
self.datatypeLabel.setFont(Font('Roboto', 12))
self.datatypeLabel.setText('Datatype')
self.datatypeField = ComboBox(self)
self.datatypeField.setFont(Font('Roboto', 12))
self.datatypeField.setFixedWidth(300)
for datatype in sorted(Datatype.forProfile(self.project.profile.type()), key=attrgetter('value')):
self.datatypeField.addItem(datatype.value, datatype)
self.valueLabel = QtWidgets.QLabel(self)
self.valueLabel.setFont(Font('Roboto', 12))
self.valueLabel.setText('Value')
self.valueField = StringField(self)
self.valueField.setFixedWidth(300)
if node.identity() is Identity.Value:
self.valueField.setValue(node.value)
datatype = node.datatype
for i in range(self.datatypeField.count()):
if self.datatypeField.itemData(i) is datatype:
self.datatypeField.setCurrentIndex(i)
break
else:
self.valueField.setValue('')
self.datatypeField.setCurrentIndex(0)
self.formWidget = QtWidgets.QWidget(self)
self.formLayout = QtWidgets.QFormLayout(self.formWidget)
self.formLayout.addRow(self.datatypeLabel, self.datatypeField)
self.formLayout.addRow(self.valueLabel, self.valueField)
#############################################
# CONFIRMATION AREA
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
self.confirmationBox.setFont(Font('Roboto', 12))
#############################################
# SETUP DIALOG LAYOUT
#################################
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.formWidget)
self.mainLayout.addWidget(self.confirmationBox, 0, QtCore.Qt.AlignRight)
self.setFixedSize(self.sizeHint())
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
self.setWindowTitle('Compose value')
connect(self.confirmationBox.accepted, self.accept)
connect(self.confirmationBox.rejected, self.reject)
#############################################
# PROPERTIES
#################################
@property
def project(self):
"""
Returns the reference to the active project.
:rtype: Project
"""
return self.session.project
@property
def session(self):
"""
Returns the reference to the active session (alias for RefactorNameForm.parent()).
:rtype: Session
"""
return self.parent()
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def accept(self):
"""
Accepts the form and set the new value.
"""
node = self.node
diagram = node.diagram
datatype = self.datatypeField.currentData()
value = self.valueField.value()
data = node.compose(value, datatype)
if node.text() != data:
name = 'change {0} to {1}'.format(node.text(), data)
self.session.undostack.push(CommandLabelChange(diagram, node, node.text(), data, name=name))
super().accept()
class ValueNodeProperty(NodeProperty):
"""
This class implements the property dialog for value nodes.
"""
def __init__(self, diagram, node, session):
"""
Initialize the node properties dialog.
:type diagram: Diagram
:type node: AbstractNode
:type session: Session
"""
super().__init__(diagram, node, session)
self.node = node
#############################################
# VALUE TAB
#################################
self.datatypeLabel = QtWidgets.QLabel(self)
self.datatypeLabel.setFont(Font('Roboto', 12))
self.datatypeLabel.setText('Datatype')
self.datatypeField = ComboBox(self)
self.datatypeField.setFixedWidth(200)
self.datatypeField.setFocusPolicy(QtCore.Qt.StrongFocus)
self.datatypeField.setFont(Font('Roboto', 12))
for datatype in Datatype:
self.datatypeField.addItem(datatype.value, datatype)
datatype = self.node.datatype
for i in range(self.datatypeField.count()):
if self.datatypeField.itemData(i) is datatype:
self.datatypeField.setCurrentIndex(i)
break
else:
self.datatypeField.setCurrentIndex(0)
self.valueLabel = QtWidgets.QLabel(self)
self.valueLabel.setFont(Font('Roboto', 12))
self.valueLabel.setText('Value')
self.valueField = StringField(self)
self.valueField.setFixedWidth(200)
self.valueField.setFont(Font('Roboto', 12))
self.valueField.setValue(self.node.value)
self.valueWidget = QtWidgets.QWidget()
self.valueLayout = QtWidgets.QFormLayout(self.valueWidget)
self.valueLayout.addRow(self.datatypeLabel, self.datatypeField)
self.valueLayout.addRow(self.valueLabel, self.valueField)
self.mainWidget.addTab(self.valueWidget, 'Datatype')
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def complete(self):
"""
Executed when the dialog is accepted.
"""
commands = [self.positionChanged()]
commands_value_changed = self.valueChanged()
if commands_value_changed is not None:
commands.extend(commands_value_changed)
if any(commands):
self.session.undostack.beginMacro('edit {0} properties'.format(
self.node.name))
for command in commands:
if command:
self.session.undostack.push(command)
self.session.undostack.endMacro()
super().accept()
#############################################
# AUXILIARY METHODS
#################################
def valueChanged(self):
"""
Change the value of the node.
:rtype: QUndoCommand
"""
datatype = self.datatypeField.currentData()
value = self.valueField.value()
data = self.node.compose(value, datatype)
if self.node.text() != data:
new_prefix = datatype.value[0:datatype.value.index(':')]
new_remaining_characters = datatype.value[datatype.value.index(':'
) +
1:len(datatype.value)]
new_iri = None
for std_iri in OWLStandardIRIPrefixPairsDict.std_IRI_prefix_dict.keys(
):
std_prefix = OWLStandardIRIPrefixPairsDict.std_IRI_prefix_dict[
std_iri]
if std_prefix == new_prefix:
new_iri = std_iri
Duplicate_dict_1 = self.project.copy_IRI_prefixes_nodes_dictionaries(
self.project.IRI_prefixes_nodes_dict, dict())
Duplicate_dict_2 = self.project.copy_IRI_prefixes_nodes_dictionaries(
self.project.IRI_prefixes_nodes_dict, dict())
old_iri = self.project.get_iri_of_node(self.node)
Duplicate_dict_1[old_iri][1].remove(self.node)
Duplicate_dict_1[new_iri][1].add(self.node)
commands = []
commands.append(
CommandLabelChange(self.diagram, self.node, self.node.text(),
data))
commands.append(
CommandProjetSetIRIPrefixesNodesDict(self.project,
Duplicate_dict_2,
Duplicate_dict_1,
[old_iri, new_iri],
[self.node]))
commands.append(CommandNodeSetRemainingCharacters(self.node.remaining_characters,\
new_remaining_characters,self.node,self.project))
commands.append(
CommandLabelChange(self.diagram, self.node, self.node.text(),
data))
return commands
return None
class FacetNodeProperty(NodeProperty):
"""
This class implements the property dialog for facet nodes.
"""
def __init__(self, diagram, node, session):
"""
Initialize the node properties dialog.
:type diagram: Diagram
:type node: AbstractNode
:type session: Session
"""
super().__init__(diagram, node, session)
#############################################
# FACET TAB
#################################
f1 = lambda x: x.type() is Item.InputEdge
f2 = lambda x: x.type() is Item.DatatypeRestrictionNode
f3 = lambda x: x.type() is Item.ValueDomainNode
admissible = [x for x in Facet]
restriction = first(
self.node.outgoingNodes(filter_on_edges=f1, filter_on_nodes=f2))
if restriction:
valuedomain = first(
restriction.incomingNodes(filter_on_edges=f1,
filter_on_nodes=f3))
if valuedomain:
admissible = Facet.forDatatype(valuedomain.datatype)
self.facetLabel = QtWidgets.QLabel(self)
self.facetLabel.setFont(Font('Roboto', 12))
self.facetLabel.setText('Facet')
self.facetField = ComboBox(self)
self.facetField.setFixedWidth(200)
self.facetField.setFocusPolicy(QtCore.Qt.StrongFocus)
self.facetField.setFont(Font('Roboto', 12))
for facet in admissible:
self.facetField.addItem(facet.value, facet)
facet = self.node.facet
for i in range(self.facetField.count()):
if self.facetField.itemData(i) is facet:
self.facetField.setCurrentIndex(i)
break
else:
self.facetField.setCurrentIndex(0)
self.valueLabel = QtWidgets.QLabel(self)
self.valueLabel.setFont(Font('Roboto', 12))
self.valueLabel.setText('Value')
self.valueField = StringField(self)
self.valueField.setFixedWidth(200)
self.valueField.setFont(Font('Roboto', 12))
self.valueField.setValue(self.node.value)
self.facetWidget = QtWidgets.QWidget()
self.facetLayout = QtWidgets.QFormLayout(self.facetWidget)
self.facetLayout.addRow(self.facetLabel, self.facetField)
self.facetLayout.addRow(self.valueLabel, self.valueField)
self.mainWidget.addTab(self.facetWidget, 'Facet')
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def complete(self):
"""
Executed when the dialog is accepted.
"""
commands = [self.positionChanged(), self.facetChanged()]
if any(commands):
self.session.undostack.beginMacro('edit {0} properties'.format(
self.node.name))
for command in commands:
if command:
self.session.undostack.push(command)
self.session.undostack.endMacro()
super().accept()
#############################################
# AUXILIARY METHODS
#################################
def facetChanged(self):
"""
Change the facet value of the node of the node.
:rtype: QUndoCommand
"""
data = self.node.compose(self.facetField.currentData(),
self.valueField.value())
if self.node.text() != data:
return CommandLabelChange(self.diagram, self.node,
self.node.text(), data)
return None
class ValueNodeProperty(NodeProperty):
"""
This class implements the property dialog for value nodes.
"""
def __init__(self, diagram, node, session):
"""
Initialize the node properties dialog.
:type diagram: Diagram
:type node: AbstractNode
:type session: Session
"""
super().__init__(diagram, node, session)
#############################################
# VALUE TAB
#################################
self.datatypeLabel = QtWidgets.QLabel(self)
self.datatypeLabel.setFont(Font('Roboto', 12))
self.datatypeLabel.setText('Datatype')
self.datatypeField = ComboBox(self)
self.datatypeField.setFixedWidth(200)
self.datatypeField.setFocusPolicy(QtCore.Qt.StrongFocus)
self.datatypeField.setFont(Font('Roboto', 12))
for datatype in Datatype:
self.datatypeField.addItem(datatype.value, datatype)
datatype = self.node.datatype
for i in range(self.datatypeField.count()):
if self.datatypeField.itemData(i) is datatype:
self.datatypeField.setCurrentIndex(i)
break
else:
self.datatypeField.setCurrentIndex(0)
self.valueLabel = QtWidgets.QLabel(self)
self.valueLabel.setFont(Font('Roboto', 12))
self.valueLabel.setText('Value')
self.valueField = StringField(self)
self.valueField.setFixedWidth(200)
self.valueField.setFont(Font('Roboto', 12))
self.valueField.setValue(self.node.value)
self.valueWidget = QtWidgets.QWidget()
self.valueLayout = QtWidgets.QFormLayout(self.valueWidget)
self.valueLayout.addRow(self.datatypeLabel, self.datatypeField)
self.valueLayout.addRow(self.valueLabel, self.valueField)
self.mainWidget.addTab(self.valueWidget, 'Datatype')
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def complete(self):
"""
Executed when the dialog is accepted.
"""
commands = [self.positionChanged(), self.valueChanged()]
if any(commands):
self.session.undostack.beginMacro('edit {0} properties'.format(self.node.name))
for command in commands:
if command:
self.session.undostack.push(command)
self.session.undostack.endMacro()
super().accept()
#############################################
# AUXILIARY METHODS
#################################
def valueChanged(self):
"""
Change the value of the node.
:rtype: QUndoCommand
"""
datatype = self.datatypeField.currentData()
value = self.valueField.value()
data = self.node.compose(value, datatype)
if self.node.text() != data:
return CommandLabelChange(self.diagram, self.node, self.node.text(), data)
return None
def __init__(self, session):
"""
Initialize the Preferences dialog.
:type session: Session
"""
super().__init__(session)
settings = QtCore.QSettings(ORGANIZATION, APPNAME)
#############################################
# GENERAL TAB
#################################
## EDITOR GROUP
prefix = QtWidgets.QLabel(self, objectName='diagram_size_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Diagram size')
self.addWidget(prefix)
spinbox = SpinBox(self, objectName='diagram_size_field')
spinbox.setFont(Font('Roboto', 12))
spinbox.setRange(Diagram.MinSize, Diagram.MaxSize)
spinbox.setSingleStep(100)
spinbox.setToolTip('Default size of all the new created diagrams')
spinbox.setValue(settings.value('diagram/size', 5000, int))
self.addWidget(spinbox)
formlayout = QtWidgets.QFormLayout()
formlayout.addRow(self.widget('diagram_size_prefix'),
self.widget('diagram_size_field'))
groupbox = QtWidgets.QGroupBox('Editor',
self,
objectName='editor_widget')
groupbox.setLayout(formlayout)
self.addWidget(groupbox)
## UPDATE GROUP
prefix = QtWidgets.QLabel(self, objectName='update_startup_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Check for updates on startup')
self.addWidget(prefix)
checkbox = CheckBox(self, objectName='update_startup_checkbox')
checkbox.setChecked(
settings.value('update/check_on_startup', True, bool))
checkbox.setFont(Font('Roboto', 12))
checkbox.setToolTip(
'Whether or not application updates needs to be checked upon startup'
)
self.addWidget(checkbox)
prefix = QtWidgets.QLabel(self, objectName='update_channel_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Update channel')
self.addWidget(prefix)
combobox = ComboBox(objectName='update_channel_switch')
combobox.setEditable(False)
combobox.setFont(Font('Roboto', 12))
combobox.setFocusPolicy(QtCore.Qt.StrongFocus)
combobox.setScrollEnabled(False)
combobox.setToolTip(
'Update channel (current = %s)' %
settings.value('update/channel', Channel.Stable.value, str))
combobox.addItems([x.value for x in Channel])
combobox.setCurrentText(
settings.value('update/channel', Channel.Stable.value, str))
self.addWidget(combobox)
formlayout = QtWidgets.QFormLayout()
formlayout.addRow(self.widget('update_startup_prefix'),
self.widget('update_startup_checkbox'))
formlayout.addRow(self.widget('update_channel_prefix'),
self.widget('update_channel_switch'))
groupbox = QtWidgets.QGroupBox('Update',
self,
objectName='update_widget')
groupbox.setLayout(formlayout)
self.addWidget(groupbox)
## GENERAL TAB LAYOUT CONFIGURATION
layout = QtWidgets.QVBoxLayout()
layout.setAlignment(QtCore.Qt.AlignTop)
layout.addWidget(self.widget('editor_widget'), 0, QtCore.Qt.AlignTop)
layout.addWidget(self.widget('update_widget'), 0, QtCore.Qt.AlignTop)
widget = QtWidgets.QWidget()
widget.setLayout(layout)
widget.setObjectName('general_widget')
self.addWidget(widget)
#############################################
# EXPORT TAB
#################################
self.checks = {x: CheckBox(x.value, self) for x in OWLAxiom}
for axiom, checkbox in self.checks.items():
checkbox.setChecked(
settings.value('export/axiom/{}'.format(axiom.value), True,
bool))
## NON-LOGICAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.Annotation], 0, 0)
layout.addWidget(self.checks[OWLAxiom.Declaration], 0, 1)
layout.addWidget(QtWidgets.QWidget(self), 0, 2)
widget = QtWidgets.QGroupBox('Non-Logical',
self,
objectName='axioms_non_logical')
widget.setLayout(layout)
self.addWidget(widget)
## INTENSIONAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.AsymmetricObjectProperty], 0, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyDomain], 1, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyRange], 2, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointClasses], 3, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointDataProperties], 4, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointObjectProperties], 5, 0)
layout.addWidget(self.checks[OWLAxiom.EquivalentClasses], 6, 0)
layout.addWidget(self.checks[OWLAxiom.EquivalentDataProperties], 7, 0)
layout.addWidget(self.checks[OWLAxiom.EquivalentObjectProperties], 0,
1)
layout.addWidget(self.checks[OWLAxiom.FunctionalDataProperty], 1, 1)
layout.addWidget(self.checks[OWLAxiom.FunctionalObjectProperty], 2, 1)
layout.addWidget(self.checks[OWLAxiom.InverseFunctionalObjectProperty],
3, 1)
layout.addWidget(self.checks[OWLAxiom.InverseObjectProperties], 4, 1)
layout.addWidget(self.checks[OWLAxiom.IrreflexiveObjectProperty], 5, 1)
layout.addWidget(self.checks[OWLAxiom.ObjectPropertyDomain], 6, 1)
layout.addWidget(self.checks[OWLAxiom.ObjectPropertyRange], 7, 1)
layout.addWidget(self.checks[OWLAxiom.ReflexiveObjectProperty], 0, 2)
layout.addWidget(self.checks[OWLAxiom.SubClassOf], 1, 2)
layout.addWidget(self.checks[OWLAxiom.SubDataPropertyOf], 2, 2)
layout.addWidget(self.checks[OWLAxiom.SubObjectPropertyOf], 3, 2)
layout.addWidget(self.checks[OWLAxiom.SymmetricObjectProperty], 4, 2)
layout.addWidget(self.checks[OWLAxiom.TransitiveObjectProperty], 5, 2)
widget = QtWidgets.QGroupBox('Intensional',
self,
objectName='axioms_intensional')
widget.setLayout(layout)
self.addWidget(widget)
## EXTENSIONAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.ClassAssertion], 0, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyAssertion], 1, 0)
layout.addWidget(self.checks[OWLAxiom.NegativeDataPropertyAssertion],
0, 1)
layout.addWidget(self.checks[OWLAxiom.NegativeObjectPropertyAssertion],
1, 1)
layout.addWidget(self.checks[OWLAxiom.ObjectPropertyAssertion], 0, 2)
widget = QtWidgets.QGroupBox('Extensional',
self,
objectName='axioms_extensional')
widget.setLayout(layout)
self.addWidget(widget)
## LOGICAL GROUP
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('axioms_intensional'))
layout.addWidget(self.widget('axioms_extensional'))
widget = QtWidgets.QGroupBox('Logical',
self,
objectName='axioms_logical')
widget.setLayout(layout)
self.addWidget(widget)
## EXPORT TAB LAYOUT CONFIGURATION
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('axioms_non_logical'))
layout.addWidget(self.widget('axioms_logical'))
groupbox = QtWidgets.QGroupBox(
'OWL 2 Axioms for which exporting is enabled', self)
groupbox.setLayout(layout)
layout = QtWidgets.QVBoxLayout()
layout.setContentsMargins(10, 10, 10, 10)
layout.addWidget(groupbox)
widget = QtWidgets.QWidget(self, objectName='axioms_widget')
widget.setLayout(layout)
self.addWidget(widget)
#############################################
# PLUGINS TAB
#################################
table = QtWidgets.QTableWidget(len(self.session.plugins()),
5,
self,
objectName='plugins_table')
table.setHorizontalHeaderLabels(
['Name', 'Version', 'Author', 'Contact', 'Uninstall'])
table.setFont(Font('Roboto', 12))
table.setSelectionMode(QtWidgets.QAbstractItemView.NoSelection)
table.setFocusPolicy(QtCore.Qt.NoFocus)
self.addWidget(table)
header = table.horizontalHeader()
header.setSectionResizeMode(0, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(1, QtWidgets.QHeaderView.Fixed)
header.setSectionResizeMode(2, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(3, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(4, QtWidgets.QHeaderView.Fixed)
header.setSectionsClickable(False)
header.setSectionsMovable(False)
header = table.verticalHeader()
header.setSectionResizeMode(QtWidgets.QHeaderView.Fixed)
self.uninstall = dict()
for row, plugin in enumerate(
sorted(self.session.plugins(), key=lambda x: x.name())):
item = QtWidgets.QTableWidgetItem(plugin.name())
item.setTextAlignment(QtCore.Qt.AlignLeft | QtCore.Qt.AlignVCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 0, item)
item = QtWidgets.QTableWidgetItem('v{0}'.format(plugin.version()))
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 1, item)
item = QtWidgets.QTableWidgetItem(plugin.author())
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 2, item)
item = QtWidgets.QTableWidgetItem(plugin.contact())
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 3, item)
p_widget = QtWidgets.QWidget()
p_checkbox = CheckBox()
p_checkbox.setEnabled(not plugin.isBuiltIn())
p_layout = QtWidgets.QHBoxLayout(p_widget)
p_layout.addWidget(p_checkbox)
p_layout.setAlignment(QtCore.Qt.AlignCenter)
p_layout.setContentsMargins(0, 0, 0, 0)
table.setCellWidget(row, 4, p_widget)
self.uninstall[plugin] = p_checkbox
button = QtWidgets.QToolButton(self,
objectName='plugins_install_button')
button.setDefaultAction(self.session.action('install_plugin'))
button.setToolButtonStyle(QtCore.Qt.ToolButtonTextBesideIcon)
button.setFont(Font('Roboto', 13))
self.addWidget(button)
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('plugins_table'), 1)
layout.addWidget(self.widget('plugins_install_button'), 0,
QtCore.Qt.AlignRight)
widget = QtWidgets.QWidget(objectName='plugins_widget')
widget.setLayout(layout)
self.addWidget(widget)
#############################################
# CONFIRMATION BOX
#################################
confirmation = QtWidgets.QDialogButtonBox(
QtCore.Qt.Horizontal, self, objectName='confirmation_widget')
confirmation.addButton(QtWidgets.QDialogButtonBox.Save)
confirmation.addButton(QtWidgets.QDialogButtonBox.Cancel)
confirmation.setContentsMargins(10, 0, 10, 10)
confirmation.setFont(Font('Roboto', 12))
self.addWidget(confirmation)
#############################################
# MAIN WIDGET
#################################
widget = QtWidgets.QTabWidget(self, objectName='main_widget')
widget.addTab(self.widget('general_widget'),
QtGui.QIcon(':/icons/24/ic_settings_black'), 'General')
widget.addTab(self.widget('axioms_widget'),
QtGui.QIcon(':/icons/24/ic_export_black'), 'Export')
widget.addTab(self.widget('plugins_widget'),
QtGui.QIcon(':/icons/24/ic_extension_black'), 'Plugins')
self.addWidget(widget)
layout = QtWidgets.QVBoxLayout()
layout.setContentsMargins(0, 0, 0, 0)
layout.addWidget(self.widget('main_widget'))
layout.addWidget(self.widget('confirmation_widget'), 0,
QtCore.Qt.AlignRight)
self.setLayout(layout)
self.setMinimumSize(740, 420)
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
self.setWindowTitle('Preferences')
connect(confirmation.accepted, self.accept)
connect(confirmation.rejected, self.reject)
class FacetNodeProperty(NodeProperty):
"""
This class implements the property dialog for facet nodes.
"""
def __init__(self, diagram, node, session):
"""
Initialize the node properties dialog.
:type diagram: Diagram
:type node: AbstractNode
:type session: Session
"""
super().__init__(diagram, node, session)
#############################################
# FACET TAB
#################################
f1 = lambda x: x.type() is Item.InputEdge
f2 = lambda x: x.type() is Item.DatatypeRestrictionNode
f3 = lambda x: x.type() is Item.ValueDomainNode
admissible = [x for x in Facet]
restriction = first(self.node.outgoingNodes(filter_on_edges=f1, filter_on_nodes=f2))
if restriction:
valuedomain = first(restriction.incomingNodes(filter_on_edges=f1, filter_on_nodes=f3))
if valuedomain:
admissible = Facet.forDatatype(valuedomain.datatype)
self.facetLabel = QtWidgets.QLabel(self)
self.facetLabel.setFont(Font('Roboto', 12))
self.facetLabel.setText('Facet')
self.facetField = ComboBox(self)
self.facetField.setFixedWidth(200)
self.facetField.setFocusPolicy(QtCore.Qt.StrongFocus)
self.facetField.setFont(Font('Roboto', 12))
for facet in admissible:
self.facetField.addItem(facet.value, facet)
facet = self.node.facet
for i in range(self.facetField.count()):
if self.facetField.itemData(i) is facet:
self.facetField.setCurrentIndex(i)
break
else:
self.facetField.setCurrentIndex(0)
self.valueLabel = QtWidgets.QLabel(self)
self.valueLabel.setFont(Font('Roboto', 12))
self.valueLabel.setText('Value')
self.valueField = StringField(self)
self.valueField.setFixedWidth(200)
self.valueField.setFont(Font('Roboto', 12))
self.valueField.setValue(self.node.value)
self.facetWidget = QtWidgets.QWidget()
self.facetLayout = QtWidgets.QFormLayout(self.facetWidget)
self.facetLayout.addRow(self.facetLabel, self.facetField)
self.facetLayout.addRow(self.valueLabel, self.valueField)
self.mainWidget.addTab(self.facetWidget, 'Facet')
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def complete(self):
"""
Executed when the dialog is accepted.
"""
commands = [self.positionChanged(), self.facetChanged()]
if any(commands):
self.session.undostack.beginMacro('edit {0} properties'.format(self.node.name))
for command in commands:
if command:
self.session.undostack.push(command)
self.session.undostack.endMacro()
super().accept()
#############################################
# AUXILIARY METHODS
#################################
def facetChanged(self):
"""
Change the facet value of the node of the node.
:rtype: QUndoCommand
"""
data = self.node.compose(self.facetField.currentData(), self.valueField.value())
if self.node.text() != data:
return CommandLabelChange(self.diagram, self.node, self.node.text(), data)
return None
class ValueForm(QtWidgets.QDialog):
"""
This class implements the form used to select the Value of an Individual node.
"""
def __init__(self, node, session):
"""
Initialize the form dialog.
:type node: IndividualNode
:type session: Session
"""
super().__init__(session)
self.node = node
#############################################
# FORM AREA
#################################
self.datatypeLabel = QtWidgets.QLabel(self)
self.datatypeLabel.setFont(Font('Roboto', 12))
self.datatypeLabel.setText('Datatype')
self.datatypeField = ComboBox(self)
self.datatypeField.setFont(Font('Roboto', 12))
self.datatypeField.setFixedWidth(300)
for datatype in sorted(Datatype.forProfile(
self.project.profile.type()),
key=attrgetter('value')):
self.datatypeField.addItem(datatype.value, datatype)
self.valueLabel = QtWidgets.QLabel(self)
self.valueLabel.setFont(Font('Roboto', 12))
self.valueLabel.setText('Value')
self.valueField = StringField(self)
self.valueField.setFixedWidth(300)
if node.identity() is Identity.Value:
self.valueField.setValue(node.value)
datatype = node.datatype
for i in range(self.datatypeField.count()):
if self.datatypeField.itemData(i) is datatype:
self.datatypeField.setCurrentIndex(i)
break
else:
self.valueField.setValue('')
self.datatypeField.setCurrentIndex(0)
self.formWidget = QtWidgets.QWidget(self)
self.formLayout = QtWidgets.QFormLayout(self.formWidget)
self.formLayout.addRow(self.datatypeLabel, self.datatypeField)
self.formLayout.addRow(self.valueLabel, self.valueField)
#############################################
# CONFIRMATION AREA
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(
QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
self.confirmationBox.setFont(Font('Roboto', 12))
#############################################
# SETUP DIALOG LAYOUT
#################################
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.formWidget)
self.mainLayout.addWidget(self.confirmationBox, 0,
QtCore.Qt.AlignRight)
self.setFixedSize(self.sizeHint())
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
self.setWindowTitle('Compose value')
connect(self.confirmationBox.accepted, self.accept)
connect(self.confirmationBox.rejected, self.reject)
#############################################
# PROPERTIES
#################################
@property
def project(self):
"""
Returns the reference to the active project.
:rtype: Project
"""
return self.session.project
@property
def session(self):
"""
Returns the reference to the active session (alias for RefactorNameForm.parent()).
:rtype: Session
"""
return self.parent()
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def accept(self):
"""
Accepts the form and set the new value.
"""
node = self.node
diagram = node.diagram
datatype = self.datatypeField.currentData()
value = self.valueField.value()
data = node.compose(value, datatype)
if node.text() != data:
name = 'change {0} to {1}'.format(node.text(), data)
self.session.undostack.push(
CommandLabelChange(diagram, node, node.text(), data,
name=name))
super().accept()
class ValueForm(QtWidgets.QDialog):
"""
This class implements the form used to select the Value of an Individual node.
"""
def __init__(self, node, session):
"""
Initialize the form dialog.
:type node: IndividualNode
:type session: Session
"""
super().__init__(session)
self.node = node
#############################################
# FORM AREA
#################################
self.datatypeLabel = QtWidgets.QLabel(self)
self.datatypeLabel.setFont(Font('Roboto', 12))
self.datatypeLabel.setText('Datatype')
self.datatypeField = ComboBox(self)
self.datatypeField.setFont(Font('Roboto', 12))
self.datatypeField.setFixedWidth(300)
for datatype in sorted(Datatype.forProfile(
self.project.profile.type()),
key=attrgetter('value')):
self.datatypeField.addItem(datatype.value, datatype)
self.valueLabel = QtWidgets.QLabel(self)
self.valueLabel.setFont(Font('Roboto', 12))
self.valueLabel.setText('Value')
self.valueField = StringField(self)
self.valueField.setFixedWidth(300)
if node.identity() is Identity.Value:
self.valueField.setValue(node.value)
datatype = node.datatype
for i in range(self.datatypeField.count()):
if self.datatypeField.itemData(i) is datatype:
self.datatypeField.setCurrentIndex(i)
break
else:
self.valueField.setValue('')
self.datatypeField.setCurrentIndex(0)
self.formWidget = QtWidgets.QWidget(self)
self.formLayout = QtWidgets.QFormLayout(self.formWidget)
self.formLayout.addRow(self.datatypeLabel, self.datatypeField)
self.formLayout.addRow(self.valueLabel, self.valueField)
#############################################
# CONFIRMATION AREA
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(
QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
self.confirmationBox.setFont(Font('Roboto', 12))
#############################################
# SETUP DIALOG LAYOUT
#################################
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.formWidget)
self.mainLayout.addWidget(self.confirmationBox, 0,
QtCore.Qt.AlignRight)
self.setFixedSize(self.sizeHint())
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
self.setWindowTitle('Compose value')
connect(self.confirmationBox.accepted, self.accept)
connect(self.confirmationBox.rejected, self.reject)
#############################################
# PROPERTIES
#################################
@property
def project(self):
"""
Returns the reference to the active project.
:rtype: Project
"""
return self.session.project
@property
def session(self):
"""
Returns the reference to the active session (alias for RefactorNameForm.parent()).
:rtype: Session
"""
return self.parent()
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def accept(self):
"""
Accepts the form and set the new value.
"""
#print('>>> ValueForm (accept)')
node = self.node
diagram = node.diagram
datatype = self.datatypeField.currentData()
value = self.valueField.value()
data = node.compose(value, datatype)
#print('data',data)
if node.text() != data:
name = 'change {0} to {1}'.format(node.text(), data)
new_prefix = datatype.value[0:datatype.value.index(':')]
new_remaining_characters = datatype.value[datatype.value.index(':'
) +
1:len(datatype.value)]
new_iri = None
for std_iri in OWLStandardIRIPrefixPairsDict.std_IRI_prefix_dict.keys(
):
std_prefix = OWLStandardIRIPrefixPairsDict.std_IRI_prefix_dict[
std_iri]
if std_prefix == new_prefix:
new_iri = std_iri
if new_iri is None:
LOGGER.error(
'***************** failed to assign iri to node *******************'
)
return
#print('self.project.get_prefix_of_node(node) - new_prefix',self.project.get_prefix_of_node(node),'-',new_prefix)
#print('self.project.get_iri_of_node(node) - new_iri',self.project.get_iri_of_node(node),'-',new_iri)
#print('node.remaining_characters - new_remaining_characters',node.remaining_characters,'-',new_remaining_characters)
#print('data=',data)
Duplicate_dict_1 = self.project.copy_IRI_prefixes_nodes_dictionaries(
self.project.IRI_prefixes_nodes_dict, dict())
Duplicate_dict_2 = self.project.copy_IRI_prefixes_nodes_dictionaries(
self.project.IRI_prefixes_nodes_dict, dict())
old_iri = self.project.get_iri_of_node(node)
Duplicate_dict_1[old_iri][1].remove(node)
Duplicate_dict_1[new_iri][1].add(node)
commands = []
commands.append(
CommandProjectDisconnectSpecificSignals(self.project))
commands.append(
CommandLabelChange(diagram, self.node, self.node.text(), data))
commands.append(
CommandProjetSetIRIPrefixesNodesDict(self.project,
Duplicate_dict_2,
Duplicate_dict_1,
[old_iri, new_iri],
[node]))
commands.append(
CommandNodeSetRemainingCharacters(node.remaining_characters,
new_remaining_characters,
node, self.project))
commands.append(
CommandLabelChange(diagram, self.node, self.node.text(), data))
commands.append(CommandProjectConnectSpecificSignals(self.project))
if any(commands):
self.session.undostack.beginMacro(
'edit Forms >> accept() {0}'.format(node))
for command in commands:
if command:
self.session.undostack.push(command)
self.session.undostack.endMacro()
super().accept()
def __init__(self, session):
"""
Initialize the Preferences dialog.
:type session: Session
"""
super().__init__(session)
settings = QtCore.QSettings(ORGANIZATION, APPNAME)
#############################################
# GENERAL TAB
#################################
## EDITOR GROUP
prefix = QtWidgets.QLabel(self, objectName='diagram_size_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Diagram size')
self.addWidget(prefix)
spinbox = SpinBox(self, objectName='diagram_size_field')
spinbox.setFont(Font('Roboto', 12))
spinbox.setRange(Diagram.MinSize, Diagram.MaxSize)
spinbox.setSingleStep(100)
spinbox.setToolTip('Default size of all the new created diagrams')
spinbox.setValue(settings.value('diagram/size', 5000, int))
self.addWidget(spinbox)
formlayout = QtWidgets.QFormLayout()
formlayout.addRow(self.widget('diagram_size_prefix'), self.widget('diagram_size_field'))
groupbox = QtWidgets.QGroupBox('Editor', self, objectName='editor_widget')
groupbox.setLayout(formlayout)
self.addWidget(groupbox)
## UPDATE GROUP
prefix = QtWidgets.QLabel(self, objectName='update_startup_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Check for updates on startup')
self.addWidget(prefix)
checkbox = CheckBox(self, objectName='update_startup_checkbox')
checkbox.setChecked(settings.value('update/check_on_startup', True, bool))
checkbox.setFont(Font('Roboto', 12))
checkbox.setToolTip('Whether or not application updates needs to be checked upon startup')
self.addWidget(checkbox)
prefix = QtWidgets.QLabel(self, objectName='update_channel_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Update channel')
self.addWidget(prefix)
combobox = ComboBox(objectName='update_channel_switch')
combobox.setEditable(False)
combobox.setFont(Font('Roboto', 12))
combobox.setFocusPolicy(QtCore.Qt.StrongFocus)
combobox.setScrollEnabled(False)
combobox.setToolTip('Update channel (current = %s)' % settings.value('update/channel', Channel.Stable.value, str))
combobox.addItems([x.value for x in Channel])
combobox.setCurrentText(settings.value('update/channel', Channel.Stable.value, str))
self.addWidget(combobox)
formlayout = QtWidgets.QFormLayout()
formlayout.addRow(self.widget('update_startup_prefix'), self.widget('update_startup_checkbox'))
formlayout.addRow(self.widget('update_channel_prefix'), self.widget('update_channel_switch'))
groupbox = QtWidgets.QGroupBox('Update', self, objectName='update_widget')
groupbox.setLayout(formlayout)
self.addWidget(groupbox)
## GENERAL TAB LAYOUT CONFIGURATION
layout = QtWidgets.QVBoxLayout()
layout.setAlignment(QtCore.Qt.AlignTop)
layout.addWidget(self.widget('editor_widget'), 0, QtCore.Qt.AlignTop)
layout.addWidget(self.widget('update_widget'), 0, QtCore.Qt.AlignTop)
widget = QtWidgets.QWidget()
widget.setLayout(layout)
widget.setObjectName('general_widget')
self.addWidget(widget)
#############################################
# EXPORT TAB
#################################
self.checks = {x: CheckBox(x.value, self) for x in OWLAxiom}
for axiom, checkbox in self.checks.items():
checkbox.setChecked(settings.value('export/axiom/{}'.format(axiom.value), True, bool))
## NON-LOGICAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.Annotation], 0, 0)
layout.addWidget(self.checks[OWLAxiom.Declaration], 0, 1)
layout.addWidget(QtWidgets.QWidget(self), 0, 2)
widget = QtWidgets.QGroupBox('Non-Logical', self, objectName='axioms_non_logical')
widget.setLayout(layout)
self.addWidget(widget)
## INTENSIONAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.AsymmetricObjectProperty], 0, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyDomain], 1, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyRange], 2, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointClasses], 3, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointDataProperties], 4, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointObjectProperties], 5, 0)
layout.addWidget(self.checks[OWLAxiom.EquivalentClasses], 6, 0)
layout.addWidget(self.checks[OWLAxiom.EquivalentDataProperties], 7, 0)
layout.addWidget(self.checks[OWLAxiom.EquivalentObjectProperties], 0, 1)
layout.addWidget(self.checks[OWLAxiom.FunctionalDataProperty], 1, 1)
layout.addWidget(self.checks[OWLAxiom.FunctionalObjectProperty], 2, 1)
layout.addWidget(self.checks[OWLAxiom.InverseFunctionalObjectProperty], 3, 1)
layout.addWidget(self.checks[OWLAxiom.InverseObjectProperties], 4, 1)
layout.addWidget(self.checks[OWLAxiom.IrreflexiveObjectProperty], 5, 1)
layout.addWidget(self.checks[OWLAxiom.ObjectPropertyDomain], 6, 1)
layout.addWidget(self.checks[OWLAxiom.ObjectPropertyRange], 7, 1)
layout.addWidget(self.checks[OWLAxiom.ReflexiveObjectProperty], 0, 2)
layout.addWidget(self.checks[OWLAxiom.SubClassOf], 1, 2)
layout.addWidget(self.checks[OWLAxiom.SubDataPropertyOf], 2, 2)
layout.addWidget(self.checks[OWLAxiom.SubObjectPropertyOf], 3, 2)
layout.addWidget(self.checks[OWLAxiom.SymmetricObjectProperty], 4, 2)
layout.addWidget(self.checks[OWLAxiom.TransitiveObjectProperty], 5, 2)
widget = QtWidgets.QGroupBox('Intensional', self, objectName='axioms_intensional')
widget.setLayout(layout)
self.addWidget(widget)
## EXTENSIONAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.ClassAssertion], 0, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyAssertion], 1, 0)
layout.addWidget(self.checks[OWLAxiom.NegativeDataPropertyAssertion], 0, 1)
layout.addWidget(self.checks[OWLAxiom.NegativeObjectPropertyAssertion], 1, 1)
layout.addWidget(self.checks[OWLAxiom.ObjectPropertyAssertion], 0, 2)
widget = QtWidgets.QGroupBox('Extensional', self, objectName='axioms_extensional')
widget.setLayout(layout)
self.addWidget(widget)
## LOGICAL GROUP
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('axioms_intensional'))
layout.addWidget(self.widget('axioms_extensional'))
widget = QtWidgets.QGroupBox('Logical', self, objectName='axioms_logical')
widget.setLayout(layout)
self.addWidget(widget)
## EXPORT TAB LAYOUT CONFIGURATION
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('axioms_non_logical'))
layout.addWidget(self.widget('axioms_logical'))
groupbox = QtWidgets.QGroupBox('OWL 2 Axioms for which exporting is enabled', self)
groupbox.setLayout(layout)
layout = QtWidgets.QVBoxLayout()
layout.setContentsMargins(10, 10, 10, 10)
layout.addWidget(groupbox)
widget = QtWidgets.QWidget(self, objectName='axioms_widget')
widget.setLayout(layout)
self.addWidget(widget)
#############################################
# PLUGINS TAB
#################################
table = QtWidgets.QTableWidget(len(self.session.plugins()), 5, self, objectName='plugins_table')
table.setHorizontalHeaderLabels(['Name', 'Version', 'Author', 'Contact', 'Uninstall'])
table.setFont(Font('Roboto', 12))
table.setSelectionMode(QtWidgets.QAbstractItemView.NoSelection)
table.setFocusPolicy(QtCore.Qt.NoFocus)
self.addWidget(table)
header = table.horizontalHeader()
header.setSectionResizeMode(0, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(1, QtWidgets.QHeaderView.Fixed)
header.setSectionResizeMode(2, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(3, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(4, QtWidgets.QHeaderView.Fixed)
header.setSectionsClickable(False)
header.setSectionsMovable(False)
header = table.verticalHeader()
header.setSectionResizeMode(QtWidgets.QHeaderView.Fixed)
self.uninstall = dict()
for row, plugin in enumerate(sorted(self.session.plugins(), key=lambda x: x.name())):
item = QtWidgets.QTableWidgetItem(plugin.name())
item.setTextAlignment(QtCore.Qt.AlignLeft|QtCore.Qt.AlignVCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 0, item)
item = QtWidgets.QTableWidgetItem('v{0}'.format(plugin.version()))
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 1, item)
item = QtWidgets.QTableWidgetItem(plugin.author())
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 2, item)
item = QtWidgets.QTableWidgetItem(plugin.contact())
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 3, item)
p_widget = QtWidgets.QWidget()
p_checkbox = CheckBox()
p_checkbox.setEnabled(not plugin.isBuiltIn())
p_layout = QtWidgets.QHBoxLayout(p_widget)
p_layout.addWidget(p_checkbox)
p_layout.setAlignment(QtCore.Qt.AlignCenter)
p_layout.setContentsMargins(0, 0, 0, 0)
table.setCellWidget(row, 4, p_widget)
self.uninstall[plugin] = p_checkbox
button = QtWidgets.QToolButton(self, objectName='plugins_install_button')
button.setDefaultAction(self.session.action('install_plugin'))
button.setToolButtonStyle(QtCore.Qt.ToolButtonTextBesideIcon)
button.setFont(Font('Roboto', 13))
self.addWidget(button)
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('plugins_table'), 1)
layout.addWidget(self.widget('plugins_install_button'), 0, QtCore.Qt.AlignRight)
widget = QtWidgets.QWidget(objectName='plugins_widget')
widget.setLayout(layout)
self.addWidget(widget)
#############################################
# CONFIRMATION BOX
#################################
confirmation = QtWidgets.QDialogButtonBox(QtCore.Qt.Horizontal, self, objectName='confirmation_widget')
confirmation.addButton(QtWidgets.QDialogButtonBox.Save)
confirmation.addButton(QtWidgets.QDialogButtonBox.Cancel)
confirmation.setContentsMargins(10, 0, 10, 10)
confirmation.setFont(Font('Roboto', 12))
self.addWidget(confirmation)
#############################################
# MAIN WIDGET
#################################
widget = QtWidgets.QTabWidget(self, objectName='main_widget')
widget.addTab(self.widget('general_widget'), QtGui.QIcon(':/icons/24/ic_settings_black'), 'General')
widget.addTab(self.widget('axioms_widget'), QtGui.QIcon(':/icons/24/ic_export_black'), 'Export')
widget.addTab(self.widget('plugins_widget'), QtGui.QIcon(':/icons/24/ic_extension_black'), 'Plugins')
self.addWidget(widget)
layout = QtWidgets.QVBoxLayout()
layout.setContentsMargins(0, 0, 0, 0)
layout.addWidget(self.widget('main_widget'))
layout.addWidget(self.widget('confirmation_widget'), 0, QtCore.Qt.AlignRight)
self.setLayout(layout)
self.setMinimumSize(740, 420)
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
self.setWindowTitle('Preferences')
connect(confirmation.accepted, self.accept)
connect(confirmation.rejected, self.reject)
def __init__(self, session):
"""
Initialize the Preferences dialog.
:type session: Session
"""
super().__init__(session)
settings = QtCore.QSettings(ORGANIZATION, APPNAME)
#############################################
# GENERAL TAB
#################################
## TABLE MERGE POLICY GROUP
# CLASSES
prefix = QtWidgets.QLabel(self, objectName='class_merge_policy_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Class Merge Policy')
self.addWidget(prefix)
combobox = ComboBox(objectName='class_merge_policy_switch')
combobox.setEditable(False)
combobox.setFont(Font('Roboto', 12))
combobox.setFocusPolicy(QtCore.Qt.StrongFocus)
combobox.setScrollEnabled(False)
combobox.addItems([x.value for x in ClassMergeWithClassPolicyLabels])
combobox.setCurrentText(
settings.value('blackbird/merge/policy/class', ClassMergeWithClassPolicyLabels.NO_MERGE.value, str))
self.addWidget(combobox)
# OBJECT PROPERTIES
prefix = QtWidgets.QLabel(self, objectName='object_properties_merge_policy_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Object Properties Merge Policy')
self.addWidget(prefix)
combobox = ComboBox(objectName='object_properties_merge_policy_switch')
combobox.setEditable(False)
combobox.setFont(Font('Roboto', 12))
combobox.setFocusPolicy(QtCore.Qt.StrongFocus)
combobox.setScrollEnabled(False)
combobox.addItems([x.value for x in ObjectPropertyMergeWithClassPolicyLabels])
combobox.setCurrentText(
settings.value('blackbird/merge/policy/objProps', ObjectPropertyMergeWithClassPolicyLabels.NO_MERGE.value,
str))
self.addWidget(combobox)
# DATA PROPERTIES
prefix = QtWidgets.QLabel(self, objectName='data_properties_merge_policy_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Data Properties Merge Policy')
self.addWidget(prefix)
combobox = ComboBox(objectName='data_properties_merge_policy_switch')
combobox.setEditable(False)
combobox.setFont(Font('Roboto', 12))
combobox.setFocusPolicy(QtCore.Qt.StrongFocus)
combobox.setScrollEnabled(False)
combobox.addItems([x.value for x in DataPropertyMergeWithClassPolicyLabels])
combobox.setCurrentText(
settings.value('blackbird/merge/policy/dataProps', DataPropertyMergeWithClassPolicyLabels.NO_MERGE.value,
str))
self.addWidget(combobox)
formlayout = QtWidgets.QFormLayout()
formlayout.addRow(self.widget('class_merge_policy_prefix'), self.widget('class_merge_policy_switch'))
formlayout.addRow(self.widget('object_properties_merge_policy_prefix'),
self.widget('object_properties_merge_policy_switch'))
formlayout.addRow(self.widget('data_properties_merge_policy_prefix'),
self.widget('data_properties_merge_policy_switch'))
groupbox = QtWidgets.QGroupBox('Table Merge Policy', self, objectName='merge_policy_widget')
groupbox.setLayout(formlayout)
self.addWidget(groupbox)
## GENERAL TAB LAYOUT CONFIGURATION
layout = QtWidgets.QVBoxLayout()
layout.setAlignment(QtCore.Qt.AlignTop)
layout.addWidget(self.widget('merge_policy_widget'), 0, QtCore.Qt.AlignTop)
widget = QtWidgets.QWidget()
widget.setLayout(layout)
widget.setObjectName('general_widget')
self.addWidget(widget)
#############################################
# CONFIRMATION BOX
#################################
confirmation = QtWidgets.QDialogButtonBox(QtCore.Qt.Horizontal, self, objectName='confirmation_widget')
confirmation.addButton(QtWidgets.QDialogButtonBox.Save)
confirmation.addButton(QtWidgets.QDialogButtonBox.Cancel)
confirmation.setContentsMargins(10, 0, 10, 10)
confirmation.setFont(Font('Roboto', 12))
self.addWidget(confirmation)
#############################################
# MAIN WIDGET
#################################
widget = QtWidgets.QTabWidget(self, objectName='main_widget')
widget.addTab(self.widget('general_widget'), QtGui.QIcon(':/icons/24/ic_settings_black'),
'Schema Configuration')
self.addWidget(widget)
layout = QtWidgets.QVBoxLayout()
layout.setContentsMargins(0, 0, 0, 0)
layout.addWidget(self.widget('main_widget'))
layout.addWidget(self.widget('confirmation_widget'), 0, QtCore.Qt.AlignRight)
self.setLayout(layout)
self.setMinimumSize(740, 420)
self.setWindowIcon(QtGui.QIcon(':/blackbird/icons/128/ic_blackbird'))
self.setWindowTitle('Preferences')
connect(confirmation.accepted, self.accept)
connect(confirmation.rejected, self.reject)