2024-03-20 21:24:44 +01:00
|
|
|
open Pdfutil
|
|
|
|
open Pdfio
|
2024-03-22 16:24:48 +01:00
|
|
|
open Cpdferror
|
2024-03-20 21:24:44 +01:00
|
|
|
|
2024-03-22 16:24:48 +01:00
|
|
|
let read_word i =
|
|
|
|
let a = i32ofi (i.input_byte ()) in
|
|
|
|
let b = i32ofi (i.input_byte ()) in
|
|
|
|
let c = i32ofi (i.input_byte ()) in
|
|
|
|
let d = i32ofi (i.input_byte ()) in
|
|
|
|
lor32 (lor32 (lor32 (lsl32 a 24) (lsl32 b 16)) (lsl32 c 8)) d
|
|
|
|
|
|
|
|
exception Answer of int * int
|
|
|
|
|
|
|
|
let id_IMAGE_HEADER_BOX = 0x69686472l (* ihdr *)
|
|
|
|
|
|
|
|
(* Return the width and height of a JPEG2000 (.jp2 or .jpx) image. *)
|
|
|
|
let jpeg2000_dimensions_inner bs =
|
|
|
|
let i = Pdfio.input_of_bytes bs in
|
|
|
|
let a = read_word i in
|
|
|
|
let b = read_word i in
|
|
|
|
let c = read_word i in
|
|
|
|
if a <> 0x0000000cl || b <> 0x6a502020l || c <> 0x0d0a870al then
|
|
|
|
Cpdferror.error "bad JPEG2000 header"
|
|
|
|
else
|
|
|
|
while true do
|
|
|
|
let box = read_word i in
|
|
|
|
if box = id_IMAGE_HEADER_BOX then
|
|
|
|
begin
|
|
|
|
let h = read_word i in
|
|
|
|
let w = read_word i in
|
|
|
|
raise (Answer (i32toi w, i32toi h))
|
|
|
|
end;
|
|
|
|
(* Read words starting at each byte until we find ihdr. *)
|
|
|
|
i.seek_in (i.pos_in () - 3)
|
|
|
|
done
|
|
|
|
|
|
|
|
let jpeg2000_dimensions bs =
|
|
|
|
try jpeg2000_dimensions_inner bs; (0, 0) with
|
|
|
|
| Answer (w, h) -> (w, h)
|
|
|
|
| Exit -> error "could not determine JPEG2000 dimensions"
|