Package com.intellij.util

Class JBHiDPIScaledImage

java.lang.Object

java.awt.Image

java.awt.image.BufferedImage

com.intellij.util.JBHiDPIScaledImage

All Implemented Interfaces:

java.awt.image.RenderedImage, java.awt.image.WritableRenderedImage, java.awt.Transparency

public final class JBHiDPIScaledImage
extends java.awt.image.BufferedImage

Field Summary

Fields inherited from class java.awt.image.BufferedImage

TYPE_3BYTE_BGR, TYPE_4BYTE_ABGR, TYPE_4BYTE_ABGR_PRE, TYPE_BYTE_BINARY, TYPE_BYTE_GRAY, TYPE_BYTE_INDEXED, TYPE_CUSTOM, TYPE_INT_ARGB, TYPE_INT_ARGB_PRE, TYPE_INT_BGR, TYPE_INT_RGB, TYPE_USHORT_555_RGB, TYPE_USHORT_565_RGB, TYPE_USHORT_GRAY

Fields inherited from class java.awt.Image

accelerationPriority, SCALE_AREA_AVERAGING, SCALE_DEFAULT, SCALE_FAST, SCALE_REPLICATE, SCALE_SMOOTH, UndefinedProperty

Fields inherited from interface java.awt.Transparency

BITMASK, OPAQUE, TRANSLUCENT

Constructor Summary

Constructors

Constructor and Description
JBHiDPIScaledImage(double width, double height, int type) Creates a scaled HiDPI-aware BufferedImage, targeting the system default scale.
JBHiDPIScaledImage(java.awt.Graphics2D g, double width, double height, int type, PaintUtil.RoundingMode rm) Creates a scaled HiDPI-aware BufferedImage, targeting the graphics scale.
JBHiDPIScaledImage(java.awt.Graphics2D g, int width, int height, int type)
JBHiDPIScaledImage(java.awt.GraphicsConfiguration gc, double width, double height, int type) Creates a scaled HiDPI-aware BufferedImage, targeting the graphics config.
JBHiDPIScaledImage(java.awt.GraphicsConfiguration gc, double width, double height, int type, PaintUtil.RoundingMode rm) Creates a scaled HiDPI-aware BufferedImage, targeting the graphics config.
JBHiDPIScaledImage(java.awt.GraphicsConfiguration gc, int width, int height, int type)
JBHiDPIScaledImage(java.awt.Image image, double width, double height, int type) Creates a HiDPI-aware BufferedImage wrapper for the provided scaled raw image.
JBHiDPIScaledImage(java.awt.Image image, int width, int height, int type)
JBHiDPIScaledImage(int width, int height, int type)
JBHiDPIScaledImage(ScaleContext ctx, double width, double height, int type, PaintUtil.RoundingMode rm)

Method Summary

Modifier and Type	Method and Description
java.awt.Graphics2D	createGraphics()
java.awt.Image	getDelegate()
int	getHeight() Returns the height in user coordinate space for the image created as a wrapper, and the real height for the image created as a scaled one.
int	getHeight(java.awt.image.ImageObserver observer) Returns the height in user coordinate space for the image created as a wrapper, and the real height for the image created as a scaled one.
int	getRealHeight(java.awt.image.ImageObserver observer) Returns the real height.
int	getRealWidth(java.awt.image.ImageObserver observer) Returns the real width.
double	getScale()
int	getUserHeight(java.awt.image.ImageObserver observer) Returns the height in user coordinate space.
int	getUserWidth(java.awt.image.ImageObserver observer) Returns the width in user coordinate space.
int	getWidth() Returns the width in user coordinate space for the image created as a wrapper, and the real width for the image created as a scaled one.
int	getWidth(java.awt.image.ImageObserver observer) Returns the width in user coordinate space for the image created as a wrapper, and the real width for the image created as a scaled one.
JBHiDPIScaledImage	scale(double scaleFactor) Returns JBHiDPIScaledImage of the same structure scaled by the provided factor.
JBHiDPIScaledImage	scale(int targetUserWidth, int targetUserHeight) Returns JBHiDPIScaledImage of the same structure scaled to the provided dimensions.

Methods inherited from class java.awt.image.BufferedImage

addTileObserver, coerceData, copyData, getAlphaRaster, getColorModel, getData, getData, getGraphics, getMinTileX, getMinTileY, getMinX, getMinY, getNumXTiles, getNumYTiles, getProperty, getProperty, getPropertyNames, getRaster, getRGB, getRGB, getSampleModel, getSource, getSources, getSubimage, getTile, getTileGridXOffset, getTileGridYOffset, getTileHeight, getTileWidth, getTransparency, getType, getWritableTile, getWritableTileIndices, hasTileWriters, isAlphaPremultiplied, isTileWritable, releaseWritableTile, removeTileObserver, setData, setRGB, setRGB, toString

Methods inherited from class java.awt.Image

flush, getAccelerationPriority, getCapabilities, getScaledInstance, setAccelerationPriority

Methods inherited from class java.lang.Object

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

Constructor Detail

JBHiDPIScaledImage

public JBHiDPIScaledImage(int width,
                          int height,
                          int type)

See Also:

JBHiDPIScaledImage(double, double, int)

JBHiDPIScaledImage

public JBHiDPIScaledImage(double width,
                          double height,
                          int type)

