1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17 package org.apache.bcel.verifier;
18
19 import java.awt.Dimension;
20 import java.awt.Toolkit;
21
22 import javax.swing.UIManager;
23
24 import org.apache.bcel.generic.Type;
25
26
27
28
29 public class GraphicalVerifier {
30
31 private static final boolean packFrame = false;
32
33
34 public static void main(final String[] args) {
35 try {
36 UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
37 } catch (final Exception e) {
38 e.printStackTrace();
39 }
40 new GraphicalVerifier();
41 }
42
43
44 public GraphicalVerifier() {
45 final VerifierAppFrame frame = new VerifierAppFrame();
46
47
48 if (packFrame) {
49 frame.pack();
50 } else {
51 frame.validate();
52 }
53
54 final Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
55 final Dimension frameSize = frame.getSize();
56 if (frameSize.height > screenSize.height) {
57 frameSize.height = screenSize.height;
58 }
59 if (frameSize.width > screenSize.width) {
60 frameSize.width = screenSize.width;
61 }
62 frame.setLocation((screenSize.width - frameSize.width) / 2, (screenSize.height - frameSize.height) / 2);
63 frame.setVisible(true);
64 frame.getClassNamesJList().setModel(new VerifierFactoryListModel());
65 VerifierFactory.getVerifier(Type.OBJECT.getClassName());
66 frame.getClassNamesJList().setSelectedIndex(0);
67 }
68 }