Initial Qt5/Python3 switch

This converts the GUI code to use Qt5 and Python3

The GUI is still somewhat buggy, and it can't open files yet,
but seems to be mostly working, extensive testing will
be needed before this can be released.
This commit is contained in:
Salvo 'LtWorf' Tomaselli
2015-02-19 14:00:47 +01:00
parent 98da6fa7f6
commit cf377eca46
11 changed files with 526 additions and 574 deletions

View File

@@ -2,120 +2,106 @@
# Form implementation generated from reading ui file 'relational_gui/maingui.ui'
#
# Created: Fri Dec 27 00:23:51 2013
# by: PyQt4 UI code generator 4.10.3
# Created: Thu Feb 19 13:07:47 2015
# by: PyQt5 UI code generator 5.3.2
#
# WARNING! All changes made in this file will be lost!
from PyQt4 import QtCore, QtGui
try:
_fromUtf8 = QtCore.QString.fromUtf8
except AttributeError:
def _fromUtf8(s):
return s
try:
_encoding = QtGui.QApplication.UnicodeUTF8
def _translate(context, text, disambig):
return QtGui.QApplication.translate(context, text, disambig, _encoding)
except AttributeError:
def _translate(context, text, disambig):
return QtGui.QApplication.translate(context, text, disambig)
from PyQt5 import QtCore, QtGui, QtWidgets
class Ui_MainWindow(object):
def setupUi(self, MainWindow):
MainWindow.setObjectName(_fromUtf8("MainWindow"))
MainWindow.setObjectName("MainWindow")
MainWindow.resize(800, 612)
self.centralwidget = QtGui.QWidget(MainWindow)
self.centralwidget.setObjectName(_fromUtf8("centralwidget"))
self.verticalLayout_7 = QtGui.QVBoxLayout(self.centralwidget)
self.verticalLayout_7.setObjectName(_fromUtf8("verticalLayout_7"))
self.splitter_4 = QtGui.QSplitter(self.centralwidget)
self.centralwidget = QtWidgets.QWidget(MainWindow)
self.centralwidget.setObjectName("centralwidget")
self.verticalLayout_7 = QtWidgets.QVBoxLayout(self.centralwidget)
self.verticalLayout_7.setObjectName("verticalLayout_7")
self.splitter_4 = QtWidgets.QSplitter(self.centralwidget)
self.splitter_4.setOrientation(QtCore.Qt.Horizontal)
self.splitter_4.setObjectName(_fromUtf8("splitter_4"))
self.layoutWidget = QtGui.QWidget(self.splitter_4)
self.layoutWidget.setObjectName(_fromUtf8("layoutWidget"))
self.verticalLayout_11 = QtGui.QVBoxLayout(self.layoutWidget)
self.verticalLayout_11.setMargin(0)
self.verticalLayout_11.setObjectName(_fromUtf8("verticalLayout_11"))
self.groupBox_3 = QtGui.QGroupBox(self.layoutWidget)
self.groupBox_3.setObjectName(_fromUtf8("groupBox_3"))
self.verticalLayout_5 = QtGui.QVBoxLayout(self.groupBox_3)
self.verticalLayout_5.setObjectName(_fromUtf8("verticalLayout_5"))
self.cmdAbout = QtGui.QPushButton(self.groupBox_3)
self.cmdAbout.setObjectName(_fromUtf8("cmdAbout"))
self.splitter_4.setObjectName("splitter_4")
self.layoutWidget = QtWidgets.QWidget(self.splitter_4)
self.layoutWidget.setObjectName("layoutWidget")
self.verticalLayout_11 = QtWidgets.QVBoxLayout(self.layoutWidget)
self.verticalLayout_11.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_11.setObjectName("verticalLayout_11")
self.groupBox_3 = QtWidgets.QGroupBox(self.layoutWidget)
self.groupBox_3.setObjectName("groupBox_3")
self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.groupBox_3)
self.verticalLayout_5.setObjectName("verticalLayout_5")
self.cmdAbout = QtWidgets.QPushButton(self.groupBox_3)
self.cmdAbout.setObjectName("cmdAbout")
self.verticalLayout_5.addWidget(self.cmdAbout)
self.cmdSurvey = QtGui.QPushButton(self.groupBox_3)
self.cmdSurvey.setObjectName(_fromUtf8("cmdSurvey"))
self.cmdSurvey = QtWidgets.QPushButton(self.groupBox_3)
self.cmdSurvey.setObjectName("cmdSurvey")
self.verticalLayout_5.addWidget(self.cmdSurvey)
self.verticalLayout_11.addWidget(self.groupBox_3)
self.groupBox_4 = QtGui.QGroupBox(self.layoutWidget)
self.groupBox_4.setObjectName(_fromUtf8("groupBox_4"))
self.verticalLayout_10 = QtGui.QVBoxLayout(self.groupBox_4)
self.verticalLayout_10.setObjectName(_fromUtf8("verticalLayout_10"))
self.cmdProduct = QtGui.QPushButton(self.groupBox_4)
self.cmdProduct.setObjectName(_fromUtf8("cmdProduct"))
self.groupBox_4 = QtWidgets.QGroupBox(self.layoutWidget)
self.groupBox_4.setObjectName("groupBox_4")
self.verticalLayout_10 = QtWidgets.QVBoxLayout(self.groupBox_4)
self.verticalLayout_10.setObjectName("verticalLayout_10")
self.cmdProduct = QtWidgets.QPushButton(self.groupBox_4)
self.cmdProduct.setObjectName("cmdProduct")
self.verticalLayout_10.addWidget(self.cmdProduct)
self.cmdDifference = QtGui.QPushButton(self.groupBox_4)
self.cmdDifference.setObjectName(_fromUtf8("cmdDifference"))
self.cmdDifference = QtWidgets.QPushButton(self.groupBox_4)
self.cmdDifference.setObjectName("cmdDifference")
self.verticalLayout_10.addWidget(self.cmdDifference)
self.cmdUnion = QtGui.QPushButton(self.groupBox_4)
self.cmdUnion.setObjectName(_fromUtf8("cmdUnion"))
self.cmdUnion = QtWidgets.QPushButton(self.groupBox_4)
self.cmdUnion.setObjectName("cmdUnion")
self.verticalLayout_10.addWidget(self.cmdUnion)
self.cmdIntersection = QtGui.QPushButton(self.groupBox_4)
self.cmdIntersection.setObjectName(_fromUtf8("cmdIntersection"))
self.cmdIntersection = QtWidgets.QPushButton(self.groupBox_4)
self.cmdIntersection.setObjectName("cmdIntersection")
self.verticalLayout_10.addWidget(self.cmdIntersection)
self.cmdDivision = QtGui.QPushButton(self.groupBox_4)
self.cmdDivision.setObjectName(_fromUtf8("cmdDivision"))
self.cmdDivision = QtWidgets.QPushButton(self.groupBox_4)
self.cmdDivision.setObjectName("cmdDivision")
self.verticalLayout_10.addWidget(self.cmdDivision)
self.cmdJoin = QtGui.QPushButton(self.groupBox_4)
self.cmdJoin.setObjectName(_fromUtf8("cmdJoin"))
self.cmdJoin = QtWidgets.QPushButton(self.groupBox_4)
self.cmdJoin.setObjectName("cmdJoin")
self.verticalLayout_10.addWidget(self.cmdJoin)
self.cmdOuterLeft = QtGui.QPushButton(self.groupBox_4)
self.cmdOuterLeft.setObjectName(_fromUtf8("cmdOuterLeft"))
self.cmdOuterLeft = QtWidgets.QPushButton(self.groupBox_4)
self.cmdOuterLeft.setObjectName("cmdOuterLeft")
self.verticalLayout_10.addWidget(self.cmdOuterLeft)
self.cmdOuterRight = QtGui.QPushButton(self.groupBox_4)
self.cmdOuterRight.setObjectName(_fromUtf8("cmdOuterRight"))
self.cmdOuterRight = QtWidgets.QPushButton(self.groupBox_4)
self.cmdOuterRight.setObjectName("cmdOuterRight")
self.verticalLayout_10.addWidget(self.cmdOuterRight)
self.cmdOuter = QtGui.QPushButton(self.groupBox_4)
self.cmdOuter.setObjectName(_fromUtf8("cmdOuter"))
self.cmdOuter = QtWidgets.QPushButton(self.groupBox_4)
self.cmdOuter.setObjectName("cmdOuter")
self.verticalLayout_10.addWidget(self.cmdOuter)
self.cmdProjection = QtGui.QPushButton(self.groupBox_4)
self.cmdProjection.setObjectName(_fromUtf8("cmdProjection"))
self.cmdProjection = QtWidgets.QPushButton(self.groupBox_4)
self.cmdProjection.setObjectName("cmdProjection")
self.verticalLayout_10.addWidget(self.cmdProjection)
self.cmdSelection = QtGui.QPushButton(self.groupBox_4)
self.cmdSelection.setObjectName(_fromUtf8("cmdSelection"))
self.cmdSelection = QtWidgets.QPushButton(self.groupBox_4)
self.cmdSelection.setObjectName("cmdSelection")
self.verticalLayout_10.addWidget(self.cmdSelection)
self.cmdRename = QtGui.QPushButton(self.groupBox_4)
self.cmdRename.setObjectName(_fromUtf8("cmdRename"))
self.cmdRename = QtWidgets.QPushButton(self.groupBox_4)
self.cmdRename.setObjectName("cmdRename")
self.verticalLayout_10.addWidget(self.cmdRename)
self.cmdArrow = QtGui.QPushButton(self.groupBox_4)
self.cmdArrow.setObjectName(_fromUtf8("cmdArrow"))
self.cmdArrow = QtWidgets.QPushButton(self.groupBox_4)
self.cmdArrow.setObjectName("cmdArrow")
self.verticalLayout_10.addWidget(self.cmdArrow)
spacerItem = QtGui.QSpacerItem(20, 25, QtGui.QSizePolicy.Minimum, QtGui.QSizePolicy.Expanding)
spacerItem = QtWidgets.QSpacerItem(20, 25, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_10.addItem(spacerItem)
self.verticalLayout_11.addWidget(self.groupBox_4)
self.splitter_3 = QtGui.QSplitter(self.splitter_4)
self.splitter_3 = QtWidgets.QSplitter(self.splitter_4)
self.splitter_3.setOrientation(QtCore.Qt.Horizontal)
self.splitter_3.setObjectName(_fromUtf8("splitter_3"))
self.splitter_2 = QtGui.QSplitter(self.splitter_3)
self.splitter_3.setObjectName("splitter_3")
self.splitter_2 = QtWidgets.QSplitter(self.splitter_3)
self.splitter_2.setOrientation(QtCore.Qt.Vertical)
self.splitter_2.setObjectName(_fromUtf8("splitter_2"))
self.table = QtGui.QTreeWidget(self.splitter_2)
self.splitter_2.setObjectName("splitter_2")
self.table = QtWidgets.QTreeWidget(self.splitter_2)
self.table.setMinimumSize(QtCore.QSize(450, 400))
self.table.setSizeIncrement(QtCore.QSize(0, 0))
self.table.setRootIsDecorated(False)
self.table.setObjectName(_fromUtf8("table"))
self.table.headerItem().setText(0, _fromUtf8("Empty relation"))
self.layoutWidget1 = QtGui.QWidget(self.splitter_2)
self.layoutWidget1.setObjectName(_fromUtf8("layoutWidget1"))
self.verticalLayout_6 = QtGui.QVBoxLayout(self.layoutWidget1)
self.verticalLayout_6.setSizeConstraint(QtGui.QLayout.SetMinimumSize)
self.verticalLayout_6.setMargin(0)
self.verticalLayout_6.setObjectName(_fromUtf8("verticalLayout_6"))
self.lstHistory = QtGui.QListWidget(self.layoutWidget1)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Preferred)
self.table.setObjectName("table")
self.table.headerItem().setText(0, "Empty relation")
self.layoutWidget1 = QtWidgets.QWidget(self.splitter_2)
self.layoutWidget1.setObjectName("layoutWidget1")
self.verticalLayout_6 = QtWidgets.QVBoxLayout(self.layoutWidget1)
self.verticalLayout_6.setSizeConstraint(QtWidgets.QLayout.SetMinimumSize)
self.verticalLayout_6.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_6.setObjectName("verticalLayout_6")
self.lstHistory = QtWidgets.QListWidget(self.layoutWidget1)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.lstHistory.sizePolicy().hasHeightForWidth())
@@ -125,129 +111,129 @@ class Ui_MainWindow(object):
font = QtGui.QFont()
font.setStrikeOut(False)
self.lstHistory.setFont(font)
self.lstHistory.setObjectName(_fromUtf8("lstHistory"))
self.lstHistory.setObjectName("lstHistory")
self.verticalLayout_6.addWidget(self.lstHistory)
self.horizontalLayout_3 = QtGui.QHBoxLayout()
self.horizontalLayout_3.setObjectName(_fromUtf8("horizontalLayout_3"))
self.cmdOptimize = QtGui.QPushButton(self.layoutWidget1)
self.cmdOptimize.setObjectName(_fromUtf8("cmdOptimize"))
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
self.cmdOptimize = QtWidgets.QPushButton(self.layoutWidget1)
self.cmdOptimize.setObjectName("cmdOptimize")
self.horizontalLayout_3.addWidget(self.cmdOptimize)
self.cmdUndoOptimize = QtGui.QPushButton(self.layoutWidget1)
self.cmdUndoOptimize.setObjectName(_fromUtf8("cmdUndoOptimize"))
self.cmdUndoOptimize = QtWidgets.QPushButton(self.layoutWidget1)
self.cmdUndoOptimize.setObjectName("cmdUndoOptimize")
self.horizontalLayout_3.addWidget(self.cmdUndoOptimize)
self.cmdClearHistory = QtGui.QPushButton(self.layoutWidget1)
self.cmdClearHistory.setObjectName(_fromUtf8("cmdClearHistory"))
self.cmdClearHistory = QtWidgets.QPushButton(self.layoutWidget1)
self.cmdClearHistory.setObjectName("cmdClearHistory")
self.horizontalLayout_3.addWidget(self.cmdClearHistory)
self.verticalLayout_6.addLayout(self.horizontalLayout_3)
self.splitter = QtGui.QSplitter(self.splitter_3)
self.splitter = QtWidgets.QSplitter(self.splitter_3)
self.splitter.setOrientation(QtCore.Qt.Vertical)
self.splitter.setObjectName(_fromUtf8("splitter"))
self.groupBox = QtGui.QGroupBox(self.splitter)
self.splitter.setObjectName("splitter")
self.groupBox = QtWidgets.QGroupBox(self.splitter)
self.groupBox.setMinimumSize(QtCore.QSize(0, 0))
self.groupBox.setMaximumSize(QtCore.QSize(300, 16777215))
self.groupBox.setObjectName(_fromUtf8("groupBox"))
self.verticalLayout = QtGui.QVBoxLayout(self.groupBox)
self.verticalLayout.setObjectName(_fromUtf8("verticalLayout"))
self.lstRelations = QtGui.QListWidget(self.groupBox)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Expanding)
self.groupBox.setObjectName("groupBox")
self.verticalLayout = QtWidgets.QVBoxLayout(self.groupBox)
self.verticalLayout.setObjectName("verticalLayout")
self.lstRelations = QtWidgets.QListWidget(self.groupBox)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.lstRelations.sizePolicy().hasHeightForWidth())
self.lstRelations.setSizePolicy(sizePolicy)
self.lstRelations.setMaximumSize(QtCore.QSize(16777215, 16777215))
self.lstRelations.setObjectName(_fromUtf8("lstRelations"))
self.lstRelations.setObjectName("lstRelations")
self.verticalLayout.addWidget(self.lstRelations)
self.cmdNew = QtGui.QPushButton(self.groupBox)
self.cmdNew.setObjectName(_fromUtf8("cmdNew"))
self.cmdNew = QtWidgets.QPushButton(self.groupBox)
self.cmdNew.setObjectName("cmdNew")
self.verticalLayout.addWidget(self.cmdNew)
self.cmdLoad = QtGui.QPushButton(self.groupBox)
self.cmdLoad.setObjectName(_fromUtf8("cmdLoad"))
self.cmdLoad = QtWidgets.QPushButton(self.groupBox)
self.cmdLoad.setObjectName("cmdLoad")
self.verticalLayout.addWidget(self.cmdLoad)
self.cmdSave = QtGui.QPushButton(self.groupBox)
self.cmdSave.setObjectName(_fromUtf8("cmdSave"))
self.cmdSave = QtWidgets.QPushButton(self.groupBox)
self.cmdSave.setObjectName("cmdSave")
self.verticalLayout.addWidget(self.cmdSave)
self.cmdEdit = QtGui.QPushButton(self.groupBox)
self.cmdEdit.setObjectName(_fromUtf8("cmdEdit"))
self.cmdEdit = QtWidgets.QPushButton(self.groupBox)
self.cmdEdit.setObjectName("cmdEdit")
self.verticalLayout.addWidget(self.cmdEdit)
self.cmdUnload = QtGui.QPushButton(self.groupBox)
self.cmdUnload.setObjectName(_fromUtf8("cmdUnload"))
self.cmdUnload = QtWidgets.QPushButton(self.groupBox)
self.cmdUnload.setObjectName("cmdUnload")
self.verticalLayout.addWidget(self.cmdUnload)
self.groupBox_2 = QtGui.QGroupBox(self.splitter)
self.groupBox_2 = QtWidgets.QGroupBox(self.splitter)
self.groupBox_2.setMinimumSize(QtCore.QSize(0, 0))
self.groupBox_2.setMaximumSize(QtCore.QSize(300, 16777215))
self.groupBox_2.setObjectName(_fromUtf8("groupBox_2"))
self.verticalLayout_3 = QtGui.QVBoxLayout(self.groupBox_2)
self.verticalLayout_3.setObjectName(_fromUtf8("verticalLayout_3"))
self.lstAttributes = QtGui.QListWidget(self.groupBox_2)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Expanding)
self.groupBox_2.setObjectName("groupBox_2")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.groupBox_2)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.lstAttributes = QtWidgets.QListWidget(self.groupBox_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.lstAttributes.sizePolicy().hasHeightForWidth())
self.lstAttributes.setSizePolicy(sizePolicy)
self.lstAttributes.setMaximumSize(QtCore.QSize(16777215, 16777215))
self.lstAttributes.setObjectName(_fromUtf8("lstAttributes"))
self.lstAttributes.setObjectName("lstAttributes")
self.verticalLayout_3.addWidget(self.lstAttributes)
self.verticalLayout_7.addWidget(self.splitter_4)
self.horizontalLayout_2 = QtGui.QHBoxLayout()
self.horizontalLayout_2.setObjectName(_fromUtf8("horizontalLayout_2"))
self.txtResult = QtGui.QLineEdit(self.centralwidget)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Fixed)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.txtResult = QtWidgets.QLineEdit(self.centralwidget)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.txtResult.sizePolicy().hasHeightForWidth())
self.txtResult.setSizePolicy(sizePolicy)
self.txtResult.setObjectName(_fromUtf8("txtResult"))
self.txtResult.setObjectName("txtResult")
self.horizontalLayout_2.addWidget(self.txtResult)
self.label = QtGui.QLabel(self.centralwidget)
self.label.setObjectName(_fromUtf8("label"))
self.label = QtWidgets.QLabel(self.centralwidget)
self.label.setObjectName("label")
self.horizontalLayout_2.addWidget(self.label)
self.txtQuery = QtGui.QLineEdit(self.centralwidget)
self.txtQuery.setObjectName(_fromUtf8("txtQuery"))
self.txtQuery = QtWidgets.QLineEdit(self.centralwidget)
self.txtQuery.setObjectName("txtQuery")
self.horizontalLayout_2.addWidget(self.txtQuery)
self.cmdClearQuery = QtGui.QPushButton(self.centralwidget)
self.cmdClearQuery.setObjectName(_fromUtf8("cmdClearQuery"))
self.cmdClearQuery = QtWidgets.QPushButton(self.centralwidget)
self.cmdClearQuery.setObjectName("cmdClearQuery")
self.horizontalLayout_2.addWidget(self.cmdClearQuery)
self.cmdExecute = QtGui.QPushButton(self.centralwidget)
self.cmdExecute.setObjectName(_fromUtf8("cmdExecute"))
self.cmdExecute = QtWidgets.QPushButton(self.centralwidget)
self.cmdExecute.setObjectName("cmdExecute")
self.horizontalLayout_2.addWidget(self.cmdExecute)
self.verticalLayout_7.addLayout(self.horizontalLayout_2)
MainWindow.setCentralWidget(self.centralwidget)
self.menubar = QtGui.QMenuBar(MainWindow)
self.menubar = QtWidgets.QMenuBar(MainWindow)
self.menubar.setGeometry(QtCore.QRect(0, 0, 800, 19))
self.menubar.setObjectName(_fromUtf8("menubar"))
self.menuFile = QtGui.QMenu(self.menubar)
self.menuFile.setObjectName(_fromUtf8("menuFile"))
self.menuAbout = QtGui.QMenu(self.menubar)
self.menuAbout.setObjectName(_fromUtf8("menuAbout"))
self.action = QtGui.QAction(MainWindow)
self.action.setObjectName(_fromUtf8("action"))
self.menuRelations = QtGui.QMenu(self.menubar)
self.menuRelations.setObjectName(_fromUtf8("menuRelations"))
self.menubar.setObjectName("menubar")
self.menuFile = QtWidgets.QMenu(self.menubar)
self.menuFile.setObjectName("menuFile")
self.menuAbout = QtWidgets.QMenu(self.menubar)
self.menuAbout.setObjectName("menuAbout")
self.action = QtWidgets.QAction(MainWindow)
self.action.setObjectName("action")
self.menuRelations = QtWidgets.QMenu(self.menubar)
self.menuRelations.setObjectName("menuRelations")
MainWindow.setMenuBar(self.menubar)
self.actionAbout = QtGui.QAction(MainWindow)
self.actionAbout.setMenuRole(QtGui.QAction.AboutRole)
self.actionAbout.setObjectName(_fromUtf8("actionAbout"))
self.action_Load_relation = QtGui.QAction(MainWindow)
self.action_Load_relation.setObjectName(_fromUtf8("action_Load_relation"))
self.action_Save_relation = QtGui.QAction(MainWindow)
self.action_Save_relation.setObjectName(_fromUtf8("action_Save_relation"))
self.action_Quit = QtGui.QAction(MainWindow)
self.action_Quit.setMenuRole(QtGui.QAction.QuitRole)
self.action_Quit.setObjectName(_fromUtf8("action_Quit"))
self.actionCheck_for_new_versions = QtGui.QAction(MainWindow)
self.actionCheck_for_new_versions.setObjectName(_fromUtf8("actionCheck_for_new_versions"))
self.actionNew_relation = QtGui.QAction(MainWindow)
self.actionNew_relation.setObjectName(_fromUtf8("actionNew_relation"))
self.actionEdit_relation = QtGui.QAction(MainWindow)
self.actionEdit_relation.setObjectName(_fromUtf8("actionEdit_relation"))
self.actionNew_session = QtGui.QAction(MainWindow)
self.actionNew_session.setObjectName(_fromUtf8("actionNew_session"))
self.actionSave_session_as = QtGui.QAction(MainWindow)
self.actionSave_session_as.setObjectName(_fromUtf8("actionSave_session_as"))
self.actionManage_sessions = QtGui.QAction(MainWindow)
self.actionManage_sessions.setObjectName(_fromUtf8("actionManage_sessions"))
self.actionUnload_relation = QtGui.QAction(MainWindow)
self.actionUnload_relation.setObjectName(_fromUtf8("actionUnload_relation"))
self.actionAbout = QtWidgets.QAction(MainWindow)
self.actionAbout.setMenuRole(QtWidgets.QAction.AboutRole)
self.actionAbout.setObjectName("actionAbout")
self.action_Load_relation = QtWidgets.QAction(MainWindow)
self.action_Load_relation.setObjectName("action_Load_relation")
self.action_Save_relation = QtWidgets.QAction(MainWindow)
self.action_Save_relation.setObjectName("action_Save_relation")
self.action_Quit = QtWidgets.QAction(MainWindow)
self.action_Quit.setMenuRole(QtWidgets.QAction.QuitRole)
self.action_Quit.setObjectName("action_Quit")
self.actionCheck_for_new_versions = QtWidgets.QAction(MainWindow)
self.actionCheck_for_new_versions.setObjectName("actionCheck_for_new_versions")
self.actionNew_relation = QtWidgets.QAction(MainWindow)
self.actionNew_relation.setObjectName("actionNew_relation")
self.actionEdit_relation = QtWidgets.QAction(MainWindow)
self.actionEdit_relation.setObjectName("actionEdit_relation")
self.actionNew_session = QtWidgets.QAction(MainWindow)
self.actionNew_session.setObjectName("actionNew_session")
self.actionSave_session_as = QtWidgets.QAction(MainWindow)
self.actionSave_session_as.setObjectName("actionSave_session_as")
self.actionManage_sessions = QtWidgets.QAction(MainWindow)
self.actionManage_sessions.setObjectName("actionManage_sessions")
self.actionUnload_relation = QtWidgets.QAction(MainWindow)
self.actionUnload_relation.setObjectName("actionUnload_relation")
self.menuFile.addSeparator()
self.menuFile.addAction(self.action_Quit)
self.menuAbout.addAction(self.actionAbout)
@@ -263,45 +249,45 @@ class Ui_MainWindow(object):
self.label.setBuddy(self.txtQuery)
self.retranslateUi(MainWindow)
QtCore.QObject.connect(self.cmdClearQuery, QtCore.SIGNAL(_fromUtf8("clicked()")), self.txtQuery.clear)
QtCore.QObject.connect(self.cmdClearHistory, QtCore.SIGNAL(_fromUtf8("clicked()")), self.lstHistory.clear)
QtCore.QObject.connect(self.txtQuery, QtCore.SIGNAL(_fromUtf8("returnPressed()")), MainWindow.execute)
QtCore.QObject.connect(self.cmdExecute, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.execute)
QtCore.QObject.connect(self.cmdAbout, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.showAbout)
QtCore.QObject.connect(self.cmdSurvey, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.showSurvey)
QtCore.QObject.connect(self.cmdProduct, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addProduct)
QtCore.QObject.connect(self.cmdDifference, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addDifference)
QtCore.QObject.connect(self.cmdArrow, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addArrow)
QtCore.QObject.connect(self.cmdRename, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addRename)
QtCore.QObject.connect(self.cmdSelection, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addSelection)
QtCore.QObject.connect(self.cmdProjection, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addProjection)
QtCore.QObject.connect(self.cmdUnload, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.unloadRelation)
QtCore.QObject.connect(self.cmdSave, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.saveRelation)
QtCore.QObject.connect(self.cmdLoad, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.loadRelation)
QtCore.QObject.connect(self.cmdOptimize, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.optimize)
QtCore.QObject.connect(self.cmdUndoOptimize, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.undoOptimize)
QtCore.QObject.connect(self.txtResult, QtCore.SIGNAL(_fromUtf8("returnPressed()")), self.txtQuery.setFocus)
QtCore.QObject.connect(self.cmdOuterRight, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addORight)
QtCore.QObject.connect(self.cmdOuter, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addOuter)
QtCore.QObject.connect(self.cmdOuterLeft, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addOLeft)
QtCore.QObject.connect(self.cmdJoin, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addJoin)
QtCore.QObject.connect(self.cmdDivision, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addDivision)
QtCore.QObject.connect(self.cmdIntersection, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addIntersection)
QtCore.QObject.connect(self.cmdUnion, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.addUnion)
QtCore.QObject.connect(self.lstRelations, QtCore.SIGNAL(_fromUtf8("itemDoubleClicked(QListWidgetItem*)")), MainWindow.printRelation)
QtCore.QObject.connect(self.lstRelations, QtCore.SIGNAL(_fromUtf8("itemClicked(QListWidgetItem*)")), MainWindow.showAttributes)
QtCore.QObject.connect(self.cmdClearQuery, QtCore.SIGNAL(_fromUtf8("clicked()")), self.txtQuery.setFocus)
QtCore.QObject.connect(self.lstHistory, QtCore.SIGNAL(_fromUtf8("itemDoubleClicked(QListWidgetItem*)")), MainWindow.resumeHistory)
QtCore.QObject.connect(self.actionAbout, QtCore.SIGNAL(_fromUtf8("triggered()")), MainWindow.showAbout)
QtCore.QObject.connect(self.action_Load_relation, QtCore.SIGNAL(_fromUtf8("triggered()")), MainWindow.loadRelation)
QtCore.QObject.connect(self.action_Save_relation, QtCore.SIGNAL(_fromUtf8("triggered()")), MainWindow.saveRelation)
QtCore.QObject.connect(self.action_Quit, QtCore.SIGNAL(_fromUtf8("triggered()")), MainWindow.close)
QtCore.QObject.connect(self.actionCheck_for_new_versions, QtCore.SIGNAL(_fromUtf8("triggered()")), MainWindow.checkVersion)
QtCore.QObject.connect(self.cmdEdit, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.editRelation)
QtCore.QObject.connect(self.actionEdit_relation, QtCore.SIGNAL(_fromUtf8("triggered()")), MainWindow.editRelation)
QtCore.QObject.connect(self.cmdNew, QtCore.SIGNAL(_fromUtf8("clicked()")), MainWindow.newRelation)
QtCore.QObject.connect(self.actionNew_relation, QtCore.SIGNAL(_fromUtf8("triggered()")), MainWindow.newRelation)
QtCore.QObject.connect(self.actionUnload_relation, QtCore.SIGNAL(_fromUtf8("triggered()")), MainWindow.unloadRelation)
self.cmdClearQuery.clicked.connect(self.txtQuery.clear)
self.cmdClearHistory.clicked.connect(self.lstHistory.clear)
self.txtQuery.returnPressed.connect(MainWindow.execute)
self.cmdExecute.clicked.connect(MainWindow.execute)
self.cmdAbout.clicked.connect(MainWindow.showAbout)
self.cmdSurvey.clicked.connect(MainWindow.showSurvey)
self.cmdProduct.clicked.connect(MainWindow.addProduct)
self.cmdDifference.clicked.connect(MainWindow.addDifference)
self.cmdArrow.clicked.connect(MainWindow.addArrow)
self.cmdRename.clicked.connect(MainWindow.addRename)
self.cmdSelection.clicked.connect(MainWindow.addSelection)
self.cmdProjection.clicked.connect(MainWindow.addProjection)
self.cmdUnload.clicked.connect(MainWindow.unloadRelation)
self.cmdSave.clicked.connect(MainWindow.saveRelation)
self.cmdLoad.clicked.connect(MainWindow.loadRelation)
self.cmdOptimize.clicked.connect(MainWindow.optimize)
self.cmdUndoOptimize.clicked.connect(MainWindow.undoOptimize)
self.txtResult.returnPressed.connect(self.txtQuery.setFocus)
self.cmdOuterRight.clicked.connect(MainWindow.addORight)
self.cmdOuter.clicked.connect(MainWindow.addOuter)
self.cmdOuterLeft.clicked.connect(MainWindow.addOLeft)
self.cmdJoin.clicked.connect(MainWindow.addJoin)
self.cmdDivision.clicked.connect(MainWindow.addDivision)
self.cmdIntersection.clicked.connect(MainWindow.addIntersection)
self.cmdUnion.clicked.connect(MainWindow.addUnion)
self.lstRelations.itemDoubleClicked['QListWidgetItem*'].connect(MainWindow.printRelation)
self.lstRelations.itemClicked['QListWidgetItem*'].connect(MainWindow.showAttributes)
self.cmdClearQuery.clicked.connect(self.txtQuery.setFocus)
self.lstHistory.itemDoubleClicked['QListWidgetItem*'].connect(MainWindow.resumeHistory)
self.actionAbout.triggered.connect(MainWindow.showAbout)
self.action_Load_relation.triggered.connect(MainWindow.loadRelation)
self.action_Save_relation.triggered.connect(MainWindow.saveRelation)
self.action_Quit.triggered.connect(MainWindow.close)
self.actionCheck_for_new_versions.triggered.connect(MainWindow.checkVersion)
self.cmdEdit.clicked.connect(MainWindow.editRelation)
self.actionEdit_relation.triggered.connect(MainWindow.editRelation)
self.cmdNew.clicked.connect(MainWindow.newRelation)
self.actionNew_relation.triggered.connect(MainWindow.newRelation)
self.actionUnload_relation.triggered.connect(MainWindow.unloadRelation)
QtCore.QMetaObject.connectSlotsByName(MainWindow)
MainWindow.setTabOrder(self.cmdAbout, self.cmdSurvey)
MainWindow.setTabOrder(self.cmdSurvey, self.cmdProduct)
@@ -333,69 +319,70 @@ class Ui_MainWindow(object):
MainWindow.setTabOrder(self.cmdClearQuery, self.cmdExecute)
def retranslateUi(self, MainWindow):
MainWindow.setWindowTitle(_translate("MainWindow", "Relational", None))
self.groupBox_3.setTitle(_translate("MainWindow", "Menu", None))
self.cmdAbout.setText(_translate("MainWindow", "About", None))
self.cmdSurvey.setText(_translate("MainWindow", "Survey", None))
self.groupBox_4.setTitle(_translate("MainWindow", "Operators", None))
self.cmdProduct.setToolTip(_translate("MainWindow", "Product", None))
self.cmdProduct.setText(_translate("MainWindow", "*", None))
self.cmdDifference.setToolTip(_translate("MainWindow", "Difference", None))
self.cmdDifference.setText(_translate("MainWindow", "-", None))
self.cmdUnion.setToolTip(_translate("MainWindow", "Union", None))
self.cmdUnion.setText(_translate("MainWindow", "", None))
self.cmdIntersection.setToolTip(_translate("MainWindow", "Intersection", None))
self.cmdIntersection.setText(_translate("MainWindow", "", None))
self.cmdDivision.setToolTip(_translate("MainWindow", "Division", None))
self.cmdDivision.setText(_translate("MainWindow", "÷", None))
self.cmdJoin.setToolTip(_translate("MainWindow", "Natural join", None))
self.cmdJoin.setText(_translate("MainWindow", "ᐅᐊ", None))
self.cmdOuterLeft.setToolTip(_translate("MainWindow", "Left outer join", None))
self.cmdOuterLeft.setText(_translate("MainWindow", "ᐅLEFTᐊ", None))
self.cmdOuterRight.setToolTip(_translate("MainWindow", "Right outer join", None))
self.cmdOuterRight.setText(_translate("MainWindow", "ᐅRIGHTᐊ", None))
self.cmdOuter.setToolTip(_translate("MainWindow", "Full outer join", None))
self.cmdOuter.setText(_translate("MainWindow", "ᐅFULLᐊ", None))
self.cmdProjection.setToolTip(_translate("MainWindow", "Projection", None))
self.cmdProjection.setText(_translate("MainWindow", "π", None))
self.cmdSelection.setToolTip(_translate("MainWindow", "Selection", None))
self.cmdSelection.setText(_translate("MainWindow", "σ", None))
self.cmdRename.setToolTip(_translate("MainWindow", "Rename", None))
self.cmdRename.setText(_translate("MainWindow", "ρ", None))
self.cmdArrow.setText(_translate("MainWindow", "", None))
self.cmdOptimize.setText(_translate("MainWindow", "Optimize", None))
self.cmdUndoOptimize.setText(_translate("MainWindow", "Undo optimize", None))
self.cmdClearHistory.setText(_translate("MainWindow", "Clear history", None))
self.groupBox.setTitle(_translate("MainWindow", "Relations", None))
_translate = QtCore.QCoreApplication.translate
MainWindow.setWindowTitle(_translate("MainWindow", "Relational"))
self.groupBox_3.setTitle(_translate("MainWindow", "Menu"))
self.cmdAbout.setText(_translate("MainWindow", "About"))
self.cmdSurvey.setText(_translate("MainWindow", "Survey"))
self.groupBox_4.setTitle(_translate("MainWindow", "Operators"))
self.cmdProduct.setToolTip(_translate("MainWindow", "Product"))
self.cmdProduct.setText(_translate("MainWindow", "*"))
self.cmdDifference.setToolTip(_translate("MainWindow", "Difference"))
self.cmdDifference.setText(_translate("MainWindow", "-"))
self.cmdUnion.setToolTip(_translate("MainWindow", "Union"))
self.cmdUnion.setText(_translate("MainWindow", ""))
self.cmdIntersection.setToolTip(_translate("MainWindow", "Intersection"))
self.cmdIntersection.setText(_translate("MainWindow", ""))
self.cmdDivision.setToolTip(_translate("MainWindow", "Division"))
self.cmdDivision.setText(_translate("MainWindow", "÷"))
self.cmdJoin.setToolTip(_translate("MainWindow", "Natural join"))
self.cmdJoin.setText(_translate("MainWindow", "ᐅᐊ"))
self.cmdOuterLeft.setToolTip(_translate("MainWindow", "Left outer join"))
self.cmdOuterLeft.setText(_translate("MainWindow", "ᐅLEFTᐊ"))
self.cmdOuterRight.setToolTip(_translate("MainWindow", "Right outer join"))
self.cmdOuterRight.setText(_translate("MainWindow", "ᐅRIGHTᐊ"))
self.cmdOuter.setToolTip(_translate("MainWindow", "Full outer join"))
self.cmdOuter.setText(_translate("MainWindow", "ᐅFULLᐊ"))
self.cmdProjection.setToolTip(_translate("MainWindow", "Projection"))
self.cmdProjection.setText(_translate("MainWindow", "π"))
self.cmdSelection.setToolTip(_translate("MainWindow", "Selection"))
self.cmdSelection.setText(_translate("MainWindow", "σ"))
self.cmdRename.setToolTip(_translate("MainWindow", "Rename"))
self.cmdRename.setText(_translate("MainWindow", "ρ"))
self.cmdArrow.setText(_translate("MainWindow", ""))
self.cmdOptimize.setText(_translate("MainWindow", "Optimize"))
self.cmdUndoOptimize.setText(_translate("MainWindow", "Undo optimize"))
self.cmdClearHistory.setText(_translate("MainWindow", "Clear history"))
self.groupBox.setTitle(_translate("MainWindow", "Relations"))
self.lstRelations.setSortingEnabled(True)
self.cmdNew.setText(_translate("MainWindow", "New relation", None))
self.cmdLoad.setText(_translate("MainWindow", "Load relation", None))
self.cmdSave.setText(_translate("MainWindow", "Save relation", None))
self.cmdEdit.setText(_translate("MainWindow", "Edit relation", None))
self.cmdUnload.setText(_translate("MainWindow", "Unload relation", None))
self.groupBox_2.setTitle(_translate("MainWindow", "Attributes", None))
self.txtResult.setText(_translate("MainWindow", "_last1", None))
self.label.setText(_translate("MainWindow", "=", None))
self.cmdClearQuery.setText(_translate("MainWindow", "", None))
self.cmdExecute.setText(_translate("MainWindow", "Execute", None))
self.menuFile.setTitle(_translate("MainWindow", "&File", None))
self.menuAbout.setTitle(_translate("MainWindow", "&Help", None))
self.menuRelations.setTitle(_translate("MainWindow", "Relations", None))
self.actionAbout.setText(_translate("MainWindow", "&About", None))
self.action_Load_relation.setText(_translate("MainWindow", "&Load relation", None))
self.action_Load_relation.setShortcut(_translate("MainWindow", "Ctrl+O", None))
self.action_Save_relation.setText(_translate("MainWindow", "&Save relation", None))
self.action_Save_relation.setShortcut(_translate("MainWindow", "Ctrl+S", None))
self.action_Quit.setText(_translate("MainWindow", "&Quit", None))
self.action_Quit.setShortcut(_translate("MainWindow", "Ctrl+Q", None))
self.actionCheck_for_new_versions.setText(_translate("MainWindow", "Check for new versions", None))
self.actionNew_relation.setText(_translate("MainWindow", "New relation", None))
self.actionNew_relation.setShortcut(_translate("MainWindow", "Ctrl+N", None))
self.actionEdit_relation.setText(_translate("MainWindow", "Edit relation", None))
self.actionEdit_relation.setShortcut(_translate("MainWindow", "Ctrl+E", None))
self.actionNew_session.setText(_translate("MainWindow", "New session", None))
self.actionSave_session_as.setText(_translate("MainWindow", "Save session as", None))
self.actionSave_session_as.setToolTip(_translate("MainWindow", "Save session as", None))
self.actionManage_sessions.setText(_translate("MainWindow", "Manage sessions", None))
self.actionUnload_relation.setText(_translate("MainWindow", "Unload relation", None))
self.cmdNew.setText(_translate("MainWindow", "New relation"))
self.cmdLoad.setText(_translate("MainWindow", "Load relation"))
self.cmdSave.setText(_translate("MainWindow", "Save relation"))
self.cmdEdit.setText(_translate("MainWindow", "Edit relation"))
self.cmdUnload.setText(_translate("MainWindow", "Unload relation"))
self.groupBox_2.setTitle(_translate("MainWindow", "Attributes"))
self.txtResult.setText(_translate("MainWindow", "_last1"))
self.label.setText(_translate("MainWindow", "="))
self.cmdClearQuery.setText(_translate("MainWindow", ""))
self.cmdExecute.setText(_translate("MainWindow", "Execute"))
self.menuFile.setTitle(_translate("MainWindow", "&File"))
self.menuAbout.setTitle(_translate("MainWindow", "&Help"))
self.menuRelations.setTitle(_translate("MainWindow", "Relations"))
self.actionAbout.setText(_translate("MainWindow", "&About"))
self.action_Load_relation.setText(_translate("MainWindow", "&Load relation"))
self.action_Load_relation.setShortcut(_translate("MainWindow", "Ctrl+O"))
self.action_Save_relation.setText(_translate("MainWindow", "&Save relation"))
self.action_Save_relation.setShortcut(_translate("MainWindow", "Ctrl+S"))
self.action_Quit.setText(_translate("MainWindow", "&Quit"))
self.action_Quit.setShortcut(_translate("MainWindow", "Ctrl+Q"))
self.actionCheck_for_new_versions.setText(_translate("MainWindow", "Check for new versions"))
self.actionNew_relation.setText(_translate("MainWindow", "New relation"))
self.actionNew_relation.setShortcut(_translate("MainWindow", "Ctrl+N"))
self.actionEdit_relation.setText(_translate("MainWindow", "Edit relation"))
self.actionEdit_relation.setShortcut(_translate("MainWindow", "Ctrl+E"))
self.actionNew_session.setText(_translate("MainWindow", "New session"))
self.actionSave_session_as.setText(_translate("MainWindow", "Save session as"))
self.actionSave_session_as.setToolTip(_translate("MainWindow", "Save session as"))
self.actionManage_sessions.setText(_translate("MainWindow", "Manage sessions"))
self.actionUnload_relation.setText(_translate("MainWindow", "Unload relation"))