Add checker panel to configure simulation

asn1_value_editor.qrc

@@ -3,6 +3,7 @@
      <file>logging.ui</file>
      <file>plotDialog.ui</file>
      <file>simulation.ui</file>
+     <file>checker.ui</file>
      <file>internalState.ui</file>
      <file>singleEditor.ui</file>
      <file>tasteLogo_white.png</file>

asn1_value_editor/sdlHandler.py

@@ -218,7 +218,7 @@ class sdlHandler(QObject):
         self.dock_state = None
         self.asn1_editor = None
         self.tree_items = {}
-        self.dock_simu = self.start_simu()
+        self.dock_simu, self.dock_checker = self.start_simu()
         self.current_sdl_state = ''
         # Handle the state of all timers ({'timerName': 'set'/'unset'})
         self.timers = {}
@@ -551,7 +551,7 @@ class sdlHandler(QObject):
 
     def start_simu(self):
         '''
-           Set up the simulation bay, from simulation.ui file
+           Set up the simulation and checker bays, from UI files
            This panel handles parameterless signals and
            the simulation console
         '''
@@ -560,13 +560,22 @@ class sdlHandler(QObject):
         widgets = loader.load(ui, parent=self.parent)
         dock = QDockWidget('Simulation bay', self.parent)
         dock.setFloating(False)
-        #dock.resize(400, 400)
         dock.setObjectName('Simulation')
         self.parent.addDockWidget(Qt.RightDockWidgetArea, dock)
-        #dock.setAllowedAreas(Qt.NoDockWidgetArea)
         dock.setWidget(widgets)
         dock.show()
-        return dock
+
+        loader = QUiLoader()
+        checker_widgets = loader.load(QFile(':/checker.ui'),
+                                      parent=self.parent)
+        checker_dock = QDockWidget('Checker bay', self.parent)
+        checker_dock.setFloating(False)
+        checker_dock.setObjectName('Checker')
+        self.parent.addDockWidget(Qt.RightDockWidgetArea, checker_dock)
+        checker_dock.setWidget(checker_widgets)
+        checker_dock.show()
+
+        return dock, checker_dock
 
     @Slot()
     def add_to_msc(self, direction, msg):

checker.ui

+<?xml version="1.0" encoding="UTF-8"?>
+<ui version="4.0">
+ <class>MainEditor</class>
+ <widget class="QDialog" name="MainEditor">
+  <property name="geometry">
+   <rect>
+    <x>0</x>
+    <y>0</y>
+    <width>471</width>
+    <height>425</height>
+   </rect>
+  </property>
+  <property name="windowTitle">
+   <string>Edit ASN.1 value</string>
+  </property>
+  <layout class="QGridLayout" name="gridLayout_3">
+   <item row="2" column="0">
+    <layout class="QVBoxLayout" name="verticalLayout">
+     <item>
+      <layout class="QHBoxLayout" name="horizontalLayout">
+       <item>
+        <widget class="QToolButton" name="resetButton">
+         <property name="text">
+          <string>Random</string>
+         </property>
+        </widget>
+       </item>
+       <item>
+        <widget class="QToolButton" name="undoButton">
+         <property name="text">
+          <string>Exhaustive</string>
+         </property>
+        </widget>
+       </item>
+       <item>
+        <widget class="QToolButton" name="redoButton">
+         <property name="text">
+          <string>Stop</string>
+         </property>
+        </widget>
+       </item>
+      </layout>
+     </item>
+    </layout>
+   </item>
+   <item row="0" column="0">
+    <widget class="QLabel" name="label">
+     <property name="text">
+      <string>Automatic simulation and model checking</string>
+     </property>
+    </widget>
+   </item>
+   <item row="1" column="0">
+    <layout class="QGridLayout" name="tc_grid">
+     <item row="0" column="0">
+      <widget class="QTableWidget" name="tableWidget">
+       <column>
+        <property name="text">
+         <string>Input</string>
+        </property>
+       </column>
+       <column>
+        <property name="text">
+         <string>Condition</string>
+        </property>
+       </column>
+       <column>
+        <property name="text">
+         <string>Feed</string>
+        </property>
+       </column>
+      </widget>
+     </item>
+    </layout>
+   </item>
+  </layout>
+ </widget>
+ <resources/>
+ <connections/>
+</ui>