def changeColumnType(self, typ): if typ == "BasicBox": for widget in self.widgets: widget = Widget().basicBox(widget.getWidgetInfo()) elif typ == "BasicButton": for widget in self.widgets: widget = Widget().basicButton(widget.getWidgetInfo()) elif typ == "AudioButton": for widget in self.widgets: widget = Widget().audioButton(widget.getWidgetInfo())
def setTypeByPlace(self, place, typ): if typ == "BasicBox": self.widgets[place] = Widget().basicBox(*self.widgets[place].getWidgetInfo()) self.widgets[place].setType(typ) elif typ == "BasicButton": self.widgets[place] = Widget().basicButton(*self.widgets[place].getWidgetInfo()) self.widgets[place].setType(typ) elif typ == "AudioButton": self.widgets[place] = Widget().audioButton(*self.widgets[place].getWidgetInfo()) self.widgets[place].setType(typ)
def changeColumnTypeByWidget(self, widget, typ): for widgt in self.widgets: if widgt == widget: if typ == "BasicBox": widgt = Widget().basicBox(*widgt.getWidgetInfo()) widgt.setType(typ) elif typ == "BasicButton": widgt = Widget().basicButton(*widgt.getWidgetInfo()) widgt.setType(typ) elif typ == "AudioButton": widgt = Widget().audioButton(*widgt.getWidgetInfo()) widgt.setType(typ)
def changeColumnType(self, typ): tempWidgets = [] if typ == "BasicBox": for widget in self.widgets: tempWidgets.append(Widget().basicBox(*widget.getWidgetInfo())) elif typ == "BasicButton": for widget in self.widgets: tempWidgets.append(Widget().basicButton(*widget.getWidgetInfo())) self.buttons += 1 elif typ == "AudioButton": for widget in self.widgets: tempWidgets.append(Widget().audioButton(*widget.getWidgetInfo())) self.buttons += 1 self.widgets = tempWidgets
def changeColumnText(self, column, text, font, fontsize): x = self.x y = self.y self.columns = [] for row in range(0, self.c): widgets = [] for widget in range(0, self.r): widgets.append(Widget().basicBox(x, y, self.w, self.h, text, font, fontsize)) y += self.h + self.spaceRows self.columns.append(widgets) self.x += self.spaceColumns
def __init__(self, x, y, w, h, length, spacing): self.x = x self.y = y self.w = w self.h = h self.length = length self.spacing = args[4] self.widgets = [] for x in range(0, self.length): self.widgets.append(Widget().basicBox(self.x, self.y, self.w, self.h)) self.y += self.spacing + self.h
def updateGrid(self, *args): x = self.x y = self.y for row in range(0, self.c): widgets = [] for widget in range(0, self.r): widgets.append(Widget().basicBox(x, y, self.w, self.h)) y += self.h + self.spaceRows self.columns.append(widgets) self.x += self.spaceColumns if len(args) > 0: for row in range(0, self.c): for widget in range(0, self.r): widget.updateFont()
def loadWidgetsCallback(self, data):
widgetIds = [w.getId() for w in self.children]
for widget in data:
if widget['id'] not in widgetIds:
self.addChild(Widget(self, widget))
else:
self.getWidgetById(widget['id']).refresh(widget)
widgetIds.remove(widget['id'])
for wgt in self.children:
if wgt.getId() in widgetIds:
self.children.remove(wgt)
wgt.destroy()
self.updated()
self.getModules().updated()
def __init__(self, *args): self.x = args[0] self.y = args[1] self.w = args[2] self.h = args[3] self.length = args[4] print(args[5]) self.spacing = args[5] self.widgets = [] self.buttons = 0 self.id = args[6] for x in range(0, self.length): self.widgets.append(Widget().basicBox(self.x, self.y, self.w, self.h, self.id)) self.y += self.spacing + self.h self.id += 1 self.newDirectory = ""
def __init__(self, editor):
Signal.__init__(self)
from HideTimer import Timer
Timer(self, editor)
from Animator import Animator
Animator(self, editor)
from DeltaCalculator import Calculator
Calculator(self, editor)
from PublicAPIVisibilityUpdater import Updater
Updater(self, editor)
from VisibilityUpdater import Updater
Updater(self, editor)
from Displayer import Displayer
Displayer(self, editor)
from DisplayerManager import Manager
Manager(self, editor)
from ViewSizeUpdater import Updater
Updater(self, editor)
from BarSizeUpdater import Updater
Updater(self, editor)
from EventBoxColorChanger import Changer
Changer(self, editor)
from Widget import Widget
Widget(self, editor)
__author__ = 'piotrek'
from Widget import Widget
if __name__ == '__main__':
widget = Widget()
widget.wyswietl()
def runTest(self):
widget = Widget()
self.assertEqual(widget.getSize(), (40, 40))
@author: jntrcs
"""
import pickle
from OuterGraph import OuterGraph
from Widget import Widget
# Step 2
with open('vertice_ints', 'rb') as file:
# Step 3
vertices = pickle.load(file)
# Step 2
with open('int_to_states', 'rb') as file:
# Step 3
key = pickle.load(file)
graph = OuterGraph(key, vertices)
test_widget = Widget(1, key[1], graph)
evs = test_widget.generate_expected_values()
for k, vals in vertices.items():
if 15375 in vals:
print(k)
print(key[138830])
bw = Widget(138830, key[138830], graph)
evs = bw.get_expected_values()
def setUp(self):
self.widget = Widget()
def setupUI(self):
"""初始化窗口结构"""
self.setGeometry(50, 50, 800, 900)
self.max_fig_num = 6
self.file_menu = QtWidgets.QMenu('&File', self)
self.file_menu.addAction('&Open', self.openLogFilesDialog,
QtCore.Qt.CTRL + QtCore.Qt.Key_O)
self.file_menu.addAction('&Quit', self.fileQuit,
QtCore.Qt.CTRL + QtCore.Qt.Key_Q)
self.menuBar().addMenu(self.file_menu)
self.fig_menu = QtWidgets.QMenu('&Numer', self)
group = QtWidgets.QActionGroup(self.fig_menu)
texts = [str(i) for i in range(2, self.max_fig_num + 1)]
cur_id = 1
cur_fig_num = int(texts[cur_id])
for text in texts:
action = QtWidgets.QAction(text,
self.fig_menu,
checkable=True,
checked=text == texts[cur_id])
self.fig_menu.addAction(action)
group.addAction(action)
group.setExclusive(True)
group.triggered.connect(self.fignum_changed)
self.menuBar().addMenu(self.fig_menu)
self.help_menu = QtWidgets.QMenu('&Help', self)
self.help_menu.addAction('&About', self.about)
self.menuBar().addMenu(self.help_menu)
self._main = Widget()
self._main.dropped.connect(self.dragFiles)
self.setCentralWidget(self._main)
self.layout = QtWidgets.QVBoxLayout(self._main)
#Add ComboBox
self.grid = QtWidgets.QGridLayout()
for i in range(0, cur_fig_num):
self.grid.setColumnMinimumWidth(i * 2, 40)
self.grid.setColumnStretch(i * 2 + 1, 1)
self.labels = []
self.combos = []
for i in range(0, cur_fig_num):
label = QtWidgets.QLabel("图片" + str(i + 1), self)
label.adjustSize()
combo = ExtendedComboBox(self)
combo.resize(10, 10)
combo.activated.connect(self.combo_onActivated)
self.labels.append(label)
self.combos.append(combo)
self.grid.addWidget(label, 1, i * 2)
self.grid.addWidget(combo, 1, i * 2 + 1)
self.layout.addLayout(self.grid)
#消息框
# self.label_info = QtWidgets.QLabel("",self)
# self.label_info.setStyleSheet("background-color: white;")
# self.label_info.setWordWrap(True)
self.info = QtWidgets.QTextBrowser(self)
self.info.setReadOnly(True)
self.info.setMinimumHeight(5)
# self.layout.addWidget(self.info)
#图形化结构
self.fig_height = 2.5
self.static_canvas = FigureCanvas(
Figure(figsize=(10, self.fig_height * cur_fig_num)))
self.static_canvas.setSizePolicy(QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.fig_widget = Widget()
self.fig_layout = QtWidgets.QVBoxLayout(self.fig_widget)
self.fig_layout.addWidget(self.static_canvas)
self.scroll = QtWidgets.QScrollArea(self.fig_widget)
self.scroll.setWidget(self.static_canvas)
self.scroll.setWidgetResizable(True)
# self.layout.addWidget(self.scroll)
self.old_home = NavigationToolbar.home
self.old_forward = NavigationToolbar.forward
self.old_back = NavigationToolbar.back
NavigationToolbar.home = self.new_home
NavigationToolbar.forward = self.new_forward
NavigationToolbar.back = self.new_back
self.addToolBar(NavigationToolbar(self.static_canvas, self._main))
self.axs = self.static_canvas.figure.subplots(cur_fig_num,
1,
sharex=True)
#鼠标移动消息
self.static_canvas.mpl_connect('motion_notify_event', self.mouse_move)
self.static_canvas.mpl_connect('button_press_event', self.mouse_press)
#Log
self.log_info = QtWidgets.QTextBrowser(self)
self.log_info.setReadOnly(True)
self.log_info.setMinimumHeight(10)
self.log_info.setOpenLinks(False)
self.log_info.anchorClicked.connect(self.openFileUrl)
# self.layout.addWidget(self.log_info)
#消息框，绘图，Log窗口尺寸可变
splitter1 = QtWidgets.QSplitter(QtCore.Qt.Vertical)
splitter1.addWidget(self.info)
splitter1.addWidget(self.scroll)
splitter1.setSizes([1, 100])
splitter2 = QtWidgets.QSplitter(QtCore.Qt.Vertical)
splitter2.addWidget(splitter1)
splitter2.addWidget(self.log_info)
splitter2.setSizes([100, 1])
self.layout.addWidget(splitter2)
#选择消息框
self.hbox = QtWidgets.QHBoxLayout()
self.check_all = QtWidgets.QCheckBox('ALL', self)
self.check_fatal = QtWidgets.QCheckBox('FATAL', self)
self.check_err = QtWidgets.QCheckBox('ERROR', self)
self.check_war = QtWidgets.QCheckBox('WARNING', self)
self.check_notice = QtWidgets.QCheckBox('NOTICE', self)
self.check_tstart = QtWidgets.QCheckBox('TASK START', self)
self.check_tfinish = QtWidgets.QCheckBox('TASK FINISHED', self)
self.check_service = QtWidgets.QCheckBox('SERVICE', self)
self.hbox.addWidget(self.check_all)
self.hbox.addWidget(self.check_fatal)
self.hbox.addWidget(self.check_err)
self.hbox.addWidget(self.check_war)
self.hbox.addWidget(self.check_notice)
self.hbox.addWidget(self.check_tstart)
self.hbox.addWidget(self.check_tfinish)
self.hbox.addWidget(self.check_service)
self.hbox.setAlignment(QtCore.Qt.AlignLeft)
self.layout.addLayout(self.hbox)
self.check_fatal.stateChanged.connect(self.changeCheckBox)
self.check_err.stateChanged.connect(self.changeCheckBox)
self.check_war.stateChanged.connect(self.changeCheckBox)
self.check_notice.stateChanged.connect(self.changeCheckBox)
self.check_tstart.stateChanged.connect(self.changeCheckBox)
self.check_tfinish.stateChanged.connect(self.changeCheckBox)
self.check_service.stateChanged.connect(self.changeCheckBox)
self.check_all.stateChanged.connect(self.changeCheckBoxAll)
self.check_all.setChecked(True)
def __add_existing_widget(self, page, config):
# make a widget from the given config
widget = Widget(page, config)
# add it to the page
page.widgets.append(widget)
