equal
deleted
inserted
replaced
39 * @since 9 |
39 * @since 9 |
40 */ |
40 */ |
41 public final class RecordedEvent extends RecordedObject { |
41 public final class RecordedEvent extends RecordedObject { |
42 private final EventType eventType; |
42 private final EventType eventType; |
43 private final long startTime; |
43 private final long startTime; |
44 private final long endTime; |
44 // package private needed for efficient sorting |
|
45 final long endTime; |
45 |
46 |
46 // package private |
47 // package private |
47 RecordedEvent(EventType type, List<ValueDescriptor> vds, Object[] values, long startTime, long endTime, TimeConverter timeConverter) { |
48 RecordedEvent(EventType type, List<ValueDescriptor> vds, Object[] values, long startTime, long endTime, TimeConverter timeConverter) { |
48 super(vds, values, timeConverter); |
49 super(vds, values, timeConverter); |
49 this.eventType = type; |
50 this.eventType = type; |