← Back to branch summary

~tapaal-contributor/tapaal/verifytapn-not-offered-1896454

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/EngineDialogPanel.java

  • Committer: srba.jiri at gmail
  • Date: 2020-08-13 11:54:07 UTC
  • mfrom: (1080.1.6 add-java-info-1890600)
  • Revision ID: srba.jiri@gmail.com-20200813115407-gpuqjvyhjs0ayvo7
merged in lp:~tapaal-contributor/tapaal/add-java-info-1890600 adding java info to engine selection

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/EngineDialogPanel.java
21
21
import net.tapaal.swinghelpers.RequestFocusListener;
22
22
import pipe.gui.CreateGui;
23
23
import pipe.gui.FileFinder;
 
24
import pipe.gui.Grid;
24
25
import pipe.gui.MessengerImpl;
25
26
 
26
27
public class EngineDialogPanel {        
30
31
        private JPanel tapaalDiscretePanel;
31
32
        private JPanel untimedPanel;
32
33
        private JPanel uppaalPanel;
 
34
        private JPanel javaPanel;
33
35
 
34
36
        JButton closeButton;
35
37
 
41
43
        final JLabel untimedVersionLabel = new JLabel("Version: ");
42
44
        final JLabel uppaalLocationLabel = new JLabel("Located: ");
43
45
        final JLabel uppaalVersionLabel = new JLabel("Version: ");
 
46
    final JLabel javaVersionLabel = new JLabel("Version: ");
44
47
 
45
48
        final JLabel tapaalLocationLabelVal = new JLabel("Not setup");
46
49
        final JLabel tapaalVersionLabelVal = new JLabel("N/A");
68
71
                makeUppaalPanel();
69
72
                makeDiscreteTapaalPanel();
70
73
                makeUntimedPanel();
 
74
                makeJavaPanel();
71
75
                makeEnginePanel();
72
76
                setPathsAndVersionNumbers();
73
77
        }       
585
589
                uppaalPanel.add(uppaalButtonPanel,gbc);
586
590
        }
587
591
 
 
592
    private void makeJavaPanel() {
 
593
        String version = System.getProperty("java.version");
 
594
 
 
595
        //make java panel
 
596
        javaPanel = new JPanel();
 
597
        javaPanel.setBorder(BorderFactory.createTitledBorder("Java"));
 
598
        javaPanel.setLayout(new GridBagLayout());
 
599
 
 
600
        //add info panel to java panel
 
601
        JPanel javaInfoPanel = new JPanel();
 
602
        javaInfoPanel.setLayout(new GridBagLayout());
 
603
 
 
604
        JPanel p = new JPanel(new FlowLayout());
 
605
        p.add(javaVersionLabel);
 
606
        p.add(new JLabel(version));
 
607
 
 
608
        GridBagConstraints gbc = new GridBagConstraints();
 
609
        gbc.gridx = 0;
 
610
        gbc.gridy = 0;
 
611
        gbc.weightx = 1;
 
612
        gbc.weighty = 1;
 
613
        gbc.anchor = GridBagConstraints.NORTHWEST;
 
614
        javaInfoPanel.add(p, gbc);
 
615
 
 
616
        gbc = new GridBagConstraints();
 
617
        gbc.gridx = 0;
 
618
        gbc.gridy = 0;
 
619
        gbc.weightx = 1;
 
620
        gbc.weighty = 1;
 
621
        gbc.fill = GridBagConstraints.BOTH;
 
622
        gbc.insets = panelInsets;
 
623
        javaPanel.add(javaInfoPanel,gbc);
 
624
    }
 
625
 
588
626
        private void makeEnginePanel() {
589
627
                enginePanel = new JPanel();
590
628
                enginePanel.setLayout(new GridBagLayout());             
626
664
                gbc.insets = panelInsets;
627
665
                enginePanel.add(uppaalPanel,gbc);
628
666
 
 
667
        gbc = new GridBagConstraints();
 
668
        gbc.gridx = 0;
 
669
        gbc.gridy = 4;
 
670
        gbc.weightx = 1;
 
671
        gbc.weighty = 1;
 
672
        gbc.fill = GridBagConstraints.BOTH;
 
673
        gbc.insets = panelInsets;
 
674
        enginePanel.add(javaPanel,gbc);
 
675
 
629
676
                JPanel closeButtonPanel = new JPanel();
630
677
                closeButtonPanel.setLayout(new GridBagLayout());
631
678
                closeButton = new JButton("Close");
639
686
 
640
687
                gbc = new GridBagConstraints();
641
688
                gbc.gridx = 0;
642
 
                gbc.gridy = 4;
 
689
                gbc.gridy = 5;
643
690
                gbc.anchor = GridBagConstraints.EAST;
644
691
                gbc.insets = new Insets(0,5,2,5);
645
692
                enginePanel.add(closeButtonPanel,gbc);  
656
703
                dialog.pack();
657
704
                dialog.setLocationRelativeTo(null);
658
705
                dialog.setVisible(true);
659
 
 
660
706
        }
661
707
}