util/minorview/model.py

282                 print 'TwoDColours: no event data called:', \
301                 print 'TwoDColours: no event data called:', \
340     """Decode to a 2D grid which has a single occupied row from the event
352                 print 'FrameColours: no event data called:', dataName, \
505     """Time event for a single blob"""
518         """Find instructions/lines mentioned in the blob's event
598     def add_unit_event(self, event):
599         """Add a single event to the model.  This must be an event at a
601         if event.unit in self.unitEvents:
602             events = self.unitEvents[event.unit]
603             if len(events) > 0 and events[len(events)-1].time > event.time:
604                 print "Bad event ordering"
605             events.append(event)
607         self.lastTime = max(self.lastTime, event.time)
614             for event in unitEvents:
615                 times[event.time] = 1
626         """Find an event by binary search on time indices"""
652         """Find the last event for the given unit at time <= time"""
723         """Load an event file and add everything to this model"""
725             # Add a list of comments to an existing event, if there is one at
726             #   the given time, or create a new, correctly-timed, event from
727             #   the last event and attach the comments to that
729                 event = self.find_unit_event_by_time(commentUnit, time)
730                 # Find an event to which this comment can be attached
731                 if event is None:
732                     # No older event, make a new empty one
733                     event = BlobEvent(commentUnit, time, {})
734                     self.add_unit_event(event)
735                 elif event.time != time:
736                     # Copy the old event and make a new one with the right
738                     newEvent = BlobEvent(commentUnit, time, event.pairs)
739                     newEvent.visuals = dict(event.visuals)
740                     event = newEvent
741                     self.add_unit_event(event)
742                 event.comments.append(commentRest)
746         # A negative time will *always* be different from an event time
811                     # Only insert this event if it's not the same as
812                     #   the last event we saw for this unit
814                         event = BlobEvent(unit, event_time, {})
816                         event.pairs = pairs
818                         # Try to decode the colour data for this event
822                                 event.visuals[blob.picChar] = (
825                         self.add_unit_event(event)