When doing a range query with resolution, include the end time
of the range (t2) as the last "resolution point". This means
that the interval crossing t2 will be returned no matter what,
which is consistent with range queries with no resolution.
Signed-off-by: Alexandre Montplaisir <alexmonthy@voxpopuli.im>
intervals.add(currentInterval);
}
+
+ /* Add the interval at t2, if it wasn't included already. */
+ if (currentInterval.getEndTime() < t2 &&
+ t2 <= this.getCurrentEndTime()) {
+ currentInterval = querySingleState(t2, attributeQuark);
+ intervals.add(currentInterval);
+ }
return intervals;
}