/**
* Sets the output text.
*
* @param t output text
* @param s text size
*/
public final void setText(final byte[] t, final int s) {
// remove invalid characters and compare old with new string
int ns = 0;
final int ts = text.size();
final byte[] tt = text.text();
boolean eq = true;
for (int r = 0; r < s; ++r) {
final byte b = t[r];
// support characters, highlighting codes, tabs and newlines
if (b >= ' ' || b <= TokenBuilder.MARK || b == 0x09 || b == 0x0A) {
t[ns++] = t[r];
}
eq &= ns < ts && ns < s && t[ns] == tt[ns];
}
eq &= ns == ts;
// new text is different...
if (!eq) {
text = new BaseXTextTokens(Arrays.copyOf(t, ns));
rend.setText(text);
scroll.pos(0);
}
if (undo != null) undo.store(t.length != ns ? Arrays.copyOf(t, ns) : t, 0);
SwingUtilities.invokeLater(calc);
}
/** List results by alphabetical name */
private void listByProgramName() {
int nresult = datasets.size();
String res[] = new String[nresult];
for (int i = 0; i < nresult; i++) res[i] = (String) datasets.getElementAt(i);
Arrays.sort(res);
datasets.removeAllElements();
for (int i = 0; i < nresult; i++) datasets.addElement(res[i]);
}
public void add(long time) {
// May need to store a new time offset
int n = offsets.length;
if (n == 0 || time - offsets[n - 1] > Integer.MAX_VALUE) {
// Grow offset and indices arrays and store new offset
offsets = Arrays.copyOf(offsets, n + 1);
offsets[n] = time;
indices = Arrays.copyOf(indices, n + 1);
indices[n] = size;
}
// May need to extend the array size
if (rtimes.length == size) {
rtimes = (int[]) extendArray(rtimes);
}
// Store the time
rtimes[size] = (int) (time - offsets[offsets.length - 1]);
size++;
}
public String[] getNames() {
String[] names = new String[table.size()];
names = table.keySet().toArray(names);
Arrays.sort(names);
return names;
}
/** sorts the user list and rebuilds the user list from the sorted user vector, */
public void updateList() {
Object[] tmp = users.toArray();
Arrays.sort(tmp);
userList.setListData(tmp);
}