You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
304 lines
17 KiB
304 lines
17 KiB
# -*- coding: utf-8 -*-
|
|
|
|
################################################################################
|
|
## Form generated from reading UI file 'main_ui.ui'
|
|
##
|
|
## Created by: Qt User Interface Compiler version 6.6.1
|
|
##
|
|
## WARNING! All changes made in this file will be lost when recompiling UI file!
|
|
################################################################################
|
|
|
|
from PySide6.QtCore import (QCoreApplication, QDate, QDateTime, QLocale,
|
|
QMetaObject, QObject, QPoint, QRect,
|
|
QSize, QTime, QUrl, Qt)
|
|
from PySide6.QtGui import (QBrush, QColor, QConicalGradient, QCursor,
|
|
QFont, QFontDatabase, QGradient, QIcon,
|
|
QImage, QKeySequence, QLinearGradient, QPainter,
|
|
QPalette, QPixmap, QRadialGradient, QTransform)
|
|
from PySide6.QtWidgets import (QApplication, QFrame, QGraphicsView, QHBoxLayout,
|
|
QLabel, QLineEdit, QMainWindow, QMenuBar,
|
|
QPushButton, QSizePolicy, QStatusBar, QVBoxLayout,
|
|
QWidget)
|
|
|
|
class Ui_MainWindow(object):
|
|
def setupUi(self, MainWindow):
|
|
if not MainWindow.objectName():
|
|
MainWindow.setObjectName(u"MainWindow")
|
|
MainWindow.resize(1190, 923)
|
|
font = QFont()
|
|
font.setPointSize(16)
|
|
MainWindow.setFont(font)
|
|
MainWindow.setStyleSheet(u"")
|
|
self.centralwidget = QWidget(MainWindow)
|
|
self.centralwidget.setObjectName(u"centralwidget")
|
|
self.centralwidget.setStyleSheet(u"")
|
|
self.verticalLayout = QVBoxLayout(self.centralwidget)
|
|
self.verticalLayout.setObjectName(u"verticalLayout")
|
|
self.frame = QFrame(self.centralwidget)
|
|
self.frame.setObjectName(u"frame")
|
|
self.frame.setFrameShape(QFrame.StyledPanel)
|
|
self.frame.setFrameShadow(QFrame.Raised)
|
|
self.horizontalLayoutWidget = QWidget(self.frame)
|
|
self.horizontalLayoutWidget.setObjectName(u"horizontalLayoutWidget")
|
|
self.horizontalLayoutWidget.setGeometry(QRect(40, 10, 651, 222))
|
|
self.horizontalLayout = QHBoxLayout(self.horizontalLayoutWidget)
|
|
self.horizontalLayout.setObjectName(u"horizontalLayout")
|
|
self.horizontalLayout.setContentsMargins(0, 0, 0, 0)
|
|
self.p4 = QPushButton(self.horizontalLayoutWidget)
|
|
self.p4.setObjectName(u"p4")
|
|
self.p4.setMinimumSize(QSize(148, 220))
|
|
self.p4.setMaximumSize(QSize(148, 16777215))
|
|
|
|
self.horizontalLayout.addWidget(self.p4)
|
|
|
|
self.p3 = QPushButton(self.horizontalLayoutWidget)
|
|
self.p3.setObjectName(u"p3")
|
|
self.p3.setMinimumSize(QSize(148, 220))
|
|
self.p3.setMaximumSize(QSize(148, 16777215))
|
|
|
|
self.horizontalLayout.addWidget(self.p3)
|
|
|
|
self.p2 = QPushButton(self.horizontalLayoutWidget)
|
|
self.p2.setObjectName(u"p2")
|
|
self.p2.setMinimumSize(QSize(148, 220))
|
|
self.p2.setMaximumSize(QSize(148, 16777215))
|
|
|
|
self.horizontalLayout.addWidget(self.p2)
|
|
|
|
self.p1 = QPushButton(self.horizontalLayoutWidget)
|
|
self.p1.setObjectName(u"p1")
|
|
self.p1.setMinimumSize(QSize(148, 220))
|
|
self.p1.setMaximumSize(QSize(148, 16777215))
|
|
|
|
self.horizontalLayout.addWidget(self.p1)
|
|
|
|
self.lineEdit = QLineEdit(self.frame)
|
|
self.lineEdit.setObjectName(u"lineEdit")
|
|
self.lineEdit.setGeometry(QRect(40, 230, 821, 31))
|
|
self.label_result = QLabel(self.frame)
|
|
self.label_result.setObjectName(u"label_result")
|
|
self.label_result.setGeometry(QRect(880, 230, 141, 31))
|
|
self.label_result.setStyleSheet(u"background-color:rgb(74, 203, 105)")
|
|
self.label_result.setAlignment(Qt.AlignCenter)
|
|
self.label_TF = QLabel(self.frame)
|
|
self.label_TF.setObjectName(u"label_TF")
|
|
self.label_TF.setGeometry(QRect(1030, 230, 31, 31))
|
|
self.label_TF.setStyleSheet(u"background-color:rgb(219, 205, 166)")
|
|
self.label_TF.setAlignment(Qt.AlignCenter)
|
|
self.pushButton = QPushButton(self.frame)
|
|
self.pushButton.setObjectName(u"pushButton")
|
|
self.pushButton.setGeometry(QRect(1080, 220, 81, 51))
|
|
font1 = QFont()
|
|
font1.setPointSize(16)
|
|
font1.setBold(True)
|
|
self.pushButton.setFont(font1)
|
|
self.pushButton.setStyleSheet(u"")
|
|
self.pushButton_q = QPushButton(self.frame)
|
|
self.pushButton_q.setObjectName(u"pushButton_q")
|
|
self.pushButton_q.setGeometry(QRect(950, 50, 151, 51))
|
|
self.pushButton_q.setFont(font1)
|
|
self.pushButton_ex = QPushButton(self.frame)
|
|
self.pushButton_ex.setObjectName(u"pushButton_ex")
|
|
self.pushButton_ex.setGeometry(QRect(950, 130, 151, 51))
|
|
self.pushButton_ex.setFont(font1)
|
|
self.pushButton_autosv = QPushButton(self.frame)
|
|
self.pushButton_autosv.setObjectName(u"pushButton_autosv")
|
|
self.pushButton_autosv.setGeometry(QRect(40, 270, 141, 41))
|
|
self.pushButton_autosv.setFont(font1)
|
|
self.pushButton_dtree = QPushButton(self.frame)
|
|
self.pushButton_dtree.setObjectName(u"pushButton_dtree")
|
|
self.pushButton_dtree.setGeometry(QRect(200, 270, 141, 41))
|
|
self.pushButton_dtree.setFont(font1)
|
|
self.pushButton_allan = QPushButton(self.frame)
|
|
self.pushButton_allan.setObjectName(u"pushButton_allan")
|
|
self.pushButton_allan.setGeometry(QRect(360, 270, 141, 41))
|
|
self.pushButton_allan.setFont(font1)
|
|
self.pushButton_exp = QPushButton(self.frame)
|
|
self.pushButton_exp.setObjectName(u"pushButton_exp")
|
|
self.pushButton_exp.setGeometry(QRect(520, 270, 141, 41))
|
|
self.pushButton_exp.setFont(font1)
|
|
self.pushButton_ast = QPushButton(self.frame)
|
|
self.pushButton_ast.setObjectName(u"pushButton_ast")
|
|
self.pushButton_ast.setGeometry(QRect(690, 270, 141, 41))
|
|
self.pushButton_ast.setFont(font1)
|
|
self.pushButton_check_te = QPushButton(self.frame)
|
|
self.pushButton_check_te.setObjectName(u"pushButton_check_te")
|
|
self.pushButton_check_te.setGeometry(QRect(860, 270, 141, 41))
|
|
self.pushButton_check_te.setFont(font1)
|
|
self.label = QLabel(self.frame)
|
|
self.label.setObjectName(u"label")
|
|
self.label.setGeometry(QRect(760, 170, 101, 31))
|
|
self.p1_selected = QPushButton(self.frame)
|
|
self.p1_selected.setObjectName(u"p1_selected")
|
|
self.p1_selected.setGeometry(QRect(750, 20, 100, 150))
|
|
self.p1_selected.setMinimumSize(QSize(100, 150))
|
|
self.p1_selected.setMaximumSize(QSize(100, 150))
|
|
|
|
self.verticalLayout.addWidget(self.frame)
|
|
|
|
self.line = QFrame(self.centralwidget)
|
|
self.line.setObjectName(u"line")
|
|
self.line.setMinimumSize(QSize(0, 0))
|
|
self.line.setFrameShape(QFrame.HLine)
|
|
self.line.setFrameShadow(QFrame.Sunken)
|
|
|
|
self.verticalLayout.addWidget(self.line)
|
|
|
|
self.frame_2 = QFrame(self.centralwidget)
|
|
self.frame_2.setObjectName(u"frame_2")
|
|
self.frame_2.setFrameShape(QFrame.StyledPanel)
|
|
self.frame_2.setFrameShadow(QFrame.Raised)
|
|
self.graphicsView = QGraphicsView(self.frame_2)
|
|
self.graphicsView.setObjectName(u"graphicsView")
|
|
self.graphicsView.setGeometry(QRect(0, 0, 1000, 541))
|
|
self.pushButton_add = QPushButton(self.frame_2)
|
|
self.pushButton_add.setObjectName(u"pushButton_add")
|
|
self.pushButton_add.setGeometry(QRect(1040, 120, 41, 41))
|
|
font2 = QFont()
|
|
font2.setPointSize(24)
|
|
font2.setBold(False)
|
|
self.pushButton_add.setFont(font2)
|
|
self.pushButton_add.setStyleSheet(u"")
|
|
self.pushButton_sub = QPushButton(self.frame_2)
|
|
self.pushButton_sub.setObjectName(u"pushButton_sub")
|
|
self.pushButton_sub.setGeometry(QRect(1090, 120, 41, 41))
|
|
self.pushButton_sub.setFont(font2)
|
|
self.pushButton_sub.setStyleSheet(u"")
|
|
self.pushButton_div = QPushButton(self.frame_2)
|
|
self.pushButton_div.setObjectName(u"pushButton_div")
|
|
self.pushButton_div.setGeometry(QRect(1090, 170, 41, 41))
|
|
self.pushButton_div.setFont(font2)
|
|
self.pushButton_div.setStyleSheet(u"")
|
|
self.pushButton_mul = QPushButton(self.frame_2)
|
|
self.pushButton_mul.setObjectName(u"pushButton_mul")
|
|
self.pushButton_mul.setGeometry(QRect(1040, 170, 41, 41))
|
|
self.pushButton_mul.setFont(font2)
|
|
self.pushButton_mul.setStyleSheet(u"")
|
|
self.add_ops_node = QPushButton(self.frame_2)
|
|
self.add_ops_node.setObjectName(u"add_ops_node")
|
|
self.add_ops_node.setGeometry(QRect(1020, 220, 141, 41))
|
|
font3 = QFont()
|
|
font3.setPointSize(14)
|
|
font3.setBold(False)
|
|
self.add_ops_node.setFont(font3)
|
|
self.add_val_node = QPushButton(self.frame_2)
|
|
self.add_val_node.setObjectName(u"add_val_node")
|
|
self.add_val_node.setGeometry(QRect(1020, 270, 141, 41))
|
|
self.add_val_node.setFont(font3)
|
|
self.ex_node_value = QPushButton(self.frame_2)
|
|
self.ex_node_value.setObjectName(u"ex_node_value")
|
|
self.ex_node_value.setGeometry(QRect(1020, 320, 141, 41))
|
|
self.ex_node_value.setFont(font3)
|
|
self.ex_node_ops = QPushButton(self.frame_2)
|
|
self.ex_node_ops.setObjectName(u"ex_node_ops")
|
|
self.ex_node_ops.setGeometry(QRect(1020, 370, 141, 41))
|
|
self.ex_node_ops.setFont(font3)
|
|
self.ex_node_self = QPushButton(self.frame_2)
|
|
self.ex_node_self.setObjectName(u"ex_node_self")
|
|
self.ex_node_self.setGeometry(QRect(1020, 420, 141, 41))
|
|
self.ex_node_self.setFont(font3)
|
|
self.label_2 = QLabel(self.frame_2)
|
|
self.label_2.setObjectName(u"label_2")
|
|
self.label_2.setGeometry(QRect(1030, 70, 121, 41))
|
|
self.lb_ops_selected = QLabel(self.frame_2)
|
|
self.lb_ops_selected.setObjectName(u"lb_ops_selected")
|
|
self.lb_ops_selected.setGeometry(QRect(1060, 10, 53, 51))
|
|
font4 = QFont()
|
|
font4.setPointSize(18)
|
|
font4.setBold(True)
|
|
self.lb_ops_selected.setFont(font4)
|
|
self.lb_ops_selected.setStyleSheet(u"background-color:rgb(255, 255, 255)")
|
|
self.lb_ops_selected.setAlignment(Qt.AlignCenter)
|
|
self.clear_button = QPushButton(self.frame_2)
|
|
self.clear_button.setObjectName(u"clear_button")
|
|
self.clear_button.setGeometry(QRect(1020, 470, 141, 41))
|
|
self.clear_button.setFont(font3)
|
|
|
|
self.verticalLayout.addWidget(self.frame_2)
|
|
|
|
self.verticalLayout.setStretch(0, 3)
|
|
self.verticalLayout.setStretch(2, 5)
|
|
MainWindow.setCentralWidget(self.centralwidget)
|
|
self.menubar = QMenuBar(MainWindow)
|
|
self.menubar.setObjectName(u"menubar")
|
|
self.menubar.setGeometry(QRect(0, 0, 1190, 33))
|
|
MainWindow.setMenuBar(self.menubar)
|
|
self.statusbar = QStatusBar(MainWindow)
|
|
self.statusbar.setObjectName(u"statusbar")
|
|
MainWindow.setStatusBar(self.statusbar)
|
|
|
|
self.retranslateUi(MainWindow)
|
|
|
|
QMetaObject.connectSlotsByName(MainWindow)
|
|
# setupUi
|
|
|
|
def retranslateUi(self, MainWindow):
|
|
MainWindow.setWindowTitle(QCoreApplication.translate("MainWindow", u"\u8ba1\u7b97\u601d\u7ef424\u70b9", None))
|
|
self.p4.setText("")
|
|
self.p3.setText("")
|
|
self.p2.setText("")
|
|
self.p1.setText("")
|
|
self.label_result.setText(QCoreApplication.translate("MainWindow", u" = \uff1f", None))
|
|
self.label_TF.setText("")
|
|
self.pushButton.setText(QCoreApplication.translate("MainWindow", u"\u8ba1\u7b97", None))
|
|
self.pushButton_q.setText(QCoreApplication.translate("MainWindow", u"\u51fa\u9898", None))
|
|
self.pushButton_ex.setText(QCoreApplication.translate("MainWindow", u"\u6362\u724c", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.pushButton_autosv.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u81ea\u52a8\u6839\u636e\u724c\u9762\u8ba1\u7b97\u4e00\u4e2a24\u70b9\u7684\u8868\u8fbe\u5f0f\uff0c\u5e76\u4e14\u753b\u51fa\u8bed\u6cd5\u6811\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
#if QT_CONFIG(whatsthis)
|
|
self.pushButton_autosv.setWhatsThis(QCoreApplication.translate("MainWindow", u"<html><head/><body><p><br/></p></body></html>", None))
|
|
#endif // QT_CONFIG(whatsthis)
|
|
self.pushButton_autosv.setText(QCoreApplication.translate("MainWindow", u"\u81ea\u52a8\u6c42\u89e3", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.pushButton_dtree.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u6839\u636e\u8868\u8fbe\u5f0f\u753b\u51fa\u5bf9\u5e94\u7684\u8bed\u6cd5\u6811\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
self.pushButton_dtree.setText(QCoreApplication.translate("MainWindow", u"\u753b\u6811", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.pushButton_allan.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u53ef\u4ee5\u591a\u6b21\u70b9\u51fb\u5207\u6362\u6240\u6709\u7b26\u5408\u8981\u6c42\u7684\u8868\u8fbe\u5f0f\uff0c\u5e76\u540c\u6b65\u753b\u51fa\u8bed\u6cd5\u6811\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
self.pushButton_allan.setText(QCoreApplication.translate("MainWindow", u"\u6240\u6709\u7b54\u6848", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.pushButton_exp.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u4ece\u8bed\u6cd5\u6811\u751f\u6210\u8868\u8fbe\u5f0f\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
self.pushButton_exp.setText(QCoreApplication.translate("MainWindow", u"\u751f\u6210\u8868\u8fbe\u5f0f", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.pushButton_ast.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u4ece\u8868\u8fbe\u5f0f\u751f\u6210\u8bed\u6cd5\u6811\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
self.pushButton_ast.setText(QCoreApplication.translate("MainWindow", u"\u751f\u6210\u8bed\u6cd5\u6811", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.pushButton_check_te.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u68c0\u67e5\u8868\u8fbe\u5f0f\u548c\u8bed\u6cd5\u6811\u662f\u5426\u7b49\u6548\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
self.pushButton_check_te.setText(QCoreApplication.translate("MainWindow", u"\u4e00\u81f4\u6027\u68c0\u67e5", None))
|
|
self.label.setText(QCoreApplication.translate("MainWindow", u"\u5df2\u9009\u724c\u9762", None))
|
|
self.p1_selected.setText("")
|
|
self.pushButton_add.setText(QCoreApplication.translate("MainWindow", u"+", None))
|
|
self.pushButton_sub.setText(QCoreApplication.translate("MainWindow", u"-", None))
|
|
self.pushButton_div.setText(QCoreApplication.translate("MainWindow", u"/", None))
|
|
self.pushButton_mul.setText(QCoreApplication.translate("MainWindow", u"*", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.add_ops_node.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u5728\u5de6\u4fa7\u8bed\u6cd5\u6811\u533a\u57df\u9009\u62e9\u4e24\u4e2a\u53f6\u5b50\u8282\u70b9\u540e\uff0c\u9009\u62e9\u597d\u8981\u6dfb\u52a0\u7684\u8fd0\u7b97\u7b26\u540e\uff0c\u53ef\u4ee5\u6dfb\u52a0\u8fd0\u7b97\u7b26\u5e76\u7ec4\u6210\u65b0\u7684\u8bed\u6cd5\u6811\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
self.add_ops_node.setText(QCoreApplication.translate("MainWindow", u"\u6dfb\u52a0\u8fd0\u7b97\u8282\u70b9", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.add_val_node.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u6839\u636e\u5df2\u9009\u724c\u9762\u7684\u503c\uff0c\u5411\u5de6\u4fa7\u533a\u57df\u6dfb\u52a0\u4e00\u4e2a\u6570\u503c\u8282\u70b9\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
self.add_val_node.setText(QCoreApplication.translate("MainWindow", u"\u6dfb\u52a0\u6570\u503c\u8282\u70b9", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.ex_node_value.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u4fee\u6539\u6570\u503c\u8282\u70b9\u7684\u503c\uff0c\u5c06\u8bed\u6cd5\u6811\u4e2d\u9009\u4e2d\u7684\u6570\u503c\u8282\u70b9\u7684\u503c\u4fee\u6539\u4e3a\u5df2\u9009\u724c\u9762\u7684\u503c\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
self.ex_node_value.setText(QCoreApplication.translate("MainWindow", u"\u6539\u53d8\u8fd0\u7b97\u8f93\u5165", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.ex_node_ops.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u6839\u636e\u5df2\u9009\u8fd0\u7b97\u7b26\uff0c\u4fee\u6539\u5df2\u9009\u8bed\u6cd5\u6811\u4e2d\u8fd0\u7b97\u7b26\u8282\u70b9\u7684\u503c\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
self.ex_node_ops.setText(QCoreApplication.translate("MainWindow", u"\u6539\u53d8\u8282\u70b9\u8fd0\u7b97", None))
|
|
#if QT_CONFIG(tooltip)
|
|
self.ex_node_self.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u4ea4\u6362\u8bed\u6cd5\u6811\u4e2d\u4e24\u4e2a\u5df2\u9009\u7684\u6570\u503c\u8282\u70b9\u3002</p></body></html>", None))
|
|
#endif // QT_CONFIG(tooltip)
|
|
self.ex_node_self.setText(QCoreApplication.translate("MainWindow", u"\u6570\u503c\u8282\u70b9\u4ea4\u6362", None))
|
|
self.label_2.setText(QCoreApplication.translate("MainWindow", u"\u5df2\u9009\u8fd0\u7b97\u7b26", None))
|
|
self.lb_ops_selected.setText("")
|
|
self.clear_button.setText(QCoreApplication.translate("MainWindow", u"\u6e05\u7a7a\u753b\u5e03", None))
|
|
# retranslateUi
|
|
|