2023-03-28 05:13:48 +02:00
|
|
|
import { Store, UIEventSource } from "../UIEventSource"
|
2021-09-21 02:10:42 +02:00
|
|
|
import FilteredLayer from "../../Models/FilteredLayer"
|
2021-09-28 17:30:48 +02:00
|
|
|
import { BBox } from "../BBox"
|
2023-03-23 01:42:47 +01:00
|
|
|
import { Feature } from "geojson"
|
2021-01-03 00:19:42 +01:00
|
|
|
|
2023-04-06 01:33:08 +02:00
|
|
|
export interface FeatureSource {
|
2023-03-23 01:42:47 +01:00
|
|
|
features: Store<Feature[]>
|
2021-07-16 01:42:09 +02:00
|
|
|
}
|
2023-03-28 05:13:48 +02:00
|
|
|
export interface WritableFeatureSource extends FeatureSource {
|
|
|
|
features: UIEventSource<Feature[]>
|
|
|
|
}
|
2021-07-16 01:42:09 +02:00
|
|
|
|
2021-09-21 02:10:42 +02:00
|
|
|
export interface Tiled {
|
|
|
|
tileIndex: number
|
|
|
|
bbox: BBox
|
|
|
|
}
|
2021-09-09 00:05:51 +02:00
|
|
|
|
2021-09-21 02:10:42 +02:00
|
|
|
/**
|
|
|
|
* A feature source which only contains features for the defined layer
|
|
|
|
*/
|
2021-11-07 16:34:51 +01:00
|
|
|
export interface FeatureSourceForLayer extends FeatureSource {
|
2021-09-21 02:10:42 +02:00
|
|
|
readonly layer: FilteredLayer
|
|
|
|
}
|
2021-07-16 01:42:09 +02:00
|
|
|
|
2021-09-21 02:10:42 +02:00
|
|
|
/**
|
|
|
|
* A feature source which is aware of the indexes it contains
|
|
|
|
*/
|
|
|
|
export interface IndexedFeatureSource extends FeatureSource {
|
2023-03-26 05:58:28 +02:00
|
|
|
readonly featuresById: Store<Map<string, Feature>>
|
2021-09-21 02:10:42 +02:00
|
|
|
}
|