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
| import Map from 'ol/Map.js'; import View from 'ol/View.js'; import {Image as ImageLayer, Tile as TileLayer} from 'ol/layer.js'; import {Raster as RasterSource, XYZ} from 'ol/source.js'; import {fromLonLat} from 'ol/proj.js';
function flood(pixels, data) { const pixel = pixels[0]; if (pixel[3]) { const height = -10000 + (pixel[0] * 256 * 256 + pixel[1] * 256 + pixel[2]) * 0.1; if (height <= data.level) { pixel[0] = 134; pixel[1] = 203; pixel[2] = 249; pixel[3] = 255; } else { pixel[3] = 0; } } return pixel; }
const key = 'Get your own API key at https://www.maptiler.com/cloud/'; const attributions = '<a href="https://www.maptiler.com/copyright/" target="_blank">© MapTiler</a> ' + '<a href="https://www.openstreetmap.org/copyright" target="_blank">© OpenStreetMap contributors</a>';
const elevation = new XYZ({ url: 'https://api.maptiler.com/tiles/terrain-rgb/{z}/{x}/{y}.png?key=' + key, tileSize: 512, maxZoom: 12, crossOrigin: '', interpolate: false, });
const raster = new RasterSource({ sources: [elevation], operation: flood, });
const map = new Map({ target: 'map', layers: [ new TileLayer({ source: new XYZ({ attributions: attributions, url: 'https://api.maptiler.com/maps/streets/{z}/{x}/{y}.png?key=' + key, tileSize: 512, maxZoom: 22, }), }), new ImageLayer({ opacity: 0.6, source: raster, }), ], view: new View({ center: fromLonLat([-122.3267, 37.8377]), zoom: 11, }), });
const control = document.getElementById('level'); const output = document.getElementById('output'); control.addEventListener('input', function () { output.innerText = control.value; raster.changed(); }); output.innerText = control.value;
raster.on('beforeoperations', function (event) { event.data.level = control.value; });
const locations = document.getElementsByClassName('location'); for (let i = 0, ii = locations.length; i < ii; ++i) { locations[i].addEventListener('click', relocate); }
function relocate(event) { const data = event.target.dataset; const view = map.getView(); view.setCenter(fromLonLat(data.center.split(',').map(Number))); view.setZoom(Number(data.zoom)); }
|