findbugsframe.java

一个查找java程序里bug的程序的源代码,该程序本身也是java写的,对提高java编程水平很有用

            }
        });

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 1;
        gridBagConstraints.gridy = 15;
        gridBagConstraints.fill = java.awt.GridBagConstraints.HORIZONTAL;
        gridBagConstraints.insets = new java.awt.Insets(0, 3, 0, 0);
        editProjectPanel.add(classpathEntryTextField, gridBagConstraints);

        browseClasspathEntryButton.setFont(new java.awt.Font("Dialog", 0, 12));
        browseClasspathEntryButton.setText("Browse");
        browseClasspathEntryButton.setMaximumSize(new java.awt.Dimension(90, 25));
        browseClasspathEntryButton.setMinimumSize(new java.awt.Dimension(90, 25));
        browseClasspathEntryButton.setPreferredSize(new java.awt.Dimension(90, 25));
        browseClasspathEntryButton.setText(L10N.getLocalString("dlg.browse_btn", "Browse"));
        browseClasspathEntryButton.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                browseClasspathEntryButtonActionPerformed(evt);
            }
        });

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 2;
        gridBagConstraints.gridy = 15;
        editProjectPanel.add(browseClasspathEntryButton, gridBagConstraints);

        addClasspathEntryButton.setFont(new java.awt.Font("Dialog", 0, 12));
        addClasspathEntryButton.setText("Add");
        addClasspathEntryButton.setMaximumSize(new java.awt.Dimension(90, 25));
        addClasspathEntryButton.setMinimumSize(new java.awt.Dimension(90, 25));
        addClasspathEntryButton.setPreferredSize(new java.awt.Dimension(90, 25));
        addClasspathEntryButton.setText(L10N.getLocalString("dlg.add_btn", "Add"));
        addClasspathEntryButton.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                addClasspathEntryButtonActionPerformed(evt);
            }
        });

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 3;
        gridBagConstraints.gridy = 15;
        gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST;
        gridBagConstraints.insets = new java.awt.Insets(0, 3, 0, 0);
        editProjectPanel.add(addClasspathEntryButton, gridBagConstraints);

        removeClasspathEntryButton.setFont(new java.awt.Font("Dialog", 0, 12));
        removeClasspathEntryButton.setText("Remove");
        removeClasspathEntryButton.setMaximumSize(new java.awt.Dimension(90, 25));
        removeClasspathEntryButton.setMinimumSize(new java.awt.Dimension(90, 25));
        removeClasspathEntryButton.setPreferredSize(new java.awt.Dimension(90, 25));
        removeClasspathEntryButton.setText(L10N.getLocalString("dlg.remove_btn", "Remove"));
        removeClasspathEntryButton.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                removeClasspathEntryButtonActionPerformed(evt);
            }
        });

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 3;
        gridBagConstraints.gridy = 16;
        gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST;
        gridBagConstraints.insets = new java.awt.Insets(0, 3, 0, 0);
        editProjectPanel.add(removeClasspathEntryButton, gridBagConstraints);

        classpathEntryListScrollPane.setPreferredSize(new java.awt.Dimension(259, 1));
        classpathEntryList.setBorder(new javax.swing.border.BevelBorder(javax.swing.border.BevelBorder.LOWERED));
        classpathEntryList.setFont(new java.awt.Font("Dialog", 0, 12));
        disableEditKeyBindings(classpathEntryList);
        classpathEntryList.addFocusListener(new java.awt.event.FocusAdapter() {
            public void focusGained(java.awt.event.FocusEvent evt) {
                focusGainedHandler(evt);
            }
        });

        classpathEntryListScrollPane.setViewportView(classpathEntryList);

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 1;
        gridBagConstraints.gridy = 16;
        gridBagConstraints.gridwidth = 2;
        gridBagConstraints.gridheight = 3;
        gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
        gridBagConstraints.weighty = 0.1;
        gridBagConstraints.insets = new java.awt.Insets(0, 3, 0, 3);
        editProjectPanel.add(classpathEntryListScrollPane, gridBagConstraints);

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 0;
        gridBagConstraints.gridy = 20;
        gridBagConstraints.gridwidth = 4;
        gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
        gridBagConstraints.insets = new java.awt.Insets(3, 0, 3, 0);
        editProjectPanel.add(jSeparator5, gridBagConstraints);

        sourceUpButton.setFont(new java.awt.Font("Dialog", 0, 12));
        sourceUpButton.setText("Up");
        sourceUpButton.setMaximumSize(new java.awt.Dimension(90, 25));
        sourceUpButton.setMinimumSize(new java.awt.Dimension(90, 25));
        sourceUpButton.setPreferredSize(new java.awt.Dimension(90, 25));
        sourceUpButton.setText(L10N.getLocalString("dlg.up_btn", "Up"));
        sourceUpButton.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                sourceUpButtonActionPerformed(evt);
            }
        });

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 3;
        gridBagConstraints.gridy = 10;
        gridBagConstraints.weighty = 0.2;
        editProjectPanel.add(sourceUpButton, gridBagConstraints);

        sourceDownButton.setFont(new java.awt.Font("Dialog", 0, 12));
        sourceDownButton.setText("Down");
        sourceDownButton.setMaximumSize(new java.awt.Dimension(90, 25));
        sourceDownButton.setMinimumSize(new java.awt.Dimension(90, 25));
        sourceDownButton.setPreferredSize(new java.awt.Dimension(90, 25));
        sourceDownButton.setText(L10N.getLocalString("dlg.down_btn", "Down"));
        sourceDownButton.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                sourceDownButtonActionPerformed(evt);
            }
        });

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridy = 11;
        editProjectPanel.add(sourceDownButton, gridBagConstraints);

        classpathUpButton.setFont(new java.awt.Font("Dialog", 0, 12));
        classpathUpButton.setText("Up");
        classpathUpButton.setMaximumSize(new java.awt.Dimension(90, 25));
        classpathUpButton.setMinimumSize(new java.awt.Dimension(90, 25));
        classpathUpButton.setPreferredSize(new java.awt.Dimension(90, 25));
        classpathUpButton.setText(L10N.getLocalString("dlg.up_btn", "Up"));
        classpathUpButton.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                classpathUpButtonActionPerformed(evt);
            }
        });

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 3;
        gridBagConstraints.gridy = 17;
        gridBagConstraints.weighty = 0.2;
        editProjectPanel.add(classpathUpButton, gridBagConstraints);

        classpathDownButton.setFont(new java.awt.Font("Dialog", 0, 12));
        classpathDownButton.setText("Down");
        classpathDownButton.setMaximumSize(new java.awt.Dimension(90, 25));
        classpathDownButton.setMinimumSize(new java.awt.Dimension(90, 25));
        classpathDownButton.setPreferredSize(new java.awt.Dimension(90, 25));
        classpathDownButton.setText(L10N.getLocalString("dlg.down_btn", "Down"));
        classpathDownButton.addActionListener(new java.awt.event.ActionListener() {
            public void actionPerformed(java.awt.event.ActionEvent evt) {
                classpathDownButtonActionPerformed(evt);
            }
        });

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 3;
        gridBagConstraints.gridy = 18;
        editProjectPanel.add(classpathDownButton, gridBagConstraints);

        viewPanel.add(editProjectPanel, "EditProjectPanel");

        bugTreePanel.setLayout(new java.awt.GridBagLayout());

        bugTreeBugDetailsSplitter.setOrientation(javax.swing.JSplitPane.VERTICAL_SPLIT);
        bugTreeBugDetailsSplitter.setResizeWeight(1.0);
        bugTreeBugDetailsSplitter.setOneTouchExpandable(true);
        bugTreeBugDetailsSplitter.addPropertyChangeListener(new java.beans.PropertyChangeListener() {
            public void propertyChange(java.beans.PropertyChangeEvent evt) {
                bugTreeBugDetailsSplitterPropertyChange(evt);
            }
        });

        byClassBugTree.addFocusListener(new java.awt.event.FocusAdapter() {
            public void focusGained(java.awt.event.FocusEvent evt) {
                focusGainedHandler(evt);
            }
        });

        byClassScrollPane.setViewportView(byClassBugTree);

        groupByTabbedPane.addTab("By Class", byClassScrollPane);

        byPackageBugTree.addFocusListener(new java.awt.event.FocusAdapter() {
            public void focusGained(java.awt.event.FocusEvent evt) {
                focusGainedHandler(evt);
            }
        });

        byPackageScrollPane.setViewportView(byPackageBugTree);

        groupByTabbedPane.addTab("By Package", byPackageScrollPane);

        byBugTypeBugTree.addFocusListener(new java.awt.event.FocusAdapter() {
            public void focusGained(java.awt.event.FocusEvent evt) {
                focusGainedHandler(evt);
            }
        });

        byBugTypeScrollPane.setViewportView(byBugTypeBugTree);

        groupByTabbedPane.addTab("By Bug Type", byBugTypeScrollPane);

        bugSummaryEditorPane.addFocusListener(new java.awt.event.FocusAdapter() {
            public void focusGained(java.awt.event.FocusEvent evt) {
                focusGainedHandler(evt);
            }
        });

        bySummary.setViewportView(bugSummaryEditorPane);

        groupByTabbedPane.addTab("Summary", bySummary);

        bugTreeBugDetailsSplitter.setTopComponent(groupByTabbedPane);

        bugDescriptionEditorPane.setEditable(false);
        bugDescriptionEditorPane.addFocusListener(new java.awt.event.FocusAdapter() {
            public void focusGained(java.awt.event.FocusEvent evt) {
                focusGainedHandler(evt);
            }
        });

        bugDescriptionScrollPane.setViewportView(bugDescriptionEditorPane);

        bugDetailsTabbedPane.addTab("Details", bugDescriptionScrollPane);

        sourceTextAreaScrollPane.setMinimumSize(new java.awt.Dimension(22, 180));
        sourceTextAreaScrollPane.setPreferredSize(new java.awt.Dimension(0, 100));
        sourceTextArea.setEditable(false);
        sourceTextArea.setFont(new java.awt.Font("Lucida Sans Typewriter", 0, 12));
        sourceTextArea.setEnabled(false);
        sourceTextArea.addFocusListener(new java.awt.event.FocusAdapter() {
            public void focusGained(java.awt.event.FocusEvent evt) {
                focusGainedHandler(evt);
            }
        });

        sourceTextAreaScrollPane.setViewportView(sourceTextArea);

        bugDetailsTabbedPane.addTab("Source code", sourceTextAreaScrollPane);

        annotationTextArea.addFocusListener(new java.awt.event.FocusAdapter() {
            public void focusGained(java.awt.event.FocusEvent evt) {
                focusGainedHandler(evt);
            }
        });

        annotationTextAreaScrollPane.setViewportView(annotationTextArea);

        bugDetailsTabbedPane.addTab("Annotations", annotationTextAreaScrollPane);

        bugTreeBugDetailsSplitter.setBottomComponent(bugDetailsTabbedPane);

        gridBagConstraints = new java.awt.GridBagConstraints();
        gridBagConstraints.gridx = 0;
        gridBagConstraints.gridy = 1;
        gridBagConstraints.gridwidth = 2;
        gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
        gridBagConstraints.weightx = 1.0;
        gridBagConstraints.weighty = 1.0;
        bugTreePanel.add(bugTreeBugDetailsSplitter, gridBagConstraints);

        viewPanel.add(bugTreePanel, "BugTree");

        consoleSplitter.setTopComponent(viewPanel);

        {
            equalizeControls( new JComponent[]
                {
                    addJarButton,
                    addSourceDirButton,
                    addClasspathEntryButton,
                    removeJarButton,
                    removeSrcDirButton,
                    removeClasspathEntryButton,
                    browseJarButton,
                    browseSrcDirButton,
                    browseClasspathEntryButton,
                    sourceUpButton,
                    sourceDownButton,
                    classpathUpButton,
                    classpathDownButton
                });

                groupByTabbedPane.setTitleAt(0, L10N.getLocalString( "dlg.byclass_tab", "By Class"));
                groupByTabbedPane.setTitleAt(1, L10N.getLocalString( "dlg.bypackage_tab", "By Package"));
                groupByTabbedPane.setTitleAt(2, L10N.getLocalString( "dlg.bybugtype_tab", "By Bug Type"));
                groupByTabbedPane.setTitleAt(3, L10N.getLocalString( "dlg.summary_tab", "Summary"));
                bugDetailsTabbedPane.setTitleAt(0, L10N.getLocalString( "dlg.details_tab", "Details"));
                bugDetailsTabbedPane.setTitleAt(1, L10N.getLocalString( "dlg.sourcecode_tab", "Source Code"));
                bugDetailsTabbedPane.setTitleAt(2, L10N.getLocalString( "dlg.annotations_tab", "Annotations"));
            }
            consoleScrollPane.setMinimumSize(new java.awt.Dimension(22, 100));
            consoleScrollPane.setPreferredSize(new java.awt.Dimension(0, 100));
            consoleMessageArea.setBackground(new java.awt.Color(204, 204, 204));
            consoleMessageArea.setEditable(false);
            consoleMessageArea.setFont(new java.awt.Font("Lucida Sans Typewriter", 0, 12));