• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/

Lines Matching refs:ViewletArray

31  * A ViewletArray is a recursive data structure intended to mirror the number,
37 * Note that ViewletArray is not responsible for maintaining location names,
40 public class ViewletArray extends AbstractViewletDataStore implements MultiViewletDataStore
43 * This is a list of Integers which denotes this ViewletArray's location
44 * within the outermost ViewletArray. E.g. a top-level ViewletArray with
52 * subFixity lists the fixities of Elements recursively. So a ViewletArray
60 * elements is an instance of inner class Elements. If this ViewletArray is
62 * ViewletArray. If this ViewletArray is multi-dimensional, then the contents
74 * Construct a ViewletArray given a list of integers (size), a fixity list
78 public ViewletArray(List size,
88 * Construct a ViewletArray given a list of integers (size), a fixity list
103 * multi-dimensional case. So, the ViewletArray constructor is mutually
107 private ViewletArray(List size, List fixity, Viewable viewable,
167 // ViewletArray viewletArray;
171 // viewletArray = (ViewletArray) elementsIterator.next();
179 * ViewletArray. This method is mutually recursive with the ViewletArray
184 * its location within the top level ViewletArray. <p>
186 * the returned object is a ViewletArray, returned by the constructor.
208 return(new ViewletArray(size, fixity, viewable, viewletFactory,
214 * Shrinks the ViewletArray to size newSize. Assumes the top-level fixity is
233 ((ViewletArray) elements.get(i)).shrinkTo(subNewSize);
258 ((ViewletArray) elements.get(i)).startExpandDimension(dimension - 1);
298 * Get element with location index within the ViewletArray. Result may be a
299 * ViewletArray or a Viewlet, depending on the length of the index parameter.
310 return(((ViewletArray) sub).getElement(subIndex));
314 * Sets the element with location index within the ViewletArray. */
323 ((ViewletArray) sub).setElement(subIndex, data);