Creates a scaled HiDPI-aware BufferedImage, targeting the system default scale.

Parameters:

width - the width in user coordinate space

height - the height in user coordinate space

type - the type

JBHiDPIScaledImage

public JBHiDPIScaledImage(java.awt.Graphics2D g,
                          int width,
                          int height,
                          int type)

See Also:

#JBHiDPIScaledImage(Graphics2D, double, double, int, RoundingMode rm)

JBHiDPIScaledImage

public JBHiDPIScaledImage(java.awt.Graphics2D g,
                          double width,
                          double height,
                          int type,
                          PaintUtil.RoundingMode rm)

Creates a scaled HiDPI-aware BufferedImage, targeting the graphics scale.

Parameters:

g - the graphics which provides the target scale

width - the width in user coordinate space

height - the height in user coordinate space

type - the type

rm - the rounding mode

JBHiDPIScaledImage

public JBHiDPIScaledImage(java.awt.GraphicsConfiguration gc,
                          int width,
                          int height,
                          int type)

See Also:

JBHiDPIScaledImage(GraphicsConfiguration, double, double, int)

JBHiDPIScaledImage

public JBHiDPIScaledImage(ScaleContext ctx,
                          double width,
                          double height,
                          int type,
                          PaintUtil.RoundingMode rm)

See Also:

JBHiDPIScaledImage(GraphicsConfiguration, double, double, int)

JBHiDPIScaledImage

public JBHiDPIScaledImage(java.awt.GraphicsConfiguration gc,
                          double width,
                          double height,
                          int type)

Creates a scaled HiDPI-aware BufferedImage, targeting the graphics config.

Parameters:

gc - the graphics config which provides the target scale

width - the width in user coordinate space

height - the height in user coordinate space

type - the type

JBHiDPIScaledImage

public JBHiDPIScaledImage(java.awt.GraphicsConfiguration gc,
                          double width,
                          double height,
                          int type,
                          PaintUtil.RoundingMode rm)

Creates a scaled HiDPI-aware BufferedImage, targeting the graphics config.

Parameters:

gc - the graphics config which provides the target scale

width - the width in user coordinate space

height - the height in user coordinate space

rm - the rounding mode to apply when converting width/height to the device space

type - the type

JBHiDPIScaledImage

public JBHiDPIScaledImage(java.awt.Image image,
                          int width,
                          int height,
                          int type)

See Also:

JBHiDPIScaledImage(Image, double, double, int)

JBHiDPIScaledImage

public JBHiDPIScaledImage(java.awt.Image image,
                          double width,
                          double height,
                          int type)

Creates a HiDPI-aware BufferedImage wrapper for the provided scaled raw image. The wrapper image will represent the scaled raw image in user coordinate space.

Parameters:

image - the scaled raw image

width - the width in user coordinate space

height - the height in user coordinate space

type - the type

Method Detail

getScale

public double getScale()

scale

public JBHiDPIScaledImage scale(double scaleFactor)

Returns JBHiDPIScaledImage of the same structure scaled by the provided factor.

Parameters:

scaleFactor - the scale factor

Returns:

scaled instance

scale

public JBHiDPIScaledImage scale(int targetUserWidth,
                                int targetUserHeight)

Returns JBHiDPIScaledImage of the same structure scaled to the provided dimensions. Dimensions are in user-space coordinates (unscaled)

Returns:

scaled instance

getDelegate

public java.awt.Image getDelegate()

getWidth

public int getWidth()

Returns the width in user coordinate space for the image created as a wrapper, and the real width for the image created as a scaled one.

Specified by:

getWidth in interface java.awt.image.RenderedImage

Overrides:

getWidth in class java.awt.image.BufferedImage

Returns:

the width

getHeight

public int getHeight()

Returns the height in user coordinate space for the image created as a wrapper, and the real height for the image created as a scaled one.

Specified by:

getHeight in interface java.awt.image.RenderedImage

Overrides:

getHeight in class java.awt.image.BufferedImage

Returns:

the height

getWidth

public int getWidth(java.awt.image.ImageObserver observer)

Returns the width in user coordinate space for the image created as a wrapper, and the real width for the image created as a scaled one.

Overrides:

getWidth in class java.awt.image.BufferedImage

Returns:

the width

getHeight

public int getHeight(java.awt.image.ImageObserver observer)

Returns the height in user coordinate space for the image created as a wrapper, and the real height for the image created as a scaled one.

Overrides:

getHeight in class java.awt.image.BufferedImage

Returns:

the height

getUserWidth

public int getUserWidth(java.awt.image.ImageObserver observer)

Returns the width in user coordinate space.

Parameters:

observer - the image observer

Returns:

the width

getUserHeight

public int getUserHeight(java.awt.image.ImageObserver observer)

Returns the height in user coordinate space.

Parameters:

observer - the image observer

Returns:

the height

getRealWidth

public int getRealWidth(java.awt.image.ImageObserver observer)

Returns the real width.

Parameters:

observer - the image observer

Returns:

the width

getRealHeight

public int getRealHeight(java.awt.image.ImageObserver observer)

Returns the real height.

Parameters:

observer - the image observer

Returns:

the height

createGraphics

public java.awt.Graphics2D createGraphics()

Overrides:

createGraphics in class java.awt.image.BufferedImage