private void writeEdges(int pixels[]) {
// NOTE: There is currently no mechanism for obtaining the edge data
// in any other format other than an INT_ARGB type BufferedImage.
// This may be easily remedied by providing alternative accessors.
nonMax = new BufferedImage(width, height, BufferedImage.TYPE_INT_ARGB);
nonMax.getWritableTile(0, 0).setDataElements(0, 0, width, height, pixels);
}
