StackGenVis: Alignment of Data, Algorithms, and Models for Stacking Ensemble Learning Using Performance Metrics
https://doi.org/10.1109/TVCG.2020.3030352
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
393 lines
14 KiB
393 lines
14 KiB
|
|
import isEqual from './util/deep_equal';
|
|
|
|
const operations = {
|
|
|
|
/*
|
|
* { command: 'setStyle', args: [stylesheet] }
|
|
*/
|
|
setStyle: 'setStyle',
|
|
|
|
/*
|
|
* { command: 'addLayer', args: [layer, 'beforeLayerId'] }
|
|
*/
|
|
addLayer: 'addLayer',
|
|
|
|
/*
|
|
* { command: 'removeLayer', args: ['layerId'] }
|
|
*/
|
|
removeLayer: 'removeLayer',
|
|
|
|
/*
|
|
* { command: 'setPaintProperty', args: ['layerId', 'prop', value] }
|
|
*/
|
|
setPaintProperty: 'setPaintProperty',
|
|
|
|
/*
|
|
* { command: 'setLayoutProperty', args: ['layerId', 'prop', value] }
|
|
*/
|
|
setLayoutProperty: 'setLayoutProperty',
|
|
|
|
/*
|
|
* { command: 'setFilter', args: ['layerId', filter] }
|
|
*/
|
|
setFilter: 'setFilter',
|
|
|
|
/*
|
|
* { command: 'addSource', args: ['sourceId', source] }
|
|
*/
|
|
addSource: 'addSource',
|
|
|
|
/*
|
|
* { command: 'removeSource', args: ['sourceId'] }
|
|
*/
|
|
removeSource: 'removeSource',
|
|
|
|
/*
|
|
* { command: 'setGeoJSONSourceData', args: ['sourceId', data] }
|
|
*/
|
|
setGeoJSONSourceData: 'setGeoJSONSourceData',
|
|
|
|
/*
|
|
* { command: 'setLayerZoomRange', args: ['layerId', 0, 22] }
|
|
*/
|
|
setLayerZoomRange: 'setLayerZoomRange',
|
|
|
|
/*
|
|
* { command: 'setLayerProperty', args: ['layerId', 'prop', value] }
|
|
*/
|
|
setLayerProperty: 'setLayerProperty',
|
|
|
|
/*
|
|
* { command: 'setCenter', args: [[lon, lat]] }
|
|
*/
|
|
setCenter: 'setCenter',
|
|
|
|
/*
|
|
* { command: 'setZoom', args: [zoom] }
|
|
*/
|
|
setZoom: 'setZoom',
|
|
|
|
/*
|
|
* { command: 'setBearing', args: [bearing] }
|
|
*/
|
|
setBearing: 'setBearing',
|
|
|
|
/*
|
|
* { command: 'setPitch', args: [pitch] }
|
|
*/
|
|
setPitch: 'setPitch',
|
|
|
|
/*
|
|
* { command: 'setSprite', args: ['spriteUrl'] }
|
|
*/
|
|
setSprite: 'setSprite',
|
|
|
|
/*
|
|
* { command: 'setGlyphs', args: ['glyphsUrl'] }
|
|
*/
|
|
setGlyphs: 'setGlyphs',
|
|
|
|
/*
|
|
* { command: 'setTransition', args: [transition] }
|
|
*/
|
|
setTransition: 'setTransition',
|
|
|
|
/*
|
|
* { command: 'setLighting', args: [lightProperties] }
|
|
*/
|
|
setLight: 'setLight'
|
|
|
|
};
|
|
|
|
function addSource(sourceId, after, commands) {
|
|
commands.push({ command: operations.addSource, args: [sourceId, after[sourceId]] });
|
|
}
|
|
|
|
function removeSource(sourceId, commands, sourcesRemoved) {
|
|
commands.push({ command: operations.removeSource, args: [sourceId] });
|
|
sourcesRemoved[sourceId] = true;
|
|
}
|
|
|
|
function updateSource(sourceId, after, commands, sourcesRemoved) {
|
|
removeSource(sourceId, commands, sourcesRemoved);
|
|
addSource(sourceId, after, commands);
|
|
}
|
|
|
|
function canUpdateGeoJSON(before, after, sourceId) {
|
|
let prop;
|
|
for (prop in before[sourceId]) {
|
|
if (!before[sourceId].hasOwnProperty(prop)) continue;
|
|
if (prop !== 'data' && !isEqual(before[sourceId][prop], after[sourceId][prop])) {
|
|
return false;
|
|
}
|
|
}
|
|
for (prop in after[sourceId]) {
|
|
if (!after[sourceId].hasOwnProperty(prop)) continue;
|
|
if (prop !== 'data' && !isEqual(before[sourceId][prop], after[sourceId][prop])) {
|
|
return false;
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
|
|
function diffSources(before, after, commands, sourcesRemoved) {
|
|
before = before || {};
|
|
after = after || {};
|
|
|
|
let sourceId;
|
|
|
|
// look for sources to remove
|
|
for (sourceId in before) {
|
|
if (!before.hasOwnProperty(sourceId)) continue;
|
|
if (!after.hasOwnProperty(sourceId)) {
|
|
removeSource(sourceId, commands, sourcesRemoved);
|
|
}
|
|
}
|
|
|
|
// look for sources to add/update
|
|
for (sourceId in after) {
|
|
if (!after.hasOwnProperty(sourceId)) continue;
|
|
if (!before.hasOwnProperty(sourceId)) {
|
|
addSource(sourceId, after, commands);
|
|
} else if (!isEqual(before[sourceId], after[sourceId])) {
|
|
if (before[sourceId].type === 'geojson' && after[sourceId].type === 'geojson' && canUpdateGeoJSON(before, after, sourceId)) {
|
|
commands.push({ command: operations.setGeoJSONSourceData, args: [sourceId, after[sourceId].data] });
|
|
} else {
|
|
// no update command, must remove then add
|
|
updateSource(sourceId, after, commands, sourcesRemoved);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
function diffLayerPropertyChanges(before, after, commands, layerId, klass, command) {
|
|
before = before || {};
|
|
after = after || {};
|
|
|
|
let prop;
|
|
|
|
for (prop in before) {
|
|
if (!before.hasOwnProperty(prop)) continue;
|
|
if (!isEqual(before[prop], after[prop])) {
|
|
commands.push({ command, args: [layerId, prop, after[prop], klass] });
|
|
}
|
|
}
|
|
for (prop in after) {
|
|
if (!after.hasOwnProperty(prop) || before.hasOwnProperty(prop)) continue;
|
|
if (!isEqual(before[prop], after[prop])) {
|
|
commands.push({ command, args: [layerId, prop, after[prop], klass] });
|
|
}
|
|
}
|
|
}
|
|
|
|
function pluckId(layer) {
|
|
return layer.id;
|
|
}
|
|
function indexById(group, layer) {
|
|
group[layer.id] = layer;
|
|
return group;
|
|
}
|
|
|
|
function diffLayers(before, after, commands) {
|
|
before = before || [];
|
|
after = after || [];
|
|
|
|
// order of layers by id
|
|
const beforeOrder = before.map(pluckId);
|
|
const afterOrder = after.map(pluckId);
|
|
|
|
// index of layer by id
|
|
const beforeIndex = before.reduce(indexById, {});
|
|
const afterIndex = after.reduce(indexById, {});
|
|
|
|
// track order of layers as if they have been mutated
|
|
const tracker = beforeOrder.slice();
|
|
|
|
// layers that have been added do not need to be diffed
|
|
const clean = Object.create(null);
|
|
|
|
let i, d, layerId, beforeLayer, afterLayer, insertBeforeLayerId, prop;
|
|
|
|
// remove layers
|
|
for (i = 0, d = 0; i < beforeOrder.length; i++) {
|
|
layerId = beforeOrder[i];
|
|
if (!afterIndex.hasOwnProperty(layerId)) {
|
|
commands.push({ command: operations.removeLayer, args: [layerId] });
|
|
tracker.splice(tracker.indexOf(layerId, d), 1);
|
|
} else {
|
|
// limit where in tracker we need to look for a match
|
|
d++;
|
|
}
|
|
}
|
|
|
|
// add/reorder layers
|
|
for (i = 0, d = 0; i < afterOrder.length; i++) {
|
|
// work backwards as insert is before an existing layer
|
|
layerId = afterOrder[afterOrder.length - 1 - i];
|
|
|
|
if (tracker[tracker.length - 1 - i] === layerId) continue;
|
|
|
|
if (beforeIndex.hasOwnProperty(layerId)) {
|
|
// remove the layer before we insert at the correct position
|
|
commands.push({ command: operations.removeLayer, args: [layerId] });
|
|
tracker.splice(tracker.lastIndexOf(layerId, tracker.length - d), 1);
|
|
} else {
|
|
// limit where in tracker we need to look for a match
|
|
d++;
|
|
}
|
|
|
|
// add layer at correct position
|
|
insertBeforeLayerId = tracker[tracker.length - i];
|
|
commands.push({ command: operations.addLayer, args: [afterIndex[layerId], insertBeforeLayerId] });
|
|
tracker.splice(tracker.length - i, 0, layerId);
|
|
clean[layerId] = true;
|
|
}
|
|
|
|
// update layers
|
|
for (i = 0; i < afterOrder.length; i++) {
|
|
layerId = afterOrder[i];
|
|
beforeLayer = beforeIndex[layerId];
|
|
afterLayer = afterIndex[layerId];
|
|
|
|
// no need to update if previously added (new or moved)
|
|
if (clean[layerId] || isEqual(beforeLayer, afterLayer)) continue;
|
|
|
|
// If source, source-layer, or type have changes, then remove the layer
|
|
// and add it back 'from scratch'.
|
|
if (!isEqual(beforeLayer.source, afterLayer.source) || !isEqual(beforeLayer['source-layer'], afterLayer['source-layer']) || !isEqual(beforeLayer.type, afterLayer.type)) {
|
|
commands.push({ command: operations.removeLayer, args: [layerId] });
|
|
// we add the layer back at the same position it was already in, so
|
|
// there's no need to update the `tracker`
|
|
insertBeforeLayerId = tracker[tracker.lastIndexOf(layerId) + 1];
|
|
commands.push({ command: operations.addLayer, args: [afterLayer, insertBeforeLayerId] });
|
|
continue;
|
|
}
|
|
|
|
// layout, paint, filter, minzoom, maxzoom
|
|
diffLayerPropertyChanges(beforeLayer.layout, afterLayer.layout, commands, layerId, null, operations.setLayoutProperty);
|
|
diffLayerPropertyChanges(beforeLayer.paint, afterLayer.paint, commands, layerId, null, operations.setPaintProperty);
|
|
if (!isEqual(beforeLayer.filter, afterLayer.filter)) {
|
|
commands.push({ command: operations.setFilter, args: [layerId, afterLayer.filter] });
|
|
}
|
|
if (!isEqual(beforeLayer.minzoom, afterLayer.minzoom) || !isEqual(beforeLayer.maxzoom, afterLayer.maxzoom)) {
|
|
commands.push({ command: operations.setLayerZoomRange, args: [layerId, afterLayer.minzoom, afterLayer.maxzoom] });
|
|
}
|
|
|
|
// handle all other layer props, including paint.*
|
|
for (prop in beforeLayer) {
|
|
if (!beforeLayer.hasOwnProperty(prop)) continue;
|
|
if (prop === 'layout' || prop === 'paint' || prop === 'filter' ||
|
|
prop === 'metadata' || prop === 'minzoom' || prop === 'maxzoom') continue;
|
|
if (prop.indexOf('paint.') === 0) {
|
|
diffLayerPropertyChanges(beforeLayer[prop], afterLayer[prop], commands, layerId, prop.slice(6), operations.setPaintProperty);
|
|
} else if (!isEqual(beforeLayer[prop], afterLayer[prop])) {
|
|
commands.push({ command: operations.setLayerProperty, args: [layerId, prop, afterLayer[prop]] });
|
|
}
|
|
}
|
|
for (prop in afterLayer) {
|
|
if (!afterLayer.hasOwnProperty(prop) || beforeLayer.hasOwnProperty(prop)) continue;
|
|
if (prop === 'layout' || prop === 'paint' || prop === 'filter' ||
|
|
prop === 'metadata' || prop === 'minzoom' || prop === 'maxzoom') continue;
|
|
if (prop.indexOf('paint.') === 0) {
|
|
diffLayerPropertyChanges(beforeLayer[prop], afterLayer[prop], commands, layerId, prop.slice(6), operations.setPaintProperty);
|
|
} else if (!isEqual(beforeLayer[prop], afterLayer[prop])) {
|
|
commands.push({ command: operations.setLayerProperty, args: [layerId, prop, afterLayer[prop]] });
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Diff two stylesheet
|
|
*
|
|
* Creates semanticly aware diffs that can easily be applied at runtime.
|
|
* Operations produced by the diff closely resemble the mapbox-gl-js API. Any
|
|
* error creating the diff will fall back to the 'setStyle' operation.
|
|
*
|
|
* Example diff:
|
|
* [
|
|
* { command: 'setConstant', args: ['@water', '#0000FF'] },
|
|
* { command: 'setPaintProperty', args: ['background', 'background-color', 'black'] }
|
|
* ]
|
|
*
|
|
* @private
|
|
* @param {*} [before] stylesheet to compare from
|
|
* @param {*} after stylesheet to compare to
|
|
* @returns Array list of changes
|
|
*/
|
|
function diffStyles(before, after) {
|
|
if (!before) return [{ command: operations.setStyle, args: [after] }];
|
|
|
|
let commands = [];
|
|
|
|
try {
|
|
// Handle changes to top-level properties
|
|
if (!isEqual(before.version, after.version)) {
|
|
return [{ command: operations.setStyle, args: [after] }];
|
|
}
|
|
if (!isEqual(before.center, after.center)) {
|
|
commands.push({ command: operations.setCenter, args: [after.center] });
|
|
}
|
|
if (!isEqual(before.zoom, after.zoom)) {
|
|
commands.push({ command: operations.setZoom, args: [after.zoom] });
|
|
}
|
|
if (!isEqual(before.bearing, after.bearing)) {
|
|
commands.push({ command: operations.setBearing, args: [after.bearing] });
|
|
}
|
|
if (!isEqual(before.pitch, after.pitch)) {
|
|
commands.push({ command: operations.setPitch, args: [after.pitch] });
|
|
}
|
|
if (!isEqual(before.sprite, after.sprite)) {
|
|
commands.push({ command: operations.setSprite, args: [after.sprite] });
|
|
}
|
|
if (!isEqual(before.glyphs, after.glyphs)) {
|
|
commands.push({ command: operations.setGlyphs, args: [after.glyphs] });
|
|
}
|
|
if (!isEqual(before.transition, after.transition)) {
|
|
commands.push({ command: operations.setTransition, args: [after.transition] });
|
|
}
|
|
if (!isEqual(before.light, after.light)) {
|
|
commands.push({ command: operations.setLight, args: [after.light] });
|
|
}
|
|
|
|
// Handle changes to `sources`
|
|
// If a source is to be removed, we also--before the removeSource
|
|
// command--need to remove all the style layers that depend on it.
|
|
const sourcesRemoved = {};
|
|
|
|
// First collect the {add,remove}Source commands
|
|
const removeOrAddSourceCommands = [];
|
|
diffSources(before.sources, after.sources, removeOrAddSourceCommands, sourcesRemoved);
|
|
|
|
// Push a removeLayer command for each style layer that depends on a
|
|
// source that's being removed.
|
|
// Also, exclude any such layers them from the input to `diffLayers`
|
|
// below, so that diffLayers produces the appropriate `addLayers`
|
|
// command
|
|
const beforeLayers = [];
|
|
if (before.layers) {
|
|
before.layers.forEach((layer) => {
|
|
if (sourcesRemoved[layer.source]) {
|
|
commands.push({ command: operations.removeLayer, args: [layer.id] });
|
|
} else {
|
|
beforeLayers.push(layer);
|
|
}
|
|
});
|
|
}
|
|
commands = commands.concat(removeOrAddSourceCommands);
|
|
|
|
// Handle changes to `layers`
|
|
diffLayers(beforeLayers, after.layers, commands);
|
|
|
|
} catch (e) {
|
|
// fall back to setStyle
|
|
console.warn('Unable to compute style diff:', e);
|
|
commands = [{ command: operations.setStyle, args: [after] }];
|
|
}
|
|
|
|
return commands;
|
|
}
|
|
|
|
export default diffStyles;
|
|
export { operations };
|
|
|