diff --git a/maingui.py b/maingui.py new file mode 100644 index 0000000..727a7bf --- /dev/null +++ b/maingui.py @@ -0,0 +1,264 @@ +# -*- coding: utf-8 -*- + +# Form implementation generated from reading ui file 'main.ui' +# +# Created: Wed Jul 23 13:58:26 2008 +# by: PyQt4 UI code generator 4.4.2 +# +# WARNING! All changes made in this file will be lost! + +from PyQt4 import QtCore, QtGui + +class Ui_Form(object): + def showAbout(self): + QtGui.QMessageBox.information(None,QtGui.QApplication.translate("Form", "About"), + QtGui.QApplication.translate("Form", "Relational Algebra by Salvo 'LtWorf' Tomaselli", None, QtGui.QApplication.UnicodeUTF8)) + def addProduct(self): + self.txtQuery.setText(self.txtQuery.text()+"*") + def addDifference(self): + self.txtQuery.setText(self.txtQuery.text()+u"-") + def addUnion(self): + self.txtQuery.setText(self.txtQuery.text()+u"ᑌ") + def addIntersection(self): + self.txtQuery.setText(self.txtQuery.text()+u"ᑎ") + def addOLeft(self): + self.txtQuery.setText(self.txtQuery.text()+u"ᐅLEFTᐊ") + def addJoin(self): + self.txtQuery.setText(self.txtQuery.text()+u"ᐅᐊ") + def addORight(self): + self.txtQuery.setText(self.txtQuery.text()+u"ᐅRIGHTᐊ") + def addOuter(self): + self.txtQuery.setText(self.txtQuery.text()+u"ᐅFULLᐊ") + def addProjection(self): + self.txtQuery.setText(self.txtQuery.text()+u"π") + def addSelection(self): + self.txtQuery.setText(self.txtQuery.text()+u"σ") + def addRename(self): + self.txtQuery.setText(self.txtQuery.text()+u"ρ") + def addArrow(self): + self.txtQuery.setText(self.txtQuery.text()+u"➡") + + def setupUi(self, Form): + Form.setObjectName("Form") + Form.resize(932,592) + Form.setMinimumSize(QtCore.QSize(100,50)) + self.verticalLayout_7 = QtGui.QVBoxLayout(Form) + self.verticalLayout_7.setObjectName("verticalLayout_7") + self.horizontalLayout_4 = QtGui.QHBoxLayout() + self.horizontalLayout_4.setObjectName("horizontalLayout_4") + self.verticalLayout_4 = QtGui.QVBoxLayout() + self.verticalLayout_4.setObjectName("verticalLayout_4") + self.groupBox_4 = QtGui.QGroupBox(Form) + self.groupBox_4.setObjectName("groupBox_4") + self.verticalLayout_8 = QtGui.QVBoxLayout(self.groupBox_4) + self.verticalLayout_8.setObjectName("verticalLayout_8") + self.cmdAbout = QtGui.QPushButton(self.groupBox_4) + self.cmdAbout.setObjectName("cmdAbout") + self.verticalLayout_8.addWidget(self.cmdAbout) + self.verticalLayout_4.addWidget(self.groupBox_4) + self.groupBox = QtGui.QGroupBox(Form) + self.groupBox.setObjectName("groupBox") + self.verticalLayout_6 = QtGui.QVBoxLayout(self.groupBox) + self.verticalLayout_6.setObjectName("verticalLayout_6") + self.verticalLayout = QtGui.QVBoxLayout() + self.verticalLayout.setObjectName("verticalLayout") + self.cmdProduct = QtGui.QPushButton(self.groupBox) + self.cmdProduct.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdProduct.setObjectName("cmdProduct") + self.verticalLayout.addWidget(self.cmdProduct) + self.cmdDifference = QtGui.QPushButton(self.groupBox) + self.cmdDifference.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdDifference.setObjectName("cmdDifference") + self.verticalLayout.addWidget(self.cmdDifference) + self.cmdUnion = QtGui.QPushButton(self.groupBox) + self.cmdUnion.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdUnion.setObjectName("cmdUnion") + self.verticalLayout.addWidget(self.cmdUnion) + self.cmdIntersection = QtGui.QPushButton(self.groupBox) + self.cmdIntersection.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdIntersection.setObjectName("cmdIntersection") + self.verticalLayout.addWidget(self.cmdIntersection) + self.cmdJoin = QtGui.QPushButton(self.groupBox) + self.cmdJoin.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdJoin.setObjectName("cmdJoin") + self.verticalLayout.addWidget(self.cmdJoin) + self.cmdOuterLeft = QtGui.QPushButton(self.groupBox) + self.cmdOuterLeft.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdOuterLeft.setObjectName("cmdOuterLeft") + self.verticalLayout.addWidget(self.cmdOuterLeft) + self.cmdOuterRight = QtGui.QPushButton(self.groupBox) + self.cmdOuterRight.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdOuterRight.setObjectName("cmdOuterRight") + self.verticalLayout.addWidget(self.cmdOuterRight) + self.cmdOuter = QtGui.QPushButton(self.groupBox) + self.cmdOuter.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdOuter.setObjectName("cmdOuter") + self.verticalLayout.addWidget(self.cmdOuter) + self.cmdProjection = QtGui.QPushButton(self.groupBox) + self.cmdProjection.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdProjection.setObjectName("cmdProjection") + self.verticalLayout.addWidget(self.cmdProjection) + self.cmdSelection = QtGui.QPushButton(self.groupBox) + self.cmdSelection.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdSelection.setObjectName("cmdSelection") + self.verticalLayout.addWidget(self.cmdSelection) + self.cmdRename = QtGui.QPushButton(self.groupBox) + self.cmdRename.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdRename.setObjectName("cmdRename") + self.verticalLayout.addWidget(self.cmdRename) + self.cmdArrow = QtGui.QPushButton(self.groupBox) + self.cmdArrow.setMaximumSize(QtCore.QSize(16777215,16777215)) + self.cmdArrow.setObjectName("cmdArrow") + self.verticalLayout.addWidget(self.cmdArrow) + self.verticalLayout_6.addLayout(self.verticalLayout) + self.verticalLayout_4.addWidget(self.groupBox) + spacerItem = QtGui.QSpacerItem(20,40,QtGui.QSizePolicy.Minimum,QtGui.QSizePolicy.Expanding) + self.verticalLayout_4.addItem(spacerItem) + self.horizontalLayout_4.addLayout(self.verticalLayout_4) + self.tableView = QtGui.QTableView(Form) + self.tableView.setObjectName("tableView") + self.horizontalLayout_4.addWidget(self.tableView) + self.verticalLayout_3 = QtGui.QVBoxLayout() + self.verticalLayout_3.setObjectName("verticalLayout_3") + self.groupBox_2 = QtGui.QGroupBox(Form) + self.groupBox_2.setMaximumSize(QtCore.QSize(200,16777215)) + self.groupBox_2.setObjectName("groupBox_2") + self.verticalLayout_5 = QtGui.QVBoxLayout(self.groupBox_2) + self.verticalLayout_5.setObjectName("verticalLayout_5") + self.listWidget_2 = QtGui.QListWidget(self.groupBox_2) + self.listWidget_2.setMaximumSize(QtCore.QSize(300,16777215)) + self.listWidget_2.setObjectName("listWidget_2") + self.verticalLayout_5.addWidget(self.listWidget_2) + self.cmdLoad = QtGui.QPushButton(self.groupBox_2) + self.cmdLoad.setObjectName("cmdLoad") + self.verticalLayout_5.addWidget(self.cmdLoad) + self.cmdUnload = QtGui.QPushButton(self.groupBox_2) + self.cmdUnload.setObjectName("cmdUnload") + self.verticalLayout_5.addWidget(self.cmdUnload) + self.verticalLayout_3.addWidget(self.groupBox_2) + self.groupBox_3 = QtGui.QGroupBox(Form) + self.groupBox_3.setMaximumSize(QtCore.QSize(200,16777215)) + self.groupBox_3.setObjectName("groupBox_3") + self.horizontalLayout_6 = QtGui.QHBoxLayout(self.groupBox_3) + self.horizontalLayout_6.setObjectName("horizontalLayout_6") + self.listWidget = QtGui.QListWidget(self.groupBox_3) + self.listWidget.setMaximumSize(QtCore.QSize(300,16777215)) + self.listWidget.setObjectName("listWidget") + self.horizontalLayout_6.addWidget(self.listWidget) + self.verticalLayout_3.addWidget(self.groupBox_3) + self.horizontalLayout_4.addLayout(self.verticalLayout_3) + self.verticalLayout_7.addLayout(self.horizontalLayout_4) + self.horizontalLayout = QtGui.QHBoxLayout() + self.horizontalLayout.setObjectName("horizontalLayout") + self.label = QtGui.QLabel(Form) + self.label.setObjectName("label") + self.horizontalLayout.addWidget(self.label) + self. txtResult = QtGui.QLineEdit(Form) + self. txtResult.setMaximumSize(QtCore.QSize(70,16777215)) + self. txtResult.setObjectName(" txtResult") + self.horizontalLayout.addWidget(self. txtResult) + self.label_2 = QtGui.QLabel(Form) + self.label_2.setObjectName("label_2") + self.horizontalLayout.addWidget(self.label_2) + self.txtQuery = QtGui.QLineEdit(Form) + self.txtQuery.setObjectName("txtQuery") + self.horizontalLayout.addWidget(self.txtQuery) + self.cmdExecute = QtGui.QPushButton(Form) + self.cmdExecute.setAutoDefault(False) + self.cmdExecute.setDefault(True) + self.cmdExecute.setFlat(False) + self.cmdExecute.setObjectName("cmdExecute") + self.horizontalLayout.addWidget(self.cmdExecute) + self.verticalLayout_7.addLayout(self.horizontalLayout) + self.label.setBuddy(self. txtResult) + self.label_2.setBuddy(self.txtQuery) + + self.retranslateUi(Form) + QtCore.QObject.connect(self.cmdAbout,QtCore.SIGNAL("clicked()"),self.showAbout) + QtCore.QObject.connect(self.cmdProduct,QtCore.SIGNAL("clicked()"),self.addProduct) + QtCore.QObject.connect(self.cmdDifference,QtCore.SIGNAL("clicked()"),self.addDifference) + QtCore.QObject.connect(self.cmdUnion,QtCore.SIGNAL("clicked()"),self.addUnion) + QtCore.QObject.connect(self.cmdIntersection,QtCore.SIGNAL("clicked()"),self.addIntersection) + QtCore.QObject.connect(self.cmdOuterLeft,QtCore.SIGNAL("clicked()"),self.addOLeft) + QtCore.QObject.connect(self.cmdJoin,QtCore.SIGNAL("clicked()"),self.addJoin) + QtCore.QObject.connect(self.cmdOuterRight,QtCore.SIGNAL("clicked()"),self.addORight) + QtCore.QObject.connect(self.cmdOuter,QtCore.SIGNAL("clicked()"),self.addOuter) + QtCore.QObject.connect(self.cmdProjection,QtCore.SIGNAL("clicked()"),self.addProjection) + QtCore.QObject.connect(self.cmdSelection,QtCore.SIGNAL("clicked()"),self.addSelection) + QtCore.QObject.connect(self.cmdRename,QtCore.SIGNAL("clicked()"),self.addRename) + QtCore.QObject.connect(self.cmdArrow,QtCore.SIGNAL("clicked()"),self.addArrow) + #QtCore.QObject.connect(self.cmdExecute,QtCore.SIGNAL("clicked()"),Form.execute) + #QtCore.QObject.connect(self.cmdLoad,QtCore.SIGNAL("clicked()"),Form.loadRelation) + #QtCore.QObject.connect(self.cmdUnload,QtCore.SIGNAL("clicked()"),Form.unloadRelation) + #QtCore.QObject.connect(self.listWidget_2,QtCore.SIGNAL("itemDoubleClicked(QListWidgetItem*)"),Form.showRelation) + #QtCore.QObject.connect(self.listWidget_2,QtCore.SIGNAL("itemActivated(QListWidgetItem*)"),Form.showAttributes) + QtCore.QMetaObject.connectSlotsByName(Form) + Form.setTabOrder(self. txtResult,self.txtQuery) + Form.setTabOrder(self.txtQuery,self.cmdExecute) + Form.setTabOrder(self.cmdExecute,self.listWidget_2) + Form.setTabOrder(self.listWidget_2,self.cmdLoad) + Form.setTabOrder(self.cmdLoad,self.cmdUnload) + Form.setTabOrder(self.cmdUnload,self.listWidget) + Form.setTabOrder(self.listWidget,self.tableView) + Form.setTabOrder(self.tableView,self.cmdProduct) + Form.setTabOrder(self.cmdProduct,self.cmdUnion) + Form.setTabOrder(self.cmdUnion,self.cmdJoin) + Form.setTabOrder(self.cmdJoin,self.cmdOuterLeft) + Form.setTabOrder(self.cmdOuterLeft,self.cmdProjection) + Form.setTabOrder(self.cmdProjection,self.cmdRename) + Form.setTabOrder(self.cmdRename,self.cmdAbout) + + def retranslateUi(self, Form): + Form.setWindowTitle(QtGui.QApplication.translate("Form", "Relational", None, QtGui.QApplication.UnicodeUTF8)) + self.groupBox_4.setTitle(QtGui.QApplication.translate("Form", "Menu", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdAbout.setText(QtGui.QApplication.translate("Form", "About", None, QtGui.QApplication.UnicodeUTF8)) + self.groupBox.setTitle(QtGui.QApplication.translate("Form", "Operators", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdProduct.setToolTip(QtGui.QApplication.translate("Form", "Product operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdProduct.setText(QtGui.QApplication.translate("Form", "*", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdDifference.setToolTip(QtGui.QApplication.translate("Form", "Difference operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdDifference.setText(QtGui.QApplication.translate("Form", "-", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdUnion.setToolTip(QtGui.QApplication.translate("Form", "Union operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdUnion.setText(QtGui.QApplication.translate("Form", "ᑌ", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdIntersection.setToolTip(QtGui.QApplication.translate("Form", "Intersection operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdIntersection.setText(QtGui.QApplication.translate("Form", "ᑎ", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdJoin.setToolTip(QtGui.QApplication.translate("Form", "Natural join operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdJoin.setText(QtGui.QApplication.translate("Form", "ᐅᐊ", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdOuterLeft.setToolTip(QtGui.QApplication.translate("Form", "Outer join left operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdOuterLeft.setText(QtGui.QApplication.translate("Form", "ᐅLEFTᐊ", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdOuterRight.setToolTip(QtGui.QApplication.translate("Form", "Outer join right operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdOuterRight.setText(QtGui.QApplication.translate("Form", "ᐅRIGHTᐊ", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdOuter.setToolTip(QtGui.QApplication.translate("Form", "Outer join full operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdOuter.setText(QtGui.QApplication.translate("Form", "ᐅFULLᐊ", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdProjection.setToolTip(QtGui.QApplication.translate("Form", "Projection operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdProjection.setText(QtGui.QApplication.translate("Form", "π", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdSelection.setToolTip(QtGui.QApplication.translate("Form", "Selection operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdSelection.setText(QtGui.QApplication.translate("Form", "σ", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdRename.setToolTip(QtGui.QApplication.translate("Form", "Rename operator", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdRename.setText(QtGui.QApplication.translate("Form", "ρ", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdArrow.setToolTip(QtGui.QApplication.translate("Form", "Rename attribute", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdArrow.setText(QtGui.QApplication.translate("Form", "➡", None, QtGui.QApplication.UnicodeUTF8)) + self.groupBox_2.setTitle(QtGui.QApplication.translate("Form", "Relations", None, QtGui.QApplication.UnicodeUTF8)) + self.listWidget_2.setToolTip(QtGui.QApplication.translate("Form", "List all the relations.\n" +"Double click on a relation to show it in the table.", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdLoad.setWhatsThis(QtGui.QApplication.translate("Form", "Loads a relation from a file", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdLoad.setText(QtGui.QApplication.translate("Form", "Load relation", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdUnload.setToolTip(QtGui.QApplication.translate("Form", "Unloads a relation", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdUnload.setText(QtGui.QApplication.translate("Form", "Unload relation", None, QtGui.QApplication.UnicodeUTF8)) + self.groupBox_3.setTitle(QtGui.QApplication.translate("Form", "Attributes", None, QtGui.QApplication.UnicodeUTF8)) + self.listWidget.setToolTip(QtGui.QApplication.translate("Form", "Shows the attributes of the current relation", None, QtGui.QApplication.UnicodeUTF8)) + self.label.setText(QtGui.QApplication.translate("Form", "Query", None, QtGui.QApplication.UnicodeUTF8)) + self.label_2.setText(QtGui.QApplication.translate("Form", "=", None, QtGui.QApplication.UnicodeUTF8)) + self.cmdExecute.setText(QtGui.QApplication.translate("Form", "Execute", None, QtGui.QApplication.UnicodeUTF8)) + + +if __name__ == "__main__": + import sys + app = QtGui.QApplication(sys.argv) + Form = QtGui.QWidget() + + ui = Ui_Form() + ui.setupUi(Form) + Form.show() + Form.setWindowTitle("Relational") + sys.exit(app.exec_()) +