| 46 | } |
| 47 | |
| 48 | private void initComponents() { |
| 49 | // JFormDesigner - Component initialization - DO NOT MODIFY //GEN-BEGIN:initComponents |
| 50 | // Generated using JFormDesigner non-commercial license |
| 51 | toolBar1 = new JToolBar(); |
| 52 | treeContentSplitPane = new JSplitPane(); |
| 53 | treeAttributesSplitPane = new JSplitPane(); |
| 54 | treeScrollPane = new JScrollPane(); |
| 55 | tree = new JTree(); |
| 56 | attributeScrollPane = new JScrollPane(); |
| 57 | attributes = new JTree(); |
| 58 | outputTemplateSplitPane = new JSplitPane(); |
| 59 | scrollPane7 = new JScrollPane(); |
| 60 | output = new JTextPane(); |
| 61 | templateBytecodeTraceTabPanel = new JTabbedPane(); |
| 62 | panel1 = new JPanel(); |
| 63 | scrollPane3 = new JScrollPane(); |
| 64 | template = new JTextPane(); |
| 65 | scrollPane2 = new JScrollPane(); |
| 66 | ast = new JTree(); |
| 67 | scrollPane15 = new JScrollPane(); |
| 68 | bytecode = new JTextPane(); |
| 69 | scrollPane1 = new JScrollPane(); |
| 70 | trace = new JTextPane(); |
| 71 | errorScrollPane = new JScrollPane(); |
| 72 | errorList = new JList(); |
| 73 | |
| 74 | //======== this ======== |
| 75 | Container contentPane = getContentPane(); |
| 76 | contentPane.setLayout(new GridBagLayout()); |
| 77 | ((GridBagLayout)contentPane.getLayout()).columnWidths = new int[] {0, |
| 78 | 0}; |
| 79 | ((GridBagLayout)contentPane.getLayout()).rowHeights = new int[] {0, |
| 80 | 0, |
| 81 | 0, |
| 82 | 0}; |
| 83 | ((GridBagLayout)contentPane.getLayout()).columnWeights = new double[] {1.0, |
| 84 | 1.0E-4}; |
| 85 | ((GridBagLayout)contentPane.getLayout()).rowWeights = new double[] {0.0, |
| 86 | 1.0, |
| 87 | 0.0, |
| 88 | 1.0E-4}; |
| 89 | contentPane.add(toolBar1, new GridBagConstraints(0,0,1,1, 0.0, 0.0, GridBagConstraints.CENTER, GridBagConstraints.BOTH, new Insets(0,0,0,0),0,0)); |
| 90 | |
| 91 | //======== treeContentSplitPane ======== |
| 92 | { |
| 93 | treeContentSplitPane.setResizeWeight(0.25); |
| 94 | |
| 95 | //======== treeAttributesSplitPane ======== |
| 96 | { |
| 97 | treeAttributesSplitPane.setOrientation(JSplitPane.VERTICAL_SPLIT); |
| 98 | treeAttributesSplitPane.setResizeWeight(0.7); |
| 99 | |
| 100 | //======== treeScrollPane ======== |
| 101 | { |
| 102 | treeScrollPane.setViewportView(tree); |
| 103 | } |
| 104 | treeAttributesSplitPane.setTopComponent(treeScrollPane); |
| 105 | |