TimePanel.java 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394
  1. package holeg.ui.view.main;
  2. import java.awt.BorderLayout;
  3. import java.awt.Color;
  4. import java.awt.Dimension;
  5. import java.awt.FlowLayout;
  6. import java.awt.GridBagConstraints;
  7. import java.awt.GridBagLayout;
  8. import java.awt.Point;
  9. import java.awt.event.ActionEvent;
  10. import java.awt.event.ActionListener;
  11. import java.awt.event.KeyEvent;
  12. import java.awt.event.MouseAdapter;
  13. import java.awt.event.MouseEvent;
  14. import java.awt.event.MouseListener;
  15. import java.util.Hashtable;
  16. import java.util.concurrent.ScheduledFuture;
  17. import java.util.concurrent.ScheduledThreadPoolExecutor;
  18. import java.util.concurrent.TimeUnit;
  19. import javax.swing.AbstractAction;
  20. import javax.swing.Box;
  21. import javax.swing.ImageIcon;
  22. import javax.swing.JButton;
  23. import javax.swing.JLabel;
  24. import javax.swing.JPanel;
  25. import javax.swing.JSlider;
  26. import javax.swing.JTextField;
  27. import javax.swing.KeyStroke;
  28. import javax.swing.SwingConstants;
  29. import javax.swing.Timer;
  30. import javax.swing.event.ChangeEvent;
  31. import javax.swing.event.ChangeListener;
  32. import javax.swing.plaf.basic.BasicSliderUI;
  33. import holeg.preferences.ColorPreference;
  34. import holeg.preferences.ImagePreference;
  35. import holeg.ui.controller.Control;
  36. import holeg.ui.model.GuiSettings;
  37. import holeg.utility.image.Import;
  38. import holeg.utility.listener.LostFocusListener;
  39. /**
  40. * This Class represents a Panel where the User can start and stop the
  41. * Simulation. He Can also reset the Simulation and click through every
  42. * Iteration.
  43. *
  44. * @author Gruppe14
  45. */
  46. public class TimePanel extends JPanel implements ActionListener {
  47. private static final int MAX_ITERATIONS = 100000;
  48. /*
  49. * variable for calculating the performance
  50. */
  51. // private long performanceTime;
  52. final JButton playBtn = new JButton();
  53. final JButton timeResetBtn = new JButton();
  54. final JButton timeForwardBtn = new JButton();
  55. final JButton timeBackwardBtn = new JButton();
  56. JTextField iterationsField;
  57. final JLabel iterationsLabel = new JLabel("Iterations:", SwingConstants.CENTER);
  58. JLabel hint = new JLabel("Invalid", SwingConstants.RIGHT);
  59. private final JPanel btnAndSpeedPanel = new JPanel();
  60. private final JPanel speedPanel = new JPanel();
  61. private final JPanel timeBtnPanel = new JPanel();
  62. private final JPanel iterationsPanel = new JPanel();
  63. private final JPanel timePanel = new JPanel();
  64. private ScheduledFuture<?> futureTask;
  65. // private LabelHint iterationsLblHint;
  66. JSlider timeSlider = new JSlider() {
  67. /**
  68. *
  69. */
  70. private static final long serialVersionUID = 1L;
  71. {
  72. // Make the slider jump to mouse position on left click
  73. MouseListener[] listeners = getMouseListeners();
  74. for (MouseListener l : listeners)
  75. removeMouseListener(l); // remove UI-installed TrackListener
  76. final BasicSliderUI ui = (BasicSliderUI) getUI();
  77. BasicSliderUI.TrackListener tl = ui.new TrackListener() {
  78. // this is where we jump to absolute value of click
  79. @Override
  80. public void mouseClicked(MouseEvent e) {
  81. Point p = e.getPoint();
  82. int value = ui.valueForXPosition(p.x);
  83. setValue(value);
  84. }
  85. // disable check that will invoke scrollDueToClickInTrack
  86. @Override
  87. public boolean shouldScroll(int dir) {
  88. return false;
  89. }
  90. };
  91. addMouseListener(tl);
  92. }
  93. };
  94. // private Model model;
  95. private Control control;
  96. private int dragResetIteration = 0;
  97. private JLabel simSpeedLabel = new JLabel("Speed:");
  98. private JSlider speedSlider = new JSlider();
  99. private Timer timer;
  100. private boolean running = false;
  101. /**
  102. * Constructor.
  103. *
  104. * @param mod the Model
  105. * @param cont the Controller
  106. */
  107. public TimePanel(Control cont) {
  108. super();
  109. this.control = cont;
  110. // One Iteration
  111. timer = new Timer(0, clicked -> timerAction());
  112. // Time Slider. Panels and Buttons
  113. this.setLayout(new BorderLayout(0, 0));
  114. this.setBorder(null);
  115. // Slider
  116. timeSlider.setPaintTicks(true);
  117. timeSlider.setPaintLabels(true);
  118. timeSlider.setMajorTickSpacing((int) Math.ceil(((double) cont.getModel().getMaxIterations()) / 20));
  119. timeSlider.setMinorTickSpacing((int) Math.ceil(((double) cont.getModel().getMaxIterations()) / 100));
  120. timeSlider.setToolTipText("Time Slider");
  121. timeSlider.setMaximum(cont.getModel().getMaxIterations() - 1);
  122. timeSlider.setValue(0);
  123. timeSlider.addChangeListener(changeEvent -> control.getModel().setCurrentIteration(timeSlider.getValue()));
  124. timeSlider.addMouseListener(new MouseAdapter() {
  125. @Override
  126. public void mousePressed(MouseEvent e) {
  127. dragResetIteration = cont.getModel().getCurrentIteration();
  128. }
  129. });
  130. timeSlider.addMouseMotionListener(new MouseAdapter() {
  131. @Override
  132. public void mouseDragged(MouseEvent e) {
  133. if (dragResetIteration != cont.getModel().getCurrentIteration()) {
  134. if (running) {
  135. play();
  136. }
  137. }
  138. }
  139. });
  140. // Panel
  141. timeBtnPanel.setBorder(null);
  142. timeBtnPanel.setLayout(new FlowLayout(FlowLayout.CENTER));
  143. // Buttons
  144. playBtn.setToolTipText("Play");
  145. playBtn.setContentAreaFilled(false);
  146. playBtn.setBorderPainted(false);
  147. playBtn.setBorder(null);
  148. playBtn.setIcon(new ImageIcon(Import.loadImage(ImagePreference.Button.TimePanel.Play, 30, 30)));
  149. playBtn.addActionListener(clicked -> play());
  150. timeResetBtn.setToolTipText("Reset");
  151. timeResetBtn.setContentAreaFilled(false);
  152. timeResetBtn.setBorder(null);
  153. timeResetBtn.setIcon(new ImageIcon(Import.loadImage(ImagePreference.Button.TimePanel.Reset, 30, 30)));
  154. timeResetBtn.addActionListener(new ActionListener() {
  155. public void actionPerformed(ActionEvent ae) {
  156. timeSlider.setValue(timeSlider.getMinimum());
  157. control.getModel().setCurrentIteration(timeSlider.getValue());
  158. control.resetSimulation();
  159. control.calculateStateAndVisualForCurrentTimeStep();
  160. if (running) {
  161. play();
  162. }
  163. }
  164. });
  165. timeForwardBtn.setToolTipText("Forward");
  166. timeForwardBtn.setContentAreaFilled(false);
  167. timeForwardBtn.setBorder(null);
  168. timeForwardBtn.setIcon(new ImageIcon(Import.loadImage(ImagePreference.Button.TimePanel.Forward, 30, 30)));
  169. timeForwardBtn.addActionListener(new ActionListener() {
  170. public void actionPerformed(ActionEvent ae) {
  171. timeSlider.setValue(timeSlider.getValue() + 1);
  172. control.getModel().setCurrentIteration(timeSlider.getValue());
  173. }
  174. });
  175. timeBackwardBtn.setToolTipText("Backward");
  176. timeBackwardBtn.setBorder(null);
  177. timeBackwardBtn.setIcon(new ImageIcon(Import.loadImage(ImagePreference.Button.TimePanel.Backward, 30, 30)));
  178. timeBackwardBtn.addActionListener(new ActionListener() {
  179. public void actionPerformed(ActionEvent ae) {
  180. timeSlider.setValue(timeSlider.getValue() - 1);
  181. control.getModel().setCurrentIteration(timeSlider.getValue());
  182. }
  183. });
  184. timeBtnPanel.add(playBtn);
  185. timeBtnPanel.add(Box.createRigidArea(new Dimension(10, 0)));
  186. timeBtnPanel.add(timeResetBtn);
  187. timeBtnPanel.add(Box.createRigidArea(new Dimension(10, 0)));
  188. timeBtnPanel.add(timeForwardBtn);
  189. // Speed Panel
  190. speedPanel.add(simSpeedLabel);
  191. speedPanel.add(speedSlider);
  192. speedSlider.setPaintTicks(true);
  193. speedSlider.setPaintLabels(true);
  194. speedSlider.setMaximum(6);
  195. speedSlider.setMinimum(0);
  196. speedSlider.setValue(1);
  197. speedSlider.setPaintLabels(true);
  198. Hashtable<Integer, JLabel> table = new Hashtable<Integer, JLabel>();
  199. table.put(0, new JLabel("1x"));
  200. table.put(1, new JLabel("2x"));
  201. table.put(2, new JLabel("4x"));
  202. table.put(3, new JLabel("8x"));
  203. table.put(4, new JLabel("16x"));
  204. table.put(5, new JLabel("32x"));
  205. table.put(6, new JLabel("64x"));
  206. speedSlider.setLabelTable(table);
  207. speedSlider.addChangeListener(new ChangeListener() {
  208. @Override
  209. public void stateChanged(ChangeEvent e) {
  210. /**
  211. * Shifting Powers of two: e.g. 1<<0 -> 1 step per Second 1<<3 -> 8 steps per
  212. * Second and so on,
  213. */
  214. int calculationsPerSecond = 1 << speedSlider.getValue();
  215. GuiSettings.timerSpeed = (1024 >> speedSlider.getValue());
  216. speedSlider.setToolTipText("Speed: " + calculationsPerSecond + " Calculations per Second.");
  217. }
  218. });
  219. speedSlider.setToolTipText("Change the Number of Calculations per Secons");
  220. // Buttons and Speed Panel
  221. btnAndSpeedPanel.setLayout(new BorderLayout(0, 0));
  222. btnAndSpeedPanel.setBorder(null);
  223. btnAndSpeedPanel.add(timeBtnPanel, BorderLayout.NORTH);
  224. btnAndSpeedPanel.add(speedPanel, BorderLayout.CENTER);
  225. iterationsPanel.setLayout(new GridBagLayout());
  226. GridBagConstraints c = new GridBagConstraints();
  227. c.anchor = GridBagConstraints.CENTER;
  228. c.fill = GridBagConstraints.HORIZONTAL;
  229. c.gridx = 0;
  230. c.gridy = 0;
  231. iterationsPanel.add(iterationsLabel, c);
  232. // iterationsLblHint=new LabelHint(iterationsLabel);
  233. hint.setForeground(Color.red);
  234. hint.setText(" ");
  235. iterationsField = new JTextField(6);// Considering hundreds of thousands in an extreme case
  236. iterationsField.setText("" + cont.getModel().getMaxIterations());
  237. iterationsField.setToolTipText("0-" + MAX_ITERATIONS);
  238. iterationsField.addActionListener(this);
  239. ScheduledThreadPoolExecutor s = new ScheduledThreadPoolExecutor(1);
  240. iterationsField.addCaretListener((e) -> {
  241. try {
  242. iterationsField.setBackground(Color.WHITE);// red stings
  243. if (futureTask != null) {
  244. futureTask.cancel(true);
  245. }
  246. futureTask = s.schedule((Runnable) () -> updateIterationsInput(), 1, TimeUnit.SECONDS);
  247. hint.setText(" ");
  248. } catch (NumberFormatException n) {
  249. iterationsField.setBackground(ColorPreference.GUI.PALE_RED);// red stings
  250. hint.setText("Invalid");
  251. }
  252. });
  253. iterationsField.addFocusListener((LostFocusListener) (e) -> updateIterationsInput());
  254. c.gridy = 1;
  255. iterationsPanel.add(iterationsField, c);
  256. c.gridy = 2;
  257. iterationsPanel.add(hint, c);
  258. // iterationsPanel.add(new JLabel(), BorderLayout.SOUTH);
  259. timePanel.setLayout(new BorderLayout());
  260. ;
  261. timePanel.add(iterationsPanel, BorderLayout.WEST);
  262. timePanel.add(timeSlider, BorderLayout.CENTER);
  263. this.add(btnAndSpeedPanel, BorderLayout.WEST);
  264. add(timePanel);
  265. // Disable Keys
  266. timeSlider.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_UP, 0, false), "UP_ARROW");
  267. timeSlider.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_DOWN, 0, false), "DOWN_ARROW");
  268. timeSlider.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_DOWN, 0, false), "PAGE_DOWN");
  269. timeSlider.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_PAGE_UP, 0, false), "PAGE_UP");
  270. timeSlider.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_END, 0, false), "END");
  271. timeSlider.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_HOME, 0, false), "HOME");
  272. // Left arrow Key
  273. timeSlider.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_LEFT, 0, false), "LEFT_ARROW");
  274. timeSlider.getActionMap().put("LEFT_ARROW", new AbstractAction() {
  275. private static final long serialVersionUID = 1L;
  276. @Override
  277. public void actionPerformed(ActionEvent e) {
  278. timeSlider.setValue(timeSlider.getValue() - 1);
  279. control.resetSimulation();
  280. control.calculateStateAndVisualForCurrentTimeStep();
  281. }
  282. });
  283. // Right arrow Key
  284. timeSlider.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_RIGHT, 0, false), "Right_ARROW");
  285. timeSlider.getActionMap().put("Right_ARROW", new AbstractAction() {
  286. private static final long serialVersionUID = 1L;
  287. @Override
  288. public void actionPerformed(ActionEvent e) {
  289. timeSlider.setValue(timeSlider.getValue() + 1);
  290. }
  291. });
  292. }
  293. public void timerAction() {
  294. timeSlider.setValue(timeSlider.getValue() + 1);
  295. control.getModel().setCurrentIteration(timeSlider.getValue());
  296. timer.setDelay(GuiSettings.timerSpeed);
  297. if (timeSlider.getValue() >= control.getModel().getMaxIterations() - 1) {
  298. running = false;
  299. playBtn.setIcon(new ImageIcon(Import.loadImage(ImagePreference.Button.TimePanel.Play, 30, 30)));
  300. timer.stop();
  301. }
  302. }
  303. public void play() {
  304. if (control.getModel().getCurrentIteration() == control.getModel().getMaxIterations() - 1)
  305. timeSlider.setValue(timeSlider.getMinimum());
  306. running = !running;
  307. if (running) {
  308. timer.setDelay(GuiSettings.timerSpeed);
  309. timer.start();
  310. playBtn.setIcon(new ImageIcon(Import.loadImage(ImagePreference.Button.TimePanel.Pause, 30, 30)));
  311. } else {
  312. timer.stop();
  313. playBtn.setIcon(new ImageIcon(Import.loadImage(ImagePreference.Button.TimePanel.Play, 30, 30)));
  314. }
  315. }
  316. /**
  317. * Returns the TimeSlider.
  318. *
  319. * @return the TimeSlider
  320. */
  321. public JSlider getTimeSlider() {
  322. return timeSlider;
  323. }
  324. @Override
  325. public void actionPerformed(ActionEvent arg0) {
  326. updateIterationsInput();
  327. }
  328. /**
  329. * Update the Text field and apply valid changes to update Iterations from to
  330. * model.
  331. * <p>
  332. * Executed by user input.
  333. */
  334. private void updateIterationsInput() {
  335. try {
  336. int iterations = Integer.parseInt(iterationsField.getText());
  337. // iterationsLblHint.reset();
  338. boolean resetField = true;
  339. if (iterations < 1)
  340. iterations = 1;
  341. else if (iterations > MAX_ITERATIONS)
  342. iterations = MAX_ITERATIONS;
  343. else
  344. resetField = false;
  345. if (resetField)
  346. iterationsField.setText("" + iterations);
  347. control.getModel().setIterations(Integer.parseInt(iterationsField.getText()));
  348. timeSlider.setMaximum(control.getModel().getMaxIterations() - 1);
  349. timeSlider.setLabelTable(null);// Otherwise the ticks won't update
  350. timeSlider.setMajorTickSpacing((int) Math.ceil(((double) iterations) / 20));
  351. timeSlider.setMinorTickSpacing((int) Math.ceil(((double) iterations) / 100));// Even though the final mark
  352. // can't actually be
  353. // reached.
  354. } catch (NumberFormatException e) {
  355. }
  356. }
  357. }