private BdynRangeSet addToRange(long start, long t0, long t1, BdynRangeSet rslt) {
OutputEntry timee = new OutputEntry(start);
SortedSet<OutputEntry> ss = output_set.tailSet(timee);
for (OutputEntry e1 : ss) {
if (e1.getStartTime() > t1) break;
if (e1.getEndTime(t1) >= t0) {
ThreadData td = e1.getThread();
if (rslt == null) rslt = new BdynRangeSet();
Set<BdynEntry> r1 = rslt.get(td);
if (r1 == null) {
r1 = new HashSet<BdynEntry>();
rslt.put(td, r1);
}
r1.add(e1);
}
}
return rslt;
}
