+ private void addSimulationControlWidgets(Composite parent)
+ {
+ Composite c = new Composite(parent, SWT.NONE);
+ c.setLayout(new GridLayout(5, false));
+ Button sbseButton = new Button(c, SWT.CHECK);
+ Button pauseButton = new Button(c, SWT.TOGGLE);
+
+ LogicObserver clockObserver = o ->
+ {
+ if (((CoreClock) o).isOn())
+ {
+ exec.pauseLiveExecution();
+ Display.getDefault().asyncExec(() ->
+ {
+ pauseButton.setSelection(false);
+ setPauseText(pauseButton, false);
+ });
+ }
+ };
+
+ sbseButton.addListener(SWT.Selection, e ->
+ {
+ String statusString = "disabled";
+ CoreClock cl = m.getClock();
+ if (sbseButton.getSelection())
+ {
+ cl.registerObserver(clockObserver);
+ statusString = "enabled";
+ } else
+ cl.deregisterObserver(clockObserver);
+ sbseButton.setToolTipText(String.format("Step by step execution: %s", statusString));
+ });
+ sbseButton.setSelection(false);
+
+ pauseButton.setSelection(true);
+ setPauseText(pauseButton, false);
+
+ pauseButton.addListener(SWT.Selection, e ->
+ {
+ if (pauseButton.getSelection())
+ {
+ exec.unpauseLiveExecution();
+ } else
+ {
+ exec.pauseLiveExecution();
+ }
+ });
+
+ pauseButton.addMouseTrackListener(new MouseTrackListener()
+ {
+ @Override
+ public void mouseHover(MouseEvent e)
+ {
+ // nothing
+ }
+
+ @Override
+ public void mouseExit(MouseEvent e)
+ {
+ setPauseText(pauseButton, false);
+ }
+
+ @Override
+ public void mouseEnter(MouseEvent e)
+ {
+ setPauseText(pauseButton, true);
+ }
+ });
+
+ Label speedLabel = new Label(c, SWT.NONE);
+ speedLabel.setText("Simulation Speed: ");
+
+ Slider slider = new Slider(c, SWT.NONE);
+ slider.setMinimum(1);
+ slider.setMaximum(100 + slider.getThumb());
+ slider.setIncrement(1);
+
+ Label speedPercentageLabel = new Label(c, SWT.NONE);
+ speedPercentageLabel.setText("100%");
+
+ slider.addListener(SWT.Selection, e ->
+ {
+ int selection = slider.getSelection();
+ speedPercentageLabel.setText(selection + "%");
+
+ exec.setSpeedPercentage(slider.getSelection());
+ });
+ slider.setSelection(100);
+
+ c.setLayoutData(new GridData(GridData.GRAB_HORIZONTAL | GridData.FILL_HORIZONTAL));
+ c.pack();
+ c.setVisible(true);
+ }
+
+ private static void setPauseText(Button pauseButton, boolean hovered)
+ {
+ if (hovered)
+ {
+ if (pauseButton.getSelection())
+ {
+ pauseButton.setText("Pause?");
+ } else
+ {
+ pauseButton.setText("Resume?");
+ }
+ } else
+ {
+ if (pauseButton.getSelection())
+ {
+ pauseButton.setText("Running");
+ } else
+ {
+ pauseButton.setText("Paused");
+ }
+ }
+ }
+