com.partnersoft.v3x.apps.MapBrowser
Class BrowserRenderedScale

java.lang.Object
  com.partnersoft.v3x.apps.MapBrowser.BrowserRenderedScale

All Implemented Interfaces:

java.io.Serializable

public class BrowserRenderedScale
extends java.lang.Object
implements java.io.Serializable

A browseable rendered scale; this provides a layer of indirection to allow raster scaling and other nonsense.

See Also:

Serialized Form

Constructor Summary

BrowserRenderedScale()

Method Summary

int	getScalingFactor()
int	getSourceIndex() Index of the source RenderedScale used to get the images.
int	scalePixelDimension(int dimension) Scales the given dimension (presumably a pixel width or height or something)
Scale	scaleScale(Scale scaley) Scales the given scale.
void	setScalingFactor(int newScalingFactor) Factor used to scale the images before displaying.
void	setSourceIndex(int newSourceIndex) Index of the source RenderedScale used to get the images.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BrowserRenderedScale

public BrowserRenderedScale()

Method Detail

scalePixelDimension

public int scalePixelDimension(int dimension)

Scales the given dimension (presumably a pixel width or height or something)

scaleScale

public Scale scaleScale(Scale scaley)

Scales the given scale.

getSourceIndex

public int getSourceIndex()

Index of the source RenderedScale used to get the images. A browser presumably yanks the actual RenderedScale from a RenderedImageStore. Often you might have two or more BrowserRenderedScales which use the same RenderedScale index.

setSourceIndex

public void setSourceIndex(int newSourceIndex)

Index of the source RenderedScale used to get the images. A browser presumably yanks the actual RenderedScale from a RenderedImageStore. Often you might have two or more BrowserRenderedScales which use the same RenderedScale index.

getScalingFactor

public int getScalingFactor()

setScalingFactor

public void setScalingFactor(int newScalingFactor)

Factor used to scale the images before displaying. If positive, the image is multiplied (both in x and y) by this factor. If negative, the image is divided by this factor.

Default value is +1, which corresponds to no scaling. Attempting to set it to zero results in this default.