Searched refs:QtCore (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DConnection_Widget.py16 from PyQt5 import QtGui, QtWidgets, QtCore namespace
139 assert isinstance(pos, QtCore.QPointF)
154 assert isinstance(pos, QtCore.QPointF)
247 assert isinstance(rect, QtCore.QRectF)
338 assert isinstance(source_point, QtCore.QPointF)
339 assert isinstance(dest_point, QtCore.QPointF)
365 assert isinstance(old_point, QtCore.QPointF)
372 new_point = QtCore.QPointF((old_point.x() * new_length) / old_length, (old_point.y() * new_length) / old_length)
387 assert isinstance(source_pos, QtCore.QPointF)
388 assert isinstance(dest_pos, QtCore
[all...]
H A DGraph_Widget.py16 from PyQt5 import QtWidgets, QtGui, QtCore, QtSvg namespace
71 self._zoom_in.setShortcut(QtGui.QKeySequence(QtCore.Qt.CTRL + QtCore.Qt.Key_Minus))
72 self._zoom_in.setShortcut(QtGui.QKeySequence(QtCore.Qt.CTRL + QtCore.Qt.Key_Equal))
82 self._zoom_out.setShortcut(QtGui.QKeySequence(QtCore.Qt.CTRL + QtCore.Qt.Key_Minus))
102 self._autolayout_button.setShortcut(QtGui.QKeySequence(QtCore.Qt.CTRL + QtCore.Qt.Key_L))
497 assert isinstance(size, QtCore
[all...]
H A DInstance_Widget.py17 from PyQt5 import QtGui, QtWidgets, QtCore namespace
39 self._velocity = QtCore.QPointF(0, 0)
44 assert isinstance(value, QtCore.QPointF)
360 widget_moved = QtCore.pyqtSignal()
477 bounding_rect_font = painter.boundingRect(QtCore.QRectF(1, 1, 1, 1), QtCore.Qt.AlignCenter, self.name)
482 painter.drawText(bounding_rect_font, QtCore.Qt.AlignCenter, self.name)
489 bounding_rect_font = painter.boundingRect(QtCore.QRectF(1, 1, 1, 1), QtCore.Qt.AlignCenter, self.component_type)
494 painter.drawText(bounding_rect_font, QtCore
[all...]
H A DSave_Option_Dialog.py14 from PyQt5 import QtWidgets, QtGui, QtCore namespace
209 assert isinstance(self.proportional_rect, QtCore.QRectF)
225 assert isinstance(self.proportional_rect, QtCore.QRectF)
237 if state == QtCore.Qt.Checked:
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Controller/
H A Dgraph_controller.py16 from PyQt5 import QtWidgets, QtGui, QtCore namespace
97 self._property_dock.setAllowedAreas(QtCore.Qt.LeftDockWidgetArea |
98 QtCore.Qt.RightDockWidgetArea)
147 self.addDockWidget(QtCore.Qt.RightDockWidgetArea, self.property_dock_widget)
148 self.setTabPosition(QtCore.Qt.LeftDockWidgetArea | QtCore.Qt.RightDockWidgetArea, QtWidgets.QTabWidget.North)

Completed in 37 milliseconds