mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-07 17:56:01 +02:00
Code Issues Wiki Activity

Warnings & generics

Browse source
This commit is contained in:
James Blackburn 2010-03-09 16:34:18 +00:00
parent 28d8d197e3
commit 31fa034325
1 changed files with 6 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/managedbuilder/internal/core/NotificationManager.java
View file

@ -10,8 +10,8 @@
*******************************************************************************/
package org.eclipse.cdt.managedbuilder.internal.core;
import java.util.ArrayList;
import java.util.List;
import java.util.concurrent.CopyOnWriteArrayList;
import org.eclipse.cdt.managedbuilder.core.IHoldsOptions;
import org.eclipse.cdt.managedbuilder.core.IOption;
@ -19,10 +19,10 @@ import org.eclipse.cdt.managedbuilder.core.IResourceInfo;
public class NotificationManager /*implements ISettingsChangeListener */{
private static NotificationManager fInstance;
private List fListeners;
private List<ISettingsChangeListener> fListeners;
private NotificationManager(){
fListeners = new ArrayList();
fListeners = new CopyOnWriteArrayList<ISettingsChangeListener>();
}
public static NotificationManager getInstance(){
@ -42,7 +42,7 @@ public class NotificationManager /*implements ISettingsChangeListener */{
}
private void notifyListeners(SettingsChangeEvent event){
ISettingsChangeListener listeners[] = (ISettingsChangeListener[])fListeners.toArray(new ISettingsChangeListener[fListeners.size()]);
ISettingsChangeListener listeners[] = fListeners.toArray(new ISettingsChangeListener[fListeners.size()]);
for(int i = 0; i < listeners.length; i++){
listeners[i].settingsChanged(event);
}
@ -57,18 +57,11 @@ public class NotificationManager /*implements ISettingsChangeListener */{
}
public void subscribe(ISettingsChangeListener listener){
// synchronized (this) {
fListeners.add(listener);
// }
fListeners.add(listener);
}
public void unsubscribe(ISettingsChangeListener listener){
// synchronized (this) {
fListeners.remove(listener);
// }
fListeners.remove(listener);
}
}