MainView.java 28 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666
  1. package view;
  2. import java.awt.BorderLayout;
  3. import java.awt.Color;
  4. import java.awt.Dimension;
  5. import java.awt.Font;
  6. import java.awt.GridLayout;
  7. import java.awt.event.ActionEvent;
  8. import java.awt.event.ActionListener;
  9. import java.awt.event.ComponentAdapter;
  10. import java.awt.event.ComponentEvent;
  11. import java.awt.event.KeyEvent;
  12. import java.awt.event.MouseAdapter;
  13. import java.awt.event.MouseEvent;
  14. import java.beans.PropertyChangeEvent;
  15. import java.beans.PropertyChangeListener;
  16. import javax.swing.JButton;
  17. import javax.swing.JFileChooser;
  18. import javax.swing.JFrame;
  19. import javax.swing.JLabel;
  20. import javax.swing.JLayeredPane;
  21. import javax.swing.JPanel;
  22. import javax.swing.JScrollPane;
  23. import javax.swing.JSplitPane;
  24. import javax.swing.JTextArea;
  25. import javax.swing.JTextField;
  26. import javax.swing.JTree;
  27. import javax.swing.event.DocumentEvent;
  28. import javax.swing.event.DocumentListener;
  29. import javax.swing.filechooser.FileNameExtensionFilter;
  30. import javax.swing.tree.DefaultTreeModel;
  31. import javax.swing.tree.TreePath;
  32. import org.eclipse.elk.graph.ElkNode;
  33. import animation.Action;
  34. import animation.AnimationController;
  35. import animation.PseudoCodeNode;
  36. import bk.BKNodePlacement;
  37. import bk.ExtremalLayoutCalc.LayoutType;
  38. import graph.InitializeNodePositions;
  39. import graph.LayeredGraphEdge;
  40. import graph.LayeredGraphNode;
  41. import graph.LayeredNode;
  42. import graph.io.Reader;
  43. import graph.io.Writer;
  44. import lib.TextLayoutHelper;
  45. /**
  46. * The main window of the application.
  47. * There should only be one instance of this class at the same time.
  48. * The JFrame of that single instance can be accessed by the static field {code MainView.frame}.
  49. * @author kolja
  50. *
  51. */
  52. public class MainView {
  53. /**
  54. * The 'frame' of the main window.
  55. * The reason why there can only be one instance of this class.
  56. */
  57. private static int frameCounter = 0;
  58. /**
  59. * Random Graph Generator should olny exist once for all windows (so the values will be stored)
  60. */
  61. private static final RandomGraphDialog randomDialog = new RandomGraphDialog();
  62. private JFrame frame;
  63. private AnimationController controller;
  64. private JButton stepForward;
  65. private JButton stepForwardInto;
  66. private JButton stepForwardOut;
  67. private JButton stepBackward;
  68. private JButton stepBackwardInto;
  69. private JButton stepBackwardOut;
  70. private JButton runForward;
  71. private JButton runBackward;
  72. private JButton pause;
  73. private JButton load;
  74. private JButton save;
  75. private JButton debug;
  76. private JButton options;
  77. private JButton randomGraph;
  78. private JLabel delayText;
  79. private JTextField delay;
  80. private JTree pseudoTree;
  81. private LayeredGraphNode graph;
  82. private OptionsDialog optionsDialog;
  83. private String debugInfo()
  84. {
  85. String info = "Debug Information Table: \n";
  86. info += "_______________________________________________________________________________________________________________________________________________________________________________________________________________________\n";
  87. info += "|" + TextLayoutHelper.strToLen( "Top -> Bottom :> Left", 51 ) + "| |" + TextLayoutHelper.strToLen( "Top -> Bottom :> Right", 51 ) + "| |" + TextLayoutHelper.strToLen( "Bottom -> Top :> Left", 51 ) + "| |" + TextLayoutHelper.strToLen( "Bottom -> Top :> Right", 51 ) + "|\n";
  88. info += "|___________________________________________________| |___________________________________________________| |___________________________________________________| |___________________________________________________|\n";
  89. info += "| Node | Shift | Sink | Root | Align | x | xDef | | Node | Shift | Sink | Root | Align | x | xDef | | Node | Shift | Sink | Root | Align | x | xDef | | Node | Shift | Sink | Root | Align | x | xDef |\n";
  90. for( LayeredGraphNode n : graph.getContainedNodes() )
  91. {
  92. info += "|" + TextLayoutHelper.strToLen( n.getName(), 6 ) +
  93. "|" + TextLayoutHelper.strToLen( n.getShift( LayoutType.TOP_BOTTOM_LEFT ) + "", 7 ) +
  94. "|" + TextLayoutHelper.strToLen( n.getSink( LayoutType.TOP_BOTTOM_LEFT ).getName(), 6 ) +
  95. "|" + TextLayoutHelper.strToLen( n.getRoot( LayoutType.TOP_BOTTOM_LEFT ).getName(), 6 ) +
  96. "|" + TextLayoutHelper.strToLen( n.getAlign( LayoutType.TOP_BOTTOM_LEFT ).getName(), 7 ) +
  97. "|" + TextLayoutHelper.strToLen( n.getX( LayoutType.TOP_BOTTOM_LEFT ) + "", 5 ) +
  98. "|" + TextLayoutHelper.strToLen( !n.isXUndefined( LayoutType.TOP_BOTTOM_LEFT ) + "", 8 ) + "| " +
  99. "|" + TextLayoutHelper.strToLen( n.getName(), 6 ) +
  100. "|" + TextLayoutHelper.strToLen( n.getShift( LayoutType.TOP_BOTTOM_RIGHT ) + "", 7 ) +
  101. "|" + TextLayoutHelper.strToLen( n.getSink( LayoutType.TOP_BOTTOM_RIGHT ).getName(), 6 ) +
  102. "|" + TextLayoutHelper.strToLen( n.getRoot( LayoutType.TOP_BOTTOM_RIGHT ).getName(), 6 ) +
  103. "|" + TextLayoutHelper.strToLen( n.getAlign( LayoutType.TOP_BOTTOM_RIGHT ).getName(), 7 ) +
  104. "|" + TextLayoutHelper.strToLen( n.getX( LayoutType.TOP_BOTTOM_RIGHT ) + "", 5 ) +
  105. "|" + TextLayoutHelper.strToLen( !n.isXUndefined( LayoutType.TOP_BOTTOM_RIGHT ) + "", 8 ) + "| " +
  106. "|" + TextLayoutHelper.strToLen( n.getName(), 6 ) +
  107. "|" + TextLayoutHelper.strToLen( n.getShift( LayoutType.BOTTOM_TOP_LEFT ) + "", 7 ) +
  108. "|" + TextLayoutHelper.strToLen( n.getSink( LayoutType.BOTTOM_TOP_LEFT ).getName(), 6 ) +
  109. "|" + TextLayoutHelper.strToLen( n.getRoot( LayoutType.BOTTOM_TOP_LEFT ).getName(), 6 ) +
  110. "|" + TextLayoutHelper.strToLen( n.getAlign( LayoutType.BOTTOM_TOP_LEFT ).getName(), 7 ) +
  111. "|" + TextLayoutHelper.strToLen( n.getX( LayoutType.BOTTOM_TOP_LEFT ) + "", 5 ) +
  112. "|" + TextLayoutHelper.strToLen( !n.isXUndefined( LayoutType.BOTTOM_TOP_LEFT ) + "", 8 ) + "| " +
  113. "|" + TextLayoutHelper.strToLen( n.getName(), 6 ) +
  114. "|" + TextLayoutHelper.strToLen( n.getShift( LayoutType.BOTTOM_TOP_RIGHT ) + "", 7 ) +
  115. "|" + TextLayoutHelper.strToLen( n.getSink( LayoutType.BOTTOM_TOP_RIGHT ).getName(), 6 ) +
  116. "|" + TextLayoutHelper.strToLen( n.getRoot( LayoutType.BOTTOM_TOP_RIGHT ).getName(), 6 ) +
  117. "|" + TextLayoutHelper.strToLen( n.getAlign( LayoutType.BOTTOM_TOP_RIGHT ).getName(), 7 ) +
  118. "|" + TextLayoutHelper.strToLen( n.getX( LayoutType.BOTTOM_TOP_RIGHT ) + "", 5 ) +
  119. "|" + TextLayoutHelper.strToLen( !n.isXUndefined( LayoutType.BOTTOM_TOP_RIGHT ) + "", 8 ) + "|\n";
  120. }
  121. info += "-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------";
  122. return info;
  123. }
  124. private void showDebugInfo()
  125. {
  126. JFrame debugFrame = new JFrame();
  127. JTextArea info = new JTextArea();
  128. info.setEditable( false );
  129. info.setFont( new Font( Font.MONOSPACED, Font.PLAIN, 11 ) );
  130. String infoS = debugInfo();
  131. info.setText( infoS );
  132. JScrollPane view = new JScrollPane( info );
  133. debugFrame.add( view );
  134. debugFrame.setSize( frame.getWidth(), frame.getHeight() );
  135. debugFrame.setVisible( true );
  136. if (infoS.trim() != "") {
  137. System.out.println( "" );
  138. System.out.println( "Debug info:" );
  139. System.out.println( infoS );
  140. System.out.println( "" );
  141. }
  142. }
  143. public MainView( ElkNode graph )
  144. {
  145. this( LayeredNode.convertToLayeredGraph( graph ) );
  146. }
  147. /**
  148. * Initialize the window and its contents.
  149. * There is good reason not to split up this method to smaller methods:
  150. * Imagine a tree with a fixed number of nodes, but limited degree of branching.
  151. * The the height of the tree is at least inversely proportional to the degree of branching.
  152. * This means halving the maximum method size by splitting methods would make the call stack twice as high
  153. * and this way debugging twice as time-consuming.
  154. * @param graph the graph that is displayed in this window.
  155. */
  156. public MainView( LayeredGraphNode graph )
  157. {
  158. frameCounter++;
  159. this.graph = graph;
  160. controller = new AnimationController();
  161. frame = new JFrame( "NodeShuffler" );
  162. frame.addWindowListener(new java.awt.event.WindowAdapter() {
  163. @Override
  164. public void windowClosing(java.awt.event.WindowEvent windowEvent) {
  165. frameCounter--;
  166. if( frameCounter == 0 )
  167. System.exit( 0 );
  168. }
  169. });
  170. BKNodePlacement algorithm = new BKNodePlacement( controller, graph, frame );
  171. // Create Menu GUI
  172. stepForward = new NiceButton( "stepForward" );
  173. stepForward.setLocation( 10, 10 );
  174. stepForward.setMnemonic( KeyEvent.VK_DOWN );
  175. stepForward.setToolTipText( "Forward step over (alt + down arrow key)" );
  176. stepForward.addActionListener( new ActionListener() {
  177. @Override
  178. public void actionPerformed(ActionEvent e) {
  179. controller.setContinuous( false );
  180. controller.setNextAction( Action.FORWARD_OVER );
  181. }
  182. });
  183. stepForwardInto = new NiceButton( "stepForwardInto" );
  184. stepForwardInto.setLocation( 60, 10 );
  185. stepForwardInto.setMnemonic( KeyEvent.VK_RIGHT );
  186. stepForwardInto.setToolTipText( "Forward step into (alt + right arrow key)" );
  187. stepForwardInto.addActionListener( new ActionListener() {
  188. @Override
  189. public void actionPerformed(ActionEvent e) {
  190. controller.setContinuous( false );
  191. controller.setNextAction( Action.FORWARD );
  192. }
  193. });
  194. stepForwardOut = new NiceButton( "stepForwardOut" );
  195. stepForwardOut.setLocation( 110, 10 );
  196. stepForwardOut.setMnemonic( KeyEvent.VK_PAGE_DOWN );
  197. stepForwardOut.setToolTipText( "Forward step out (alt + page down key)" );
  198. stepForwardOut.addActionListener( new ActionListener() {
  199. @Override
  200. public void actionPerformed(ActionEvent e) {
  201. controller.setContinuous( false );
  202. controller.setNextAction( Action.FORWARD_OUT );
  203. }
  204. });
  205. runForward = new NiceButton( "runForward" );
  206. runForward.setLocation( 160, 10 );
  207. runForward.setMnemonic( KeyEvent.VK_P );
  208. runForward.setToolTipText( "Run forwards (alt + p)" );
  209. runForward.addActionListener( new ActionListener() {
  210. @Override
  211. public void actionPerformed(ActionEvent e) {
  212. controller.setContinuous( true );
  213. controller.setNextAction( Action.FORWARD );
  214. }
  215. });
  216. runBackward = new NiceButton( "runBackward" );
  217. runBackward.setLocation( 160, 60 );
  218. runBackward.setMnemonic( KeyEvent.VK_R );
  219. runBackward.setToolTipText( "Run backwards (alt + r)" );
  220. runBackward.addActionListener( new ActionListener() {
  221. @Override
  222. public void actionPerformed(ActionEvent e) {
  223. controller.setContinuous( true );
  224. controller.setNextAction( Action.BACKWARD );
  225. }
  226. });
  227. options = new NiceButton( "settings" );
  228. options.setLocation( 210, 60 );
  229. options.setMnemonic( KeyEvent.VK_O );
  230. options.setToolTipText( "Preferences (alt + o)" );
  231. options.addActionListener( new ActionListener() {
  232. @Override
  233. public void actionPerformed(ActionEvent e) {
  234. optionsDialog.setVisible( true );
  235. }
  236. });
  237. stepBackward = new NiceButton( "stepBackward" );
  238. stepBackward.setLocation( 10, 60 );
  239. stepBackward.setMnemonic( KeyEvent.VK_UP );
  240. stepBackward.setToolTipText( "Backward step over (alt + up arrow key)" );
  241. stepBackward.addActionListener( new ActionListener() {
  242. @Override
  243. public void actionPerformed(ActionEvent e) {
  244. controller.setContinuous( false );
  245. controller.setNextAction( Action.BACKWARD_OVER );
  246. }
  247. });
  248. stepBackwardInto = new NiceButton( "stepBackwardInto" );
  249. stepBackwardInto.setLocation( 60, 60 );
  250. stepBackwardInto.setMnemonic( KeyEvent.VK_LEFT );
  251. stepBackwardInto.setToolTipText( "Backward step into (alt + left arrow key)" );
  252. stepBackwardInto.addActionListener( new ActionListener() {
  253. @Override
  254. public void actionPerformed(ActionEvent e) {
  255. controller.setContinuous( false );
  256. controller.setNextAction( Action.BACKWARD );
  257. }
  258. });
  259. stepBackwardOut = new NiceButton( "stepBackwardOut" );
  260. stepBackwardOut.setLocation( 110, 60 );
  261. stepBackwardOut.setMnemonic( KeyEvent.VK_PAGE_UP );
  262. stepBackwardOut.setToolTipText( "Backward step out (alt + page up)" );
  263. stepBackwardOut.addActionListener( new ActionListener() {
  264. @Override
  265. public void actionPerformed(ActionEvent e) {
  266. controller.setContinuous( false );
  267. controller.setNextAction( Action.BACKWARD_OUT );
  268. }
  269. });
  270. pause = new NiceButton( "pause" );
  271. pause.setLocation( 210, 10 );
  272. pause.setMnemonic( KeyEvent.VK_PAUSE );
  273. pause.setToolTipText( "Pause (alt + pause)" );
  274. pause.addActionListener( new ActionListener() {
  275. @Override
  276. public void actionPerformed(ActionEvent e) {
  277. controller.setContinuous( false );
  278. }
  279. });
  280. debug = new NiceButton( "debug" );
  281. debug.setLocation( 360, 10 );
  282. debug.setMnemonic( KeyEvent.VK_D );
  283. debug.setToolTipText( "Show debug info (alt + d)" );
  284. debug.addActionListener( new ActionListener() {
  285. @Override
  286. public void actionPerformed(ActionEvent e) {
  287. showDebugInfo();
  288. }
  289. });
  290. randomGraph = new NiceButton( "random" );
  291. randomGraph.setLocation( 360, 60 );
  292. randomGraph.setMnemonic( KeyEvent.VK_G );
  293. randomGraph.setToolTipText( "Generate random graph (alt + g)" );
  294. randomGraph.addActionListener( new ActionListener() {
  295. @Override
  296. public void actionPerformed(ActionEvent e) {
  297. randomDialog.setVisible( true );
  298. }
  299. });
  300. delayText = new JLabel( "Delay (ms)" );
  301. delayText.setBounds( 260, 10, 80, 20 );
  302. delay = new JTextField( String.valueOf(AnimationController.DEFAULT_DELAY) );
  303. delay.setBounds( 260, 30, 90, 20 );
  304. delay.getDocument().addDocumentListener( new DocumentListener() {
  305. @Override
  306. public void insertUpdate(DocumentEvent e) {
  307. try
  308. {
  309. controller.setDelay( Integer.parseInt( delay.getText() ) );
  310. delay.setBackground( Color.WHITE );
  311. } catch( Exception e1 )
  312. {
  313. delay.setBackground( Color.RED );
  314. }
  315. }
  316. @Override
  317. public void removeUpdate(DocumentEvent e) {
  318. try
  319. {
  320. controller.setDelay( Integer.parseInt( delay.getText() ) );
  321. delay.setBackground( Color.WHITE );
  322. } catch( Exception e1 )
  323. {
  324. delay.setBackground( Color.RED );
  325. }
  326. }
  327. @Override
  328. public void changedUpdate(DocumentEvent e) {
  329. try
  330. {
  331. controller.setDelay( Integer.parseInt( delay.getText() ) );
  332. delay.setBackground( Color.WHITE );
  333. } catch( Exception e1 )
  334. {
  335. delay.setBackground( Color.RED );
  336. }
  337. }
  338. });
  339. load = new NiceButton( "load" );
  340. load.setLocation( 260, 60 );
  341. load.setMnemonic( KeyEvent.VK_L );
  342. load.setToolTipText( "Load a graph (alt + l)" );
  343. load.addActionListener( new ActionListener() {
  344. @Override
  345. public void actionPerformed(ActionEvent e) {
  346. JFileChooser chooser = new JFileChooser();
  347. chooser.setFileFilter( new FileNameExtensionFilter("Json Graph", "json") );
  348. chooser.showOpenDialog( frame );
  349. if( chooser.getSelectedFile() != null )
  350. {
  351. Reader r = new Reader( chooser.getSelectedFile().getAbsolutePath() );
  352. LayeredGraphNode graph = r.readInputGraph();
  353. InitializeNodePositions.placeNodes( graph );
  354. new MainView( graph );
  355. }
  356. }
  357. });
  358. save = new NiceButton( "save" );
  359. save.setLocation( 310, 60 );
  360. save.setMnemonic( KeyEvent.VK_S );
  361. save.setToolTipText( "Save graph (alt + s)" );
  362. save.addActionListener( new ActionListener() {
  363. @Override
  364. public void actionPerformed(ActionEvent e) {
  365. JFileChooser chooser = new JFileChooser();
  366. chooser.setFileFilter( new FileNameExtensionFilter("Json Graph", "json") );
  367. chooser.showSaveDialog( frame );
  368. if( chooser.getSelectedFile() != null )
  369. {
  370. Writer w = new Writer( chooser.getSelectedFile().getAbsolutePath() );
  371. w.writeOutputGraph( graph );
  372. }
  373. }
  374. });
  375. pseudoTree = new JTree();
  376. pseudoTree.setBackground(RenderHelper.BACKGROUND_COLOR);
  377. PseudoCodeNode tree = algorithm.createPseudocodeTree( pseudoTree );
  378. tree.setController( controller );
  379. pseudoTree.setModel( new DefaultTreeModel( tree ) );
  380. pseudoTree.setCellRenderer( new PseudoCodeRenderer() );
  381. pseudoTree.setSelectionModel( null );
  382. pseudoTree.addMouseListener( new MouseAdapter() {
  383. public void mousePressed(MouseEvent e) {
  384. TreePath selPath = pseudoTree.getPathForLocation(e.getX(), e.getY());
  385. if( selPath != null && e.getClickCount() == 3 ) {
  386. ((PseudoCodeNode)selPath.getLastPathComponent()).setBreakPoint( !((PseudoCodeNode)selPath.getLastPathComponent()).hasBreakPoint() );
  387. if( !pseudoTree.isExpanded( selPath ) )
  388. {
  389. pseudoTree.collapsePath( selPath );
  390. pseudoTree.expandPath( selPath );
  391. }
  392. else
  393. {
  394. pseudoTree.expandPath( selPath );
  395. pseudoTree.collapsePath( selPath );
  396. }
  397. pseudoTree.repaint();
  398. frame.repaint();
  399. }
  400. }
  401. } );
  402. pseudoTree.setRowHeight(15);
  403. JScrollPane treeView = new JScrollPane( pseudoTree );
  404. treeView.setBounds( 10, 110, 390, 380 );
  405. JTextArea debugText = new JTextArea();
  406. debugText.setFont( new Font( "Monospaced", Font.PLAIN, 12 ) );
  407. debugText.setEditable( false );
  408. debugText.setBackground( RenderHelper.BACKGROUND_COLOR );
  409. debugText.setForeground( RenderHelper.FOREGROUND_COLOR );
  410. JScrollPane debugView = new JScrollPane( debugText );
  411. debugView.setBounds( treeView.getX(), treeView.getY() + 500, treeView.getWidth(), 250 );
  412. frame.setSize( (int)graph.getWidth( LayoutType.TOP_BOTTOM_LEFT ) * 2 + 575, (int)graph.getHeight( LayoutType.TOP_BOTTOM_LEFT ) * 2 + 200 );
  413. frame.setLocation( 100, 100 );
  414. frame.setDefaultCloseOperation( JFrame.DISPOSE_ON_CLOSE );
  415. frame.setVisible( true );
  416. JLayeredPane layne = new JLayeredPane();
  417. layne.setLayout( new BorderLayout() );
  418. JPanel pl = new JPanel();
  419. GridLayout grout = new GridLayout( 2, 2, 10, 10 );
  420. pl.setLayout( grout );
  421. pl.setLocation( 0, 0 );
  422. pl.setSize( frame.getSize() );
  423. NodeView topLeft = createNodeView( graph, LayoutType.TOP_BOTTOM_LEFT );
  424. NodeView topRight = createNodeView( graph, LayoutType.TOP_BOTTOM_RIGHT );
  425. NodeView bottomLeft = createNodeView( graph, LayoutType.BOTTOM_TOP_LEFT );
  426. NodeView bottomRight = createNodeView( graph, LayoutType.BOTTOM_TOP_RIGHT );
  427. pl.add( topLeft );
  428. pl.add( topRight );
  429. pl.add( bottomLeft );
  430. pl.add( bottomRight );
  431. layne.add( pl, 1 );
  432. NodeView combined = createNodeView( graph, LayoutType.COMBINED );
  433. combined.setSize( 500, 500 );
  434. layne.add( combined, 0 );
  435. JSplitPane spane = new JSplitPane( JSplitPane.HORIZONTAL_SPLIT );
  436. spane.setLeftComponent( layne );
  437. spane.setResizeWeight(0.5);
  438. //JPanel onlyCurrentLayout = new JPanel();
  439. //onlyCurrentLayout.setLayout( new BorderLayout() );
  440. JPanel menue = new JPanel();
  441. menue.setLayout( null );
  442. menue.setPreferredSize( new Dimension( 410, 500 ) );
  443. menue.add( stepForward );
  444. menue.add( stepForwardInto );
  445. menue.add( stepForwardOut );
  446. menue.add( runForward );
  447. menue.add( pause );
  448. menue.add( debug );
  449. menue.add( stepBackward );
  450. menue.add( delayText );
  451. menue.add( delay );
  452. menue.add( stepBackwardInto );
  453. menue.add( stepBackwardOut );
  454. menue.add( runBackward );
  455. menue.add( randomGraph );
  456. menue.add( save );
  457. menue.add( load );
  458. menue.add( options );
  459. JSplitPane spane2 = new JSplitPane( JSplitPane.VERTICAL_SPLIT );
  460. spane2.setBounds( 10, 110, 390, 650 );
  461. spane2.setTopComponent( treeView );
  462. spane2.setBottomComponent( debugView );
  463. spane2.setDividerLocation( 390 );
  464. spane2.setResizeWeight(0.5);
  465. menue.add( spane2 );
  466. spane.setRightComponent( menue);
  467. spane.setContinuousLayout(true);
  468. spane.setDividerLocation( frame.getWidth() - 430 );
  469. spane.addPropertyChangeListener(JSplitPane.DIVIDER_LOCATION_PROPERTY, new PropertyChangeListener() {
  470. @Override
  471. public void propertyChange(PropertyChangeEvent evt) {
  472. frame.getComponentListeners()[ 0 ].componentResized( null );
  473. }
  474. });
  475. frame.add( spane );
  476. frame.setSize( frame.getWidth() + 1, frame.getHeight() );
  477. frame.setSize( frame.getWidth() - 1, frame.getHeight() );
  478. frame.validate();
  479. frame.repaint();
  480. frame.addComponentListener(new ComponentAdapter()
  481. {
  482. public void componentResized(ComponentEvent evt) {
  483. menue.setSize( menue.getWidth(), layne.getHeight() );
  484. spane2.setSize( menue.getWidth() - 20, menue.getHeight() - 120 );
  485. if( graph.getColor( LayoutType.COMBINED ) == null )
  486. {
  487. grout.setHgap( 10 );
  488. grout.setVgap( 10 );
  489. }
  490. else
  491. {
  492. grout.setHgap( layne.getWidth() / 3 );
  493. grout.setVgap( layne.getHeight() / 3 );
  494. }
  495. combined.setSize( layne.getWidth() / 3, layne.getHeight() / 3 );
  496. combined.setLocation( layne.getWidth() / 3, layne.getHeight() / 3 );
  497. debugText.setText( algorithm.getDebugString().trim() );
  498. layne.remove( pl );
  499. layne.add( pl, 1 );
  500. if( optionsDialog != null && optionsDialog.getLayerDisplayOption() == 1 )
  501. {
  502. pl.remove( topLeft );
  503. pl.remove( topRight );
  504. pl.remove( bottomLeft );
  505. pl.remove( bottomRight );
  506. pl.remove( combined );
  507. switch( algorithm.getAlgorithmState() )
  508. {
  509. case CONFLICTS:
  510. pl.add( topLeft );
  511. break;
  512. case LAYOUT1:
  513. pl.add( topLeft );
  514. break;
  515. case LAYOUT2:
  516. pl.add( topRight );
  517. break;
  518. case LAYOUT3:
  519. pl.add( bottomLeft );
  520. break;
  521. case LAYOUT4:
  522. pl.add( bottomRight );
  523. break;
  524. case COMBINE:
  525. pl.add( combined );
  526. break;
  527. }
  528. pl.revalidate();
  529. }
  530. treeView.revalidate();
  531. frame.repaint();
  532. }
  533. });
  534. optionsDialog = new OptionsDialog();
  535. optionsDialog.addActionListener( new ActionListener() {
  536. @Override
  537. public void actionPerformed(ActionEvent e) {
  538. pl.remove( topLeft );
  539. pl.remove( topRight );
  540. pl.remove( bottomLeft );
  541. pl.remove( bottomRight );
  542. pl.remove( combined );
  543. layne.remove( combined );
  544. controller.setStepOption( optionsDialog.getRunStepsOption() );
  545. if( optionsDialog.getLayerDisplayOption() == 0 )
  546. {
  547. pl.setLayout( grout );
  548. pl.add( topLeft );
  549. pl.add( topRight );
  550. pl.add( bottomLeft );
  551. pl.add( bottomRight );
  552. layne.add( combined, 0 );
  553. pl.revalidate();
  554. }
  555. else
  556. {
  557. pl.setLayout( new BorderLayout() );
  558. switch( algorithm.getAlgorithmState() )
  559. {
  560. case CONFLICTS:
  561. pl.add( topLeft );
  562. break;
  563. case LAYOUT1:
  564. pl.add( topLeft );
  565. break;
  566. case LAYOUT2:
  567. pl.add( topRight );
  568. break;
  569. case LAYOUT3:
  570. pl.add( bottomLeft );
  571. break;
  572. case LAYOUT4:
  573. pl.add( bottomRight );
  574. break;
  575. case COMBINE:
  576. pl.add( combined );
  577. break;
  578. }
  579. pl.revalidate();
  580. }
  581. frame.repaint();
  582. }
  583. });
  584. algorithm.start();
  585. }
  586. private NodeView createNodeView( LayeredGraphNode gNode, LayoutType lt )
  587. {
  588. NodeView graphView = new NodeView( gNode, lt );
  589. ((LayeredNode)gNode).setView( graphView, lt );
  590. graphView.setLayout( null );
  591. graphView.setOpaque( true );
  592. for( LayeredGraphNode n : gNode.getContainedNodes() )
  593. {
  594. NodeView nv = createNodeView( n, lt );
  595. nv.setBounds( nv.getX(), nv.getY(), nv.getWidth(), nv.getHeight() );
  596. graphView.add( nv );
  597. }
  598. for( LayeredGraphEdge e : gNode.getContainedEdges() )
  599. {
  600. EdgeView ev = new EdgeView( e, lt );
  601. ev.setOpaque( true );
  602. graphView.add( ev );
  603. }
  604. return graphView;
  605. }
  606. }