1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
|
<template>
<div class="absolute left-0 top-0 w-screen h-screen overflow-hidden flex flex-col">
<!-- Title bar -->
<div class="flex gap-2 p-2" :style="{backgroundColor: store.color.bgDark2}">
<h1 class="my-auto ml-2 text-4xl" :style="{color: store.color.altDark}">Histplorer</h1>
<div class="mx-auto"/> <!-- Spacer -->
<!-- Icons -->
<icon-button :size="45" :style="buttonStyles" @click="onTimelineAdd" title="Add a timeline">
<plus-icon/>
</icon-button>
<icon-button :size="45" :style="buttonStyles">
<settings-icon/>
</icon-button>
<icon-button :size="45" :style="buttonStyles">
<help-icon/>
</icon-button>
</div>
<!-- Content area -->
<div class="grow min-h-0 flex" :class="{'flex-col': !vert}"
:style="{backgroundColor: store.color.bg}" ref="contentAreaRef">
<time-line v-for="(state, idx) in timelines" :key="state.id"
:vert="vert" :initialState="state" :closeable="timelines.length > 1"
:eventTree="eventTree" :unitCountMaps="unitCountMaps"
class="grow basis-full min-h-0 outline outline-1"
@remove="onTimelineRemove(idx)" @state-chg="onTimelineChg($event, idx)" @event-display="onEventDisplay"/>
<base-line :vert="vert" :timelines="timelines" class='m-1 sm:m-2'/>
</div>
</div>
</template>
<script setup lang="ts">
import {ref, computed, onMounted, onUnmounted, Ref, shallowRef, ShallowRef} from 'vue';
// Components
import TimeLine from './components/TimeLine.vue';
import BaseLine from './components/BaseLine.vue';
import IconButton from './components/IconButton.vue';
// Icons
import PlusIcon from './components/icon/PlusIcon.vue';
import SettingsIcon from './components/icon/SettingsIcon.vue';
import HelpIcon from './components/icon/HelpIcon.vue';
// Other
import {timeout, HistDate, HistEvent, queryServer, EventResponseJson, jsonToHistEvent,
SCALES, TimelineState, cmpHistEvent, dateToUnit, DateRangeTree} from './lib';
import {useStore} from './store';
import {RBTree, rbtree_shallow_copy} from './rbtree';
// Refs
const contentAreaRef = ref(null as HTMLElement | null);
// Global store
const store = useStore();
// For content sizing (used to decide between horizontal and vertical mode)
const contentWidth = ref(0);
const contentHeight = ref(0);
const vert = computed(() => contentHeight.value > contentWidth.value);
function updateAreaDims(){
let contentAreaEl = contentAreaRef.value!;
contentWidth.value = contentAreaEl.offsetWidth;
contentHeight.value = contentAreaEl.offsetHeight;
}
onMounted(updateAreaDims)
// Timeline data
const timelines: Ref<TimelineState[]> = ref([]);
let nextTimelineId = 1;
function addTimeline(){
if (timelines.value.length == 0){
timelines.value.push(new TimelineState(nextTimelineId, store.initialStartDate, store.initialEndDate));
} else {
let last = timelines.value[timelines.value.length - 1];
timelines.value.push(new TimelineState(
nextTimelineId, last.startDate,
last.endDate, last.startOffset, last.endOffset, last.scaleIdx
));
}
nextTimelineId++;
}
addTimeline();
function onTimelineChg(state: TimelineState, idx: number){
timelines.value[idx] = state;
}
// For timeline addition/removal
const MIN_TIMELINE_BREADTH = store.mainlineBreadth + store.spacing * 2 + store.eventImgSz + store.eventLabelHeight;
function onTimelineAdd(){
if (vert.value && contentWidth.value / (timelines.value.length + 1) < MIN_TIMELINE_BREADTH ||
!vert.value && contentHeight.value / (timelines.value.length + 1) < MIN_TIMELINE_BREADTH){
console.log('Reached timeline minimum breadth');
return;
}
addTimeline();
}
function onTimelineRemove(idx: number){
if (timelines.value.length == 1){
console.log('Ignored removal of last timeline')
return;
}
timelines.value.splice(idx, 1);
}
// For storing and looking up events
const eventTree: ShallowRef<RBTree<HistEvent>> = shallowRef(new RBTree(cmpHistEvent));
let idToEvent: Map<number, HistEvent> = new Map();
const unitCountMaps: Ref<Map<number, number>[]> = ref(SCALES.map(() => new Map())); // For each scale, maps units to event counts
// For keeping event data under a memory limit
const EXCESS_EVENTS_THRESHOLD = 10000;
let displayedEvents: Map<number, number[]> = new Map(); // Maps TimeLine IDs to IDs of displayed events
function reduceEvents(){
// Get events to keep
let eventsToKeep: Map<number, HistEvent> = new Map();
for (let [, ids] of displayedEvents){
for (let id of ids){
eventsToKeep.set(id, idToEvent.get(id)!);
}
}
// Create new event tree
let newTree = new RBTree(cmpHistEvent);
for (let [, event] of eventsToKeep){
newTree.insert(event);
}
// Create new unit-count maps
let newMaps: Map<number, number>[] = SCALES.map(() => new Map());
for (let timeline of timelines.value){
if (timeline.scaleIdx == null){
continue;
}
// Look for units to keep
let scaleIdx: number = timeline.scaleIdx;
let startUnit = dateToUnit(timeline.startDate, SCALES[scaleIdx]);
let endUnit = dateToUnit(timeline.endDate, SCALES[scaleIdx]);
for (let [unit, count] of unitCountMaps.value[scaleIdx]){
if (unit >= startUnit && unit <= endUnit){
newMaps[scaleIdx].set(unit, count);
}
}
}
// Replace old data
eventTree.value = newTree;
unitCountMaps.value = newMaps;
idToEvent = eventsToKeep;
}
// For getting events from server
const EVENT_REQ_LIMIT = 500;
let queriedRanges: DateRangeTree[] = SCALES.map(() => new DateRangeTree());
// For each scale, holds date ranges for which data has already been queried fromm the server
let pendingReq = false; // Used to serialise event-req handling
async function onEventDisplay(
timelineId: number, eventIds: number[], firstDate: HistDate, lastDate: HistDate, scaleIdx: number){
while (pendingReq){
await timeout(100);
}
pendingReq = true;
// Skip if exhausted range
if (queriedRanges[scaleIdx].has([firstDate, lastDate])){
pendingReq = false;
return;
}
// Get events from server
let urlParams = new URLSearchParams({
type: 'events',
range: `${firstDate}.${lastDate}`,
scale: String(SCALES[scaleIdx]),
limit: String(EVENT_REQ_LIMIT),
});
let responseObj: EventResponseJson = await queryServer(urlParams);
if (responseObj == null){
pendingReq = false;
return;
}
queriedRanges[scaleIdx].add([firstDate, lastDate]);
// Collect events
let added = false;
for (let eventObj of responseObj.events){
let event = jsonToHistEvent(eventObj);
let success = eventTree.value.insert(event);
if (success){
added = true;
idToEvent.set(event.id, event);
}
}
// Collect unit counts
const unitCounts = responseObj.unitCounts;
for (let [unitStr, count] of Object.entries(unitCounts)){
let unit = parseInt(unitStr)
if (isNaN(unit)){
console.log('ERROR: Invalid non-integer unit value in server response');
break;
}
unitCountMaps.value[scaleIdx].set(unit, count)
}
// Notify components if new events were added
if (added){
eventTree.value = rbtree_shallow_copy(eventTree.value); // Note: triggerRef(eventTree) does not work here
}
// Check memory limit
displayedEvents.set(timelineId, eventIds);
if (eventTree.value.size > EXCESS_EVENTS_THRESHOLD){
reduceEvents();
queriedRanges.forEach((t: DateRangeTree) => t.clear());
}
pendingReq = false;
}
// For resize handling
let lastResizeHdlrTime = 0; // Used to throttle resize handling
let afterResizeHdlr = 0; // Used to trigger handler after ending a run of resize events
async function onResize(){
// Handle event if not recently done
let handleResize = async () => {
updateAreaDims();
};
let currentTime = new Date().getTime();
if (currentTime - lastResizeHdlrTime > 200){
lastResizeHdlrTime = currentTime;
await handleResize();
lastResizeHdlrTime = new Date().getTime();
}
// Setup a handler to execute after ending a run of resize events
clearTimeout(afterResizeHdlr);
afterResizeHdlr = window.setTimeout(async () => {
afterResizeHdlr = 0;
await handleResize();
lastResizeHdlrTime = new Date().getTime();
}, 200); // If too small, touch-device detection when swapping to/from mobile-mode gets unreliable
}
onMounted(() => window.addEventListener('resize', onResize));
onUnmounted(() => window.removeEventListener('resize', onResize));
// Styles
const buttonStyles = computed(() => ({
color: store.color.text,
backgroundColor: store.color.altDark2,
}));
</script>
|
