Searched refs:QtWidgets (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DConnection_Property_Widget.py14 from PyQt5 import QtWidgets namespace
20 class ConnectionPropertyWidget(QtWidgets.QGroupBox):
41 self._name_widget = QtWidgets.QLabel(self.connection_widget.name)
49 self._type_widget = QtWidgets.QLabel(self.connection_widget.connection_type)
57 self._from_interface_widget = QtWidgets.QLabel("%s : %s" % (self.connection_widget.source_interface_name, self.connection_widget.source_connection_type) )
63 self._from_instance_widget = QtWidgets.QLabel(self.connection_widget.source_instance_widget.name)
71 self._to_interface_widget = QtWidgets.QLabel("%s : %s" % (self.connection_widget.dest_interface_name, self.connection_widget.dest_connection_type) )
77 self._to_instance_widget = QtWidgets.QLabel(self.connection_widget.dest_instance_widget.name)
95 grid_layout = QtWidgets.QGridLayout()
99 grid_layout.addWidget(QtWidgets
[all...]
H A DInstance_Property_Widget.py14 from PyQt5 import QtWidgets namespace
20 class InstancePropertyWidget(QtWidgets.QGroupBox):
41 self._name_widget = QtWidgets.QLabel(self.instance_widget.name)
49 self._type_widget = QtWidgets.QLabel(self.instance_widget.component_type)
55 self._hardware_widget = QtWidgets.QLabel("Hardware")
61 self._control_widget = QtWidgets.QLabel("Control")
77 grid_layout = QtWidgets.QGridLayout()
82 grid_layout.addWidget(QtWidgets.QLabel("Name: "), row, 0)
87 grid_layout.addWidget(QtWidgets.QLabel("Type: "), row, 0)
102 separator = QtWidgets
[all...]
H A DSave_Option_Dialog.py14 from PyQt5 import QtWidgets, QtGui, QtCore namespace
16 class SaveOptionDialog(QtWidgets.QDialog):
88 self.format_combobox = QtWidgets.QComboBox(self)
89 self.format_combobox.setInsertPolicy(QtWidgets.QComboBox.InsertAtBottom)
95 main_layout = QtWidgets.QVBoxLayout(self)
100 self.png_options_widget = QtWidgets.QWidget(self)
101 png_option_layout = QtWidgets.QVBoxLayout()
105 width_label = QtWidgets.QLabel("Width: ")
106 px_label = QtWidgets.QLabel("px")
111 width_hlayout = QtWidgets
[all...]
H A DGraph_Widget.py16 from PyQt5 import QtWidgets, QtGui, QtCore, QtSvg namespace
30 class GraphWidget(QtWidgets.QGraphicsView):
58 menu = QtWidgets.QMenu()
60 proxy_menu.setFlag(QtWidgets.QGraphicsItem.ItemIgnoresTransformations)
68 self._zoom_in = QtWidgets.QPushButton("Zoom &In", self)
79 self._zoom_out = QtWidgets.QPushButton("Zoom &Out", self)
89 self._save_picture_button = QtWidgets.QPushButton("Save Image", self)
99 self._autolayout_button = QtWidgets.QPushButton("Auto&layout", self)
131 self._export_action = QtWidgets.QAction("Export as Image", self)
141 self._show_components_action = QtWidgets
[all...]
H A DInstance_Widget.py17 from PyQt5 import QtGui, QtWidgets, QtCore namespace
26 class InstanceWidget(QtWidgets.QGraphicsWidget, PropertyInterface):
349 assert isinstance(value, QtWidgets.QGraphicsProxyWidget)
350 assert isinstance(value.widget(), QtWidgets.QMenu)
391 self.setFlag(QtWidgets.QGraphicsWidget.ItemIsMovable)
406 assert isinstance(style_options, QtWidgets.QStyleOptionGraphicsItem)
407 # assert isinstance(widget, QtWidgets.QWidget)
780 if change == QtWidgets.QGraphicsWidget.ItemPositionHasChanged:
827 assert isinstance(event, QtWidgets.QGraphicsSceneContextMenuEvent)
831 assert isinstance(menu, QtWidgets
[all...]
H A DConnection_Widget.py16 from PyQt5 import QtGui, QtWidgets, QtCore namespace
22 class ConnectionWidget(QtWidgets.QGraphicsItem, PropertyInterface):
218 # assert isinstance(style_option, QtWidgets.QStyleOptionGraphicsItem)
219 # assert isinstance(widget, QtWidgets.QWidget)
351 assert isinstance(mouse_event, QtWidgets.QGraphicsSceneMouseEvent)
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Controller/
H A Dgraph_controller.py16 from PyQt5 import QtWidgets, QtGui, QtCore namespace
29 class GraphController(QtWidgets.QMainWindow):
56 self._open_action = QtWidgets.QAction("Open", self)
70 self._quit_action = QtWidgets.QAction("Quit", self)
83 self._import_path_action = QtWidgets.QAction("Add Import Paths", self)
96 self._property_dock = QtWidgets.QDockWidget("Properties", self)
146 self.property_dock_widget.setWidget(QtWidgets.QWidget())
148 self.setTabPosition(QtCore.Qt.LeftDockWidgetArea | QtCore.Qt.RightDockWidgetArea, QtWidgets.QTabWidget.North)
149 self.setTabShape(QtWidgets.QTabWidget.Triangular)
175 messageBox = QtWidgets
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/
H A D__main__.py19 from PyQt5 import QtWidgets, QtGui namespace
34 app = QtWidgets.QApplication(argv)
H A Dtestvisualcamkes.py16 from PyQt5 import QtWidgets namespace
26 app = QtWidgets.QApplication(argv)

Completed in 90 milliseconds