Enable filter by ID instead of time

Filtering by time is too cumbersome (because time values are so large),
so we give each event record an ID and filter by that instead in
in the earliest and latest modules.

1 files changed, 7 insertions, 0 deletions

diff --git a/unit_trace/trace_reader.py b/unit_trace/trace_reader.py
index 3cbce17..5cfbbe3 100644
--- a/unit_trace/trace_reader.py
+++ b/unit_trace/trace_reader.py
@@ -75,6 +75,9 @@ def trace_reader(files):
     # fatally if they are not.
     last_time = None
 
+    # We want to give records ID numbers so users can filter by ID
+    id = 0
+
     # Keep pulling records as long as we have a buffer
     while len(file_iter_buff) > 0:
 
@@ -109,6 +112,10 @@ def trace_reader(files):
         else:
             last_time = earliest.when
 
+        # Give the record an id number
+        id += 1
+        earliest.id = id
+
         # Yield the record
         yield earliest