equal
deleted
inserted
replaced
38 * |
38 * |
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 long startTime; |
44 // package private needed for efficient sorting |
44 long endTime; |
45 final long endTime; |
|
46 |
45 |
47 // package private |
46 // package private |
48 RecordedEvent(EventType type, List<ValueDescriptor> vds, Object[] values, long startTime, long endTime, TimeConverter timeConverter) { |
47 RecordedEvent(EventType type, List<ValueDescriptor> vds, Object[] values, long startTime, long endTime, TimeConverter timeConverter) { |
49 super(vds, values, timeConverter); |
48 super(vds, values, timeConverter); |
50 this.eventType = type; |
49 this.eventType = type; |