/
ui_main.py
103 lines (97 loc) · 5.88 KB
/
ui_main.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
# -*- coding: utf-8 -*-
# Form implementation generated from reading ui file 'main.ui'
#
# Created by: PyQt5 UI code generator 5.4.2
#
# WARNING! All changes made in this file will be lost!
from PyQt5 import QtCore, QtGui, QtWidgets
class Ui_form_main(object):
def setupUi(self, form_main):
form_main.setObjectName("form_main")
form_main.resize(1111, 445)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(form_main.sizePolicy().hasHeightForWidth())
form_main.setSizePolicy(sizePolicy)
form_main.setMinimumSize(QtCore.QSize(0, 0))
form_main.setMaximumSize(QtCore.QSize(9999, 9999))
self.groupBox_2 = QtWidgets.QGroupBox(form_main)
self.groupBox_2.setGeometry(QtCore.QRect(800, 0, 311, 441))
self.groupBox_2.setObjectName("groupBox_2")
self.verticalLayoutWidget_3 = QtWidgets.QWidget(self.groupBox_2)
self.verticalLayoutWidget_3.setGeometry(QtCore.QRect(0, 20, 311, 421))
self.verticalLayoutWidget_3.setObjectName("verticalLayoutWidget_3")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.verticalLayoutWidget_3)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.text_log = QtWidgets.QTextEdit(self.verticalLayoutWidget_3)
self.text_log.setReadOnly(True)
self.text_log.setObjectName("text_log")
self.verticalLayout_3.addWidget(self.text_log)
self.btn_clear = QtWidgets.QPushButton(self.verticalLayoutWidget_3)
self.btn_clear.setObjectName("btn_clear")
self.verticalLayout_3.addWidget(self.btn_clear)
self.groupBox_3 = QtWidgets.QGroupBox(form_main)
self.groupBox_3.setGeometry(QtCore.QRect(250, 0, 541, 449))
self.groupBox_3.setObjectName("groupBox_3")
self.verticalLayoutWidget_2 = QtWidgets.QWidget(self.groupBox_3)
self.verticalLayoutWidget_2.setGeometry(QtCore.QRect(0, 20, 541, 421))
self.verticalLayoutWidget_2.setObjectName("verticalLayoutWidget_2")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.verticalLayoutWidget_2)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.text_parser = QtWidgets.QTextEdit(self.verticalLayoutWidget_2)
self.text_parser.setReadOnly(True)
self.text_parser.setObjectName("text_parser")
self.verticalLayout_2.addWidget(self.text_parser)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.line_sentence = QtWidgets.QLineEdit(self.verticalLayoutWidget_2)
self.line_sentence.setObjectName("line_sentence")
self.horizontalLayout_2.addWidget(self.line_sentence)
self.btn_recognize = QtWidgets.QPushButton(self.verticalLayoutWidget_2)
self.btn_recognize.setObjectName("btn_recognize")
self.horizontalLayout_2.addWidget(self.btn_recognize)
self.verticalLayout_2.addLayout(self.horizontalLayout_2)
self.verticalLayoutWidget_2.raise_()
self.groupBox = QtWidgets.QGroupBox(form_main)
self.groupBox.setGeometry(QtCore.QRect(0, 0, 241, 449))
self.groupBox.setObjectName("groupBox")
self.verticalLayoutWidget = QtWidgets.QWidget(self.groupBox)
self.verticalLayoutWidget.setGeometry(QtCore.QRect(0, 20, 241, 421))
self.verticalLayoutWidget.setObjectName("verticalLayoutWidget")
self.verticalLayout = QtWidgets.QVBoxLayout(self.verticalLayoutWidget)
self.verticalLayout.setObjectName("verticalLayout")
self.btn_read = QtWidgets.QPushButton(self.verticalLayoutWidget)
self.btn_read.setObjectName("btn_read")
self.verticalLayout.addWidget(self.btn_read)
self.btn_save = QtWidgets.QPushButton(self.verticalLayoutWidget)
self.btn_save.setObjectName("btn_save")
self.verticalLayout.addWidget(self.btn_save)
self.text_grammar = QtWidgets.QTextEdit(self.verticalLayoutWidget)
self.text_grammar.setObjectName("text_grammar")
self.verticalLayout.addWidget(self.text_grammar)
self.btn_verify = QtWidgets.QPushButton(self.verticalLayoutWidget)
self.btn_verify.setObjectName("btn_verify")
self.verticalLayout.addWidget(self.btn_verify)
self.btn_parser = QtWidgets.QPushButton(self.verticalLayoutWidget)
self.btn_parser.setObjectName("btn_parser")
self.verticalLayout.addWidget(self.btn_parser)
self.verticalLayoutWidget.raise_()
self.groupBox_2.raise_()
self.retranslateUi(form_main)
QtCore.QMetaObject.connectSlotsByName(form_main)
def retranslateUi(self, form_main):
_translate = QtCore.QCoreApplication.translate
form_main.setWindowTitle(_translate("form_main", "Context Free Grammar Simulator"))
self.groupBox_2.setTitle(_translate("form_main", "Log das operações"))
self.btn_clear.setText(_translate("form_main", "Limpar log"))
self.groupBox_3.setTitle(_translate("form_main", "Parser descendente recursivo"))
self.text_parser.setPlaceholderText(_translate("form_main", "O código do parser aparecerá aqui depois de gerado"))
self.line_sentence.setPlaceholderText(_translate("form_main", "Coloque espaço entre cada símbolo!"))
self.btn_recognize.setText(_translate("form_main", "Reconhecer sentença"))
self.groupBox.setTitle(_translate("form_main", "Gramática livre de contexto"))
self.btn_read.setText(_translate("form_main", "Ler de arquivo"))
self.btn_save.setText(_translate("form_main", "Salvar em arquivo"))
self.text_grammar.setPlaceholderText(_translate("form_main", "A -> a A | b"))
self.btn_verify.setText(_translate("form_main", "Verificar se é LL(1)"))
self.btn_parser.setText(_translate("form_main", "Gerar parser descente recursivo"))