1 /*
2 * Copyright (c) 1997, 2007, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22 * or visit www.oracle.com if you need additional information or have any
640 * or if data buffer has not enough capacity.
641 */
642 protected final void verify() {
643 /* Need to re-verify the dimensions since a sample model may be
644 * specified to the constructor
645 */
646 if (width <= 0 || height <= 0 ||
647 height > (Integer.MAX_VALUE / width))
648 {
649 throw new RasterFormatException("Invalid raster dimension");
650 }
651
652 if (dataOffsets[0] < 0) {
653 throw new RasterFormatException("Data offset ("+dataOffsets[0]+
654 ") must be >= 0");
655 }
656
657 // we can be sure that width and height are greater than 0
658 if (scanlineStride < 0 ||
659 scanlineStride > (Integer.MAX_VALUE / height) ||
660 scanlineStride > data.length)
661 {
662 // integer overflow
663 throw new RasterFormatException("Incorrect scanline stride: "
664 + scanlineStride);
665 }
666 int lastScanOffset = (height - 1) * scanlineStride;
667
668 if (pixelStride < 0 ||
669 pixelStride > (Integer.MAX_VALUE / width) ||
670 pixelStride > data.length)
671 {
672 // integer overflow
673 throw new RasterFormatException("Incorrect pixel stride: "
674 + pixelStride);
675 }
676 int lastPixelOffset = (width - 1) * pixelStride;
677
678 if (lastPixelOffset > (Integer.MAX_VALUE - lastScanOffset)) {
679 // integer overflow
680 throw new RasterFormatException("Incorrect raster attributes");
|
1 /*
2 * Copyright (c) 1997, 2014, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22 * or visit www.oracle.com if you need additional information or have any
640 * or if data buffer has not enough capacity.
641 */
642 protected final void verify() {
643 /* Need to re-verify the dimensions since a sample model may be
644 * specified to the constructor
645 */
646 if (width <= 0 || height <= 0 ||
647 height > (Integer.MAX_VALUE / width))
648 {
649 throw new RasterFormatException("Invalid raster dimension");
650 }
651
652 if (dataOffsets[0] < 0) {
653 throw new RasterFormatException("Data offset ("+dataOffsets[0]+
654 ") must be >= 0");
655 }
656
657 // we can be sure that width and height are greater than 0
658 if (scanlineStride < 0 ||
659 scanlineStride > (Integer.MAX_VALUE / height) ||
660 (height > 1 && scanlineStride > data.length))
661 {
662 // integer overflow
663 throw new RasterFormatException("Incorrect scanline stride: "
664 + scanlineStride);
665 }
666 int lastScanOffset = (height - 1) * scanlineStride;
667
668 if (pixelStride < 0 ||
669 pixelStride > (Integer.MAX_VALUE / width) ||
670 pixelStride > data.length)
671 {
672 // integer overflow
673 throw new RasterFormatException("Incorrect pixel stride: "
674 + pixelStride);
675 }
676 int lastPixelOffset = (width - 1) * pixelStride;
677
678 if (lastPixelOffset > (Integer.MAX_VALUE - lastScanOffset)) {
679 // integer overflow
680 throw new RasterFormatException("Incorrect raster attributes");
|