findbugsframe.java

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

            consoleMessageArea.setMinimumSize(new java.awt.Dimension(0, 0));
            consoleMessageArea.setAutoscrolls(false);
            consoleMessageArea.addFocusListener(new java.awt.event.FocusAdapter() {
                public void focusGained(java.awt.event.FocusEvent evt) {
                    focusGainedHandler(evt);
                }
            });

            consoleScrollPane.setViewportView(consoleMessageArea);

            consoleSplitter.setBottomComponent(consoleScrollPane);

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

            urlLabel.setFont(new java.awt.Font("Dialog", 0, 12));
            urlLabel.setText("FindBugs - http://findbugs.sourceforge.net/");
            gridBagConstraints = new java.awt.GridBagConstraints();
            gridBagConstraints.gridx = 0;
            gridBagConstraints.gridy = 1;
            gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST;
            gridBagConstraints.insets = new java.awt.Insets(2, 2, 2, 0);
            getContentPane().add(urlLabel, gridBagConstraints);

            jPanel1.setLayout(new javax.swing.BoxLayout(jPanel1, javax.swing.BoxLayout.X_AXIS));

            jPanel1.add(logoLabel);

            growBoxSpacer.setMaximumSize(new java.awt.Dimension(16, 16));
            jPanel1.add(growBoxSpacer);

            gridBagConstraints = new java.awt.GridBagConstraints();
            gridBagConstraints.gridx = 1;
            gridBagConstraints.gridy = 1;
            gridBagConstraints.anchor = java.awt.GridBagConstraints.SOUTHEAST;
            gridBagConstraints.insets = new java.awt.Insets(2, 0, 2, 2);
            getContentPane().add(jPanel1, gridBagConstraints);

            theMenuBar.setFont(new java.awt.Font("Dialog", 0, 12));
            fileMenu.setText("File");
            fileMenu.setFont(new java.awt.Font("Dialog", 0, 12));
            localiseButton(fileMenu, "menu.file_menu", "&File", true);
            fileMenu.addMenuListener(new javax.swing.event.MenuListener() {
                public void menuCanceled(javax.swing.event.MenuEvent evt) {
                }
                public void menuDeselected(javax.swing.event.MenuEvent evt) {
                }
                public void menuSelected(javax.swing.event.MenuEvent evt) {
                    fileMenuMenuSelected(evt);
                }
            });

            newProjectItem.setFont(new java.awt.Font("Dialog", 0, 12));
            newProjectItem.setText("New Project");
            localiseButton(newProjectItem, "menu.new_item", "&New Project", true);
            newProjectItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    newProjectItemActionPerformed(evt);
                }
            });

            fileMenu.add(newProjectItem);

            openProjectItem.setFont(new java.awt.Font("Dialog", 0, 12));
            openProjectItem.setText("Open Project...");
            localiseButton(openProjectItem, "menu.open_item", "&Open Project", true);
            openProjectItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    openProjectItemActionPerformed(evt);
                }
            });

            fileMenu.add(openProjectItem);

            recentProjectsMenu.setText("Recent Projects");
            recentProjectsMenu.setFont(new java.awt.Font("Dialog", 0, 12));
            localiseButton(recentProjectsMenu, "menu.recent_menu", "R&ecent Projects", true);
            rebuildRecentProjectsMenu();
            fileMenu.add(recentProjectsMenu);

            fileMenu.add(jSeparator9);

            closeProjectItem.setFont(new java.awt.Font("Dialog", 0, 12));
            closeProjectItem.setText("Close Project");
            localiseButton(closeProjectItem, "menu.close_item", "&Close", true);
            closeProjectItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    closeProjectItemActionPerformed(evt);
                }
            });

            fileMenu.add(closeProjectItem);

            saveProjectItem.setFont(new java.awt.Font("Dialog", 0, 12));
            saveProjectItem.setText("Save Project");
            localiseButton(saveProjectItem, "menu.save_item", "&Save Project", true);
            saveProjectItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    saveProjectItemActionPerformed(evt);
                }
            });

            fileMenu.add(saveProjectItem);

            saveProjectAsItem.setFont(new java.awt.Font("Dialog", 0, 12));
            saveProjectAsItem.setText("Save Project As...");
            localiseButton(saveProjectAsItem, "menu.saveas_item", "Save Project &As...", true);
            saveProjectAsItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    saveProjectAsItemActionPerformed(evt);
                }
            });

            fileMenu.add(saveProjectAsItem);

            reloadProjectItem.setFont(new java.awt.Font("Dialog", 0, 12));
            reloadProjectItem.setText("Reload Project");
            localiseButton(reloadProjectItem, "menu.reload_item", "&Reload Project", true);
            reloadProjectItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    reloadProjectItemActionPerformed(evt);
                }
            });

            fileMenu.add(reloadProjectItem);

            fileMenu.add(jSeparator3);

            loadBugsItem.setFont(new java.awt.Font("Dialog", 0, 12));
            loadBugsItem.setText("Load Bugs...");
            localiseButton(loadBugsItem, "menu.loadbugs_item", "&Load Bugs...", true);
            loadBugsItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    loadBugsItemActionPerformed(evt);
                }
            });

            fileMenu.add(loadBugsItem);

            saveBugsItem.setFont(new java.awt.Font("Dialog", 0, 12));
            saveBugsItem.setText("Save Bugs");
            localiseButton(saveBugsItem, "menu.savebugs_item", "Save &Bugs...", true);
            saveBugsItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    saveBugsItemActionPerformed(evt);
                }
            });

            fileMenu.add(saveBugsItem);

            fileMenu.add(jSeparator6);

            exitItem.setFont(new java.awt.Font("Dialog", 0, 12));
            exitItem.setText("Exit");
            localiseButton(exitItem, "menu.exit_item", "E&xit", true);
            exitItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    exitItemActionPerformed(evt);
                }
            });

            fileMenu.add(exitItem);

            theMenuBar.add(fileMenu);

            editMenu.setText("Edit");
            editMenu.setFont(new java.awt.Font("Dialog", 0, 12));
            editMenu.setEnabled(false);
            localiseButton(editMenu, "menu.edit_menu", "&Edit", true);
            cutItem.setFont(new java.awt.Font("Dialog", 0, 12));
            cutItem.setText("Cut");
            localiseButton(cutItem, "menu.cut_item", "Cut", true);
            cutItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    cutActionPerformed(evt);
                }
            });

            editMenu.add(cutItem);

            copyItem.setFont(new java.awt.Font("Dialog", 0, 12));
            copyItem.setText("Copy");
            localiseButton(copyItem, "menu.copy_item", "Copy", true);
            copyItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    copyActionPerformed(evt);
                }
            });

            editMenu.add(copyItem);

            pasteItem.setFont(new java.awt.Font("Dialog", 0, 12));
            pasteItem.setText("Paste");
            localiseButton(pasteItem, "menu.paste_item", "Paste", true);
            pasteItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    pasteActionPerformed(evt);
                }
            });

            editMenu.add(pasteItem);

            editMenu.add(jSeparator10);

            selectAllItem.setAccelerator(javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_A, java.awt.event.InputEvent.CTRL_MASK));
            selectAllItem.setFont(new java.awt.Font("Dialog", 0, 12));
            selectAllItem.setText("Select All");
            localiseButton(selectAllItem, "menu.selectall_item", "Select &All", true);
            selectAllItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    selectAllActionPerformed(evt);
                }
            });

            editMenu.add(selectAllItem);

            theMenuBar.add(editMenu);

            viewMenu.setText("View");
            viewMenu.setFont(new java.awt.Font("Dialog", 0, 12));
            localiseButton(viewMenu, "menu.view_menu", "&View", true);

            viewMenu.addMenuListener(new javax.swing.event.MenuListener() {
                public void menuCanceled(javax.swing.event.MenuEvent evt) {
                }
                public void menuDeselected(javax.swing.event.MenuEvent evt) {
                }
                public void menuSelected(javax.swing.event.MenuEvent evt) {
                    viewMenuMenuSelected(evt);
                }
            });

            viewConsoleItem.setFont(new java.awt.Font("Dialog", 0, 12));
            viewConsoleItem.setText("Console");
            localiseButton(viewConsoleItem, "menu.console_item", "&Console", true);
            viewConsoleItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    viewConsoleItemActionPerformed(evt);
                }
            });

            viewMenu.add(viewConsoleItem);

            viewBugDetailsItem.setFont(new java.awt.Font("Dialog", 0, 12));
            viewBugDetailsItem.setSelected(true);
            viewBugDetailsItem.setText("Bug Details");
            localiseButton(viewBugDetailsItem, "menu.bugdetails_item", "Bug &Details", true);
            viewBugDetailsItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    viewBugDetailsItemActionPerformed(evt);
                }
            });

            viewMenu.add(viewBugDetailsItem);

            fullDescriptionsItem.setFont(new java.awt.Font("Dialog", 0, 12));
            fullDescriptionsItem.setSelected(true);
            fullDescriptionsItem.setText("Full Descriptions");
            localiseButton(fullDescriptionsItem, "menu.fulldescriptions_item", "&Full Descriptions", true);
            fullDescriptionsItem.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    fullDescriptionsItemActionPerformed(evt);
                }
            });

            viewMenu.add(fullDescriptionsItem);

            viewMenu.add(jSeparator7);

            filterWarningsMenu.setText("Filter Warnings");
            filterWarningsMenu.setFont(new java.awt.Font("Dialog", 0, 12));
            localiseButton(filterWarningsMenu, "menu.filterwarnings_menu", "Filter &Warnings", true);
            priorityButtonGroup.add(expPriorityButton);
            expPriorityButton.setFont(new java.awt.Font("Dialog", 0, 12));
            expPriorityButton.setText("Experimental Priority");
            localiseButton(expPriorityButton, "menu.exppriority_item", "&Experimental Priority", true);
            expPriorityButton.setSelected(getPriorityThreshold() == Detector.EXP_PRIORITY);
            expPriorityButton.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    expPriorityButtonActionPerformed(evt);
                }
            });

            filterWarningsMenu.add(expPriorityButton);

            priorityButtonGroup.add(lowPriorityButton);
            lowPriorityButton.setFont(new java.awt.Font("Dialog", 0, 12));
            lowPriorityButton.setText("Low Priority");
            localiseButton(lowPriorityButton, "menu.lowpriority_item", "&Low Priority", true);
            lowPriorityButton.setSelected(getPriorityThreshold() == Detector.LOW_PRIORITY);
            lowPriorityButton.addActionListener(new java.awt.event.ActionListener() {
                public void actionPerformed(java.awt.event.ActionEvent evt) {
                    lowPriorityButtonActionPe