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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DViewletArray.java96 * the top-level dimension. If it is 'fixed' we use FixedElements, and if it
98 * Elements: FixedElements is optimized for fast access whereas
121 elements = new FixedElements(topLevelSize);
342 * FixedElements is basically just a bridge between an Object array and
345 private class FixedElements extends Elements class in class:ViewletArray
348 FixedElements(int size) method in class:ViewletArray.FixedElements

Completed in 28 milliseconds