Package edu.umd.cs.findbugs.cloud

Examples of edu.umd.cs.findbugs.cloud.Cloud.shutdown()

85
86
87
88
89
90
91
92
93
        if (args.length > 1) {
            origCollection.writeXML(args[1]);
        }
        cloud.waitUntilNewIssuesUploaded();
        cloud.shutdown();

    }
}
View Full Code Here
411
412
413
414
415
416
417
418
419
420
421
        guiSaveState.setFrameBounds(getBounds());
        guiSaveState.setExtendedWindowState(getExtendedState());
        guiSaveState.save();
        if (this.bugCollection != null) {
            Cloud cloud = this.bugCollection.getCloud();
            cloud.shutdown();
        }
        System.exit(0);
    }

    // ========================== misc junk ====================================
View Full Code Here
492
493
494
495
496
497
498
499
500
501
502
            if (this.bugCollection != bugCollection && this.bugCollection != null) {
                Cloud plugin = this.bugCollection.getCloud();
                plugin.removeListener(userAnnotationListener);
                plugin.removeStatusListener(cloudStatusListener);
                plugin.shutdown();
            }
            // setRebuilding(false);
            setProject(project);
            this.bugCollection = bugCollection;
            BugLoader.addDeadBugMatcher(bugCollection);
View Full Code Here
212
213
214
215
216
217
218
219
220
    }

    public void shutdown() {
        Cloud cloud = bugCollection.getCloud();
        cloud.shutdown();
    }

}
View Full Code Here
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
    public void clearCloud() {
        Cloud oldCloud = cloud;
        IGuiCallback callback = project.getGuiCallback();
        if (oldCloud != null) {
            callback.unregisterCloud(project, this, oldCloud);
            oldCloud.shutdown();
        }
        cloud = null;
    }

    @Override
View Full Code Here
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
    public @Nonnull Cloud reinitializeCloud() {
        Cloud oldCloud = cloud;
        IGuiCallback callback = project.getGuiCallback();
        if (oldCloud != null) {
            callback.unregisterCloud(project, this, oldCloud);
            oldCloud.shutdown();
        }
        cloud = null;
        @Nonnull Cloud newCloud = getCloud();
        assert newCloud == cloud;
        assert cloud != null;
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.