Package edu.umd.cs.findbugs

Examples of edu.umd.cs.findbugs.BugProperty


    /**
     * Synchronize the menu with the current BugInstance.
     */
    private void syncMenu() {
        if (bugInstance != null) {
            BugProperty severityProperty = bugInstance.lookupProperty(BugProperty.SEVERITY);
            if (severityProperty != null) {
                try {
                    int severity = severityProperty.getValueAsInt();
                    if (severity > 0 && severity <= severityItemList.length) {
                        selectSeverity(severity);
                        return;
                    }
                } catch (NumberFormatException e) {
View Full Code Here


        });
    }

    private void classifyWarning(BugInstance warning, boolean isBug) {

        BugProperty isBugProp = warning.lookupProperty(BugProperty.IS_BUG);
        if (isBugProp != null) {
            // Warning was previously classified
            if (isBugProp.getValueAsBoolean() == isBug) {
                // No change
                return;
            }
        }
View Full Code Here

    private void syncMenu() {
        if (bugInstance != null) {
            isBugItem.setEnabled(true);
            notBugItem.setEnabled(true);

            BugProperty isBugProperty = bugInstance.lookupProperty(BugProperty.IS_BUG);
            if (isBugProperty == null) {
                // Unclassified
                isBugItem.setSelection(false);
                notBugItem.setSelection(false);
            } else {
                boolean isBug = isBugProperty.getValueAsBoolean();
                isBugItem.setSelection(isBug);
                notBugItem.setSelection(!isBug);
            }
        } else {
            // No bug instance, so uncheck and disable the menu items
View Full Code Here

TOP

Related Classes of edu.umd.cs.findbugs.BugProperty

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.