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

/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/
H A DFadeViewletType.java304 protected int pitch[]; field in class:FadeViewletType.Store
331 pitch = new int[fixed.length];
332 /* Set pitch based on fixity and width */
333 for(int i = pitch.length-1; i >= 0; i++) {
338 pitch[i] = width[i] * arraySize;
340 pitch[i] = (width[i] + 4) * arraySize;
345 arraySize *= arraySize * pitch[i];
357 if (width[dimension] < pitch[dimension]) {
364 int oldPitch[] = pitch;
368 // re-calculate pitch inf
[all...]
H A DChartBarViewletType.java130 Integer pitch = (Integer)(size.get(i));
133 mult *= pitch.intValue()+1;

Completed in 36 milliseconds