- public void removeCoreListener(CoreListener coreListener) {
- coreListeners.remove(coreListener);
- }
-
- /**
- * Notifies all core listeners that loading the projects from the given
- * directory has failed.
- *
- * @param directory
- * The directory the projects were tried to load from
- */
- private void fireLoadingProjectsFailed(String directory) {
- for (CoreListener coreListener: coreListeners) {
- coreListener.loadingProjectsFailed(directory);
- }
- }
-
- /**
- * Notifies all core listeners that the core has loaded and is ready to run.
- */
- private void fireCoreLoaded() {
- for (CoreListener coreListener: coreListeners) {
- coreListener.coreLoaded();
- }
- }
-
- //
- // ACCESSORS
- //
-
- /**
- * Returns the project manager.
- *
- * @return The project manager
- */
- public ProjectManager getProjectManager() {
- return projectManager;
- }
-
- /**
- * Sets the project manager to use.
- *
- * @param projectManager
- * The project manager to use
- */
- public void setProjectManager(ProjectManager projectManager) {
- this.projectManager = projectManager;
- }