org.checkerframework.checker.signedness

Class SignednessUtilExtra

java.lang.Object

org.checkerframework.checker.signedness.SignednessUtilExtra

public class SignednessUtilExtra
extends java.lang.Object

Provides more static utility methods for unsigned values. These methods use Java packages not included in Android. SignednessUtil has more methods.

See the Checker Framework Manual:

Utility routines for manipulating unsigned values

Method Summary

Modifier and Type	Method and Description
static @Unsigned int	dimensionUnsignedHeight(java.awt.Dimension dim) Gets the unsigned height of a Dimension.
static @Unsigned int	dimensionUnsignedWidth(java.awt.Dimension dim) Gets the unsigned width of a Dimension.
static @Unsigned int[]	getUnsignedRGB(java.awt.image.BufferedImage b, int startX, int startY, int w, int h, @Unsigned int[] rgbArray, int offset, int scansize) Gets rgb of BufferedImage b as unsigned ints.
static void	setUnsignedRGB(java.awt.image.BufferedImage b, int startX, int startY, int w, int h, @Unsigned int[] rgbArray, int offset, int scansize) Sets rgb of BufferedImage b given unsigned ints.

Methods inherited from class java.lang.Object

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

Method Detail

dimensionUnsignedWidth

public static @Unsigned int dimensionUnsignedWidth(java.awt.Dimension dim)

Gets the unsigned width of a Dimension.

dimensionUnsignedHeight

public static @Unsigned int dimensionUnsignedHeight(java.awt.Dimension dim)

Gets the unsigned height of a Dimension.

setUnsignedRGB

public static void setUnsignedRGB(java.awt.image.BufferedImage b,
                                  int startX,
                                  int startY,
                                  int w,
                                  int h,
                                  @Unsigned int[] rgbArray,
                                  int offset,
                                  int scansize)

Sets rgb of BufferedImage b given unsigned ints. This method is a wrapper around setRGB(int, int, int, int, int[], int, int), but assumes that the input should be interpreted as unsigned.

getUnsignedRGB

public static @Unsigned int[] getUnsignedRGB(java.awt.image.BufferedImage b,
                                             int startX,
                                             int startY,
                                             int w,
                                             int h,
                                             @Unsigned int[] rgbArray,
                                             int offset,
                                             int scansize)

Gets rgb of BufferedImage b as unsigned ints. This method is a wrapper around getRGB(int, int, int, int, int[], int, int), but assumes that the output should be interpreted as unsigned.