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; }