blob: 75533f85f6a2267c0a036a3e0c94ec4af8127137 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2003 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Common Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/cpl-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);
}
}