TimePanel.java 14 KB

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