public class RasterDemSource extends Source
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_TILE_SIZE |
Constructor and Description |
---|
RasterDemSource(String id,
String url)
Create the raster dem source from an URL
|
RasterDemSource(String id,
String url,
int tileSize)
Create the raster source from an URL with a specific tile size
|
RasterDemSource(String id,
TileSet tileSet)
Create the raster dem source from a
TileSet |
RasterDemSource(String id,
TileSet tileSet,
int tileSize)
Create the raster source from a
TileSet with a specific tile size |
RasterDemSource(String id,
URL url)
Create the raster dem source from an URL
|
Modifier and Type | Method and Description |
---|---|
protected void |
finalize() |
String |
getUrl() |
protected void |
initialize(String layerId,
Object payload,
int tileSize) |
protected String |
nativeGetUrl() |
checkThread, getAttribution, getId, getNativePtr, nativeGetAttribution, nativeGetId
public static final int DEFAULT_TILE_SIZE
public RasterDemSource(String id, URL url)
id
- the source idurl
- the source urlpublic RasterDemSource(String id, String url)
id
- the source idurl
- the source urlpublic RasterDemSource(String id, String url, int tileSize)
id
- the source idurl
- the source urltileSize
- the tile sizepublic RasterDemSource(String id, TileSet tileSet)
TileSet
id
- the source idtileSet
- the TileSet
© 2015–2018 Mapbox. All rights reserved.