blob: d947e84542cd90e0f4f0ba0d97cf6e463a15d863 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2006 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.ui.internal.activities;
import java.util.Set;
import org.eclipse.ui.activities.ActivityManagerEvent;
import org.eclipse.ui.activities.IActivity;
import org.eclipse.ui.activities.IActivityManager;
import org.eclipse.ui.activities.IActivityManagerListener;
import org.eclipse.ui.activities.ICategory;
import org.eclipse.ui.activities.IIdentifier;
public final class ProxyActivityManager extends AbstractActivityManager {
private IActivityManager activityManager;
public ProxyActivityManager(IActivityManager activityManager) {
if (activityManager == null) {
throw new NullPointerException();
}
this.activityManager = activityManager;
this.activityManager
.addActivityManagerListener(new IActivityManagerListener() {
public void activityManagerChanged(
ActivityManagerEvent activityManagerEvent) {
ActivityManagerEvent proxyActivityManagerEvent = new ActivityManagerEvent(
ProxyActivityManager.this, activityManagerEvent
.haveDefinedActivityIdsChanged(),
activityManagerEvent
.haveDefinedCategoryIdsChanged(),
activityManagerEvent
.haveEnabledActivityIdsChanged(),
activityManagerEvent
.getPreviouslyDefinedActivityIds(),
activityManagerEvent
.getPreviouslyDefinedCategoryIds(),
activityManagerEvent
.getPreviouslyEnabledActivityIds());
fireActivityManagerChanged(proxyActivityManagerEvent);
}
});
}
public IActivity getActivity(String activityId) {
return activityManager.getActivity(activityId);
}
public ICategory getCategory(String categoryId) {
return activityManager.getCategory(categoryId);
}
public Set getDefinedActivityIds() {
return activityManager.getDefinedActivityIds();
}
public Set getDefinedCategoryIds() {
return activityManager.getDefinedCategoryIds();
}
public Set getEnabledActivityIds() {
return activityManager.getEnabledActivityIds();
}
public IIdentifier getIdentifier(String identifierId) {
return activityManager.getIdentifier(identifierId);
}
}