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); }