Searched refs:ViewletRangeCollection (Results 1 - 9 of 9) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DViewletRangeCollection.java30 public class ViewletRangeCollection class in inherits:java.util.LinkedList,ViewletRange
35 public ViewletRangeCollection() { method in class:ViewletRangeCollection
39 public ViewletRangeCollection(Collection col) { method in class:ViewletRangeCollection
H A DSparseViewletStore.java81 return new ViewletRangeCollection(elements.keySet());
161 ViewletRange range = new ViewletRangeCollection();
183 ViewletRange range = new ViewletRangeCollection();
H A DMultiViewletType.java150 typeRange = new ViewletRangeCollection();
176 typeRange = new ViewletRangeCollection();
196 typeRange = new ViewletRangeCollection();
219 typeRange = new ViewletRangeCollection();
247 typeRange = new ViewletRangeCollection();
H A DAbstractViewletDataStore.java410 return new ViewletRangeCollection(indices);
462 return new ViewletRangeCollection(allCombinations(fromIndex, toIndex));
H A DWrappedMultiViewletDataStore.java54 ViewletRange newRange = new ViewletRangeCollection();
H A DContainerViewer.java109 //protected ViewletRange selection = new ViewletRangeCollection();
244 setSelection(new ViewletRangeCollection());
348 //goals.add(viewletType.collectPreBuildGoal(this,new ViewletRangeCollection(indexList)));
360 //goals.add(viewletType.collectPreUpdateGoal(this,new ViewletRangeCollection(indexList), event));
666 viewletDataStore.getViewletDataIterator(new ViewletRangeCollection(updatingElementIndices));
946 return new ViewletRangeCollection();
H A DGraphViewer.java851 ViewletRangeCollection range = new ViewletRangeCollection();
1032 ViewletRange range = new ViewletRangeCollection();
/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/
H A DFadeViewletType.java180 ViewletRange faded = new ViewletRangeCollection();
H A DTextViewletType.java255 ViewletRange faded = new ViewletRangeCollection();

Completed in 104 milliseconds