blob: eaf70d65953f4fd967eded0001db1c6f677ba2b6 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 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.jface.internal.databinding.provisional.observable.set;
import java.util.HashSet;
import java.util.Set;
import org.eclipse.jface.internal.databinding.provisional.observable.Diffs;
import org.eclipse.jface.internal.databinding.provisional.observable.list.IListChangeListener;
import org.eclipse.jface.internal.databinding.provisional.observable.list.IObservableList;
import org.eclipse.jface.internal.databinding.provisional.observable.list.ListDiff;
import org.eclipse.jface.internal.databinding.provisional.observable.list.ListDiffEntry;
/**
* Observable set backed by an observable list. The wrapped list must not
* contain duplicate elements.
*
* @since 3.2
*
*/
public class ListToSetAdapter extends ObservableSet {
private final IObservableList list;
private IListChangeListener listener = new IListChangeListener() {
public void handleListChange(IObservableList source, ListDiff diff) {
Set added = new HashSet();
Set removed = new HashSet();
ListDiffEntry[] differences = diff.getDifferences();
for (int i = 0; i < differences.length; i++) {
ListDiffEntry entry = differences[i];
Object element = entry.getElement();
if (entry.isAddition()) {
if (wrappedSet.add(element)) {
if (!removed.remove(element))
added.add(element);
}
} else {
if (wrappedSet.remove(element)) {
removed.add(element);
added.remove(element);
}
}
}
fireSetChange(Diffs.createSetDiff(added, removed));
}
};
/**
* @param wrappedSet
*/
public ListToSetAdapter(IObservableList list) {
super(new HashSet(), list.getElementType());
this.list = list;
wrappedSet.addAll(list);
this.list.addListChangeListener(listener);
}
public void dispose() {
super.dispose();
if (list != null && listener != null) {
list.removeListChangeListener(listener);
listener = null;
}
}
}