2022-12-15 13:41:19 +01:00
|
|
|
open Pdfutil
|
|
|
|
|
2022-12-22 17:20:00 +01:00
|
|
|
type colspec =
|
2022-12-15 13:41:19 +01:00
|
|
|
NoCol
|
|
|
|
| RGB of float * float * float
|
|
|
|
| Grey of float
|
|
|
|
| CYMK of float * float * float * float
|
|
|
|
|
2022-12-22 17:20:00 +01:00
|
|
|
type image =
|
|
|
|
JPEG
|
|
|
|
|
2022-12-15 13:41:19 +01:00
|
|
|
type drawops =
|
2022-12-21 17:09:04 +01:00
|
|
|
| Rect of float * float * float * float
|
|
|
|
| Bezier of float * float * float * float * float * float
|
2022-12-15 13:41:19 +01:00
|
|
|
| To of float * float
|
|
|
|
| Line of float * float
|
2022-12-16 14:13:55 +01:00
|
|
|
| ClosePath
|
2022-12-22 17:20:00 +01:00
|
|
|
| SetFill of colspec
|
|
|
|
| SetStroke of colspec
|
2022-12-15 15:20:41 +01:00
|
|
|
| SetLineThickness of float
|
|
|
|
| SetLineCap of int
|
|
|
|
| SetLineJoin of int
|
|
|
|
| SetMiterLimit of float
|
|
|
|
| SetDashPattern of float list * float
|
2022-12-16 13:13:38 +01:00
|
|
|
| Matrix of Pdftransform.transform_matrix
|
|
|
|
| Push
|
|
|
|
| Pop
|
2022-12-16 14:13:55 +01:00
|
|
|
| Fill
|
|
|
|
| FillEvenOdd
|
|
|
|
| Stroke
|
|
|
|
| FillStroke
|
|
|
|
| FillStrokeEvenOdd
|
2022-12-21 17:40:13 +01:00
|
|
|
| Clip
|
|
|
|
| ClipEvenOdd
|
2022-12-16 17:49:59 +01:00
|
|
|
| SoftXObject of drawops list
|
|
|
|
| HardXObject of drawops list
|
2022-12-22 17:20:00 +01:00
|
|
|
| Image of string
|
2022-12-22 21:42:55 +01:00
|
|
|
| ImageXObject of string * Pdf.pdfobject
|
2022-12-22 17:20:00 +01:00
|
|
|
|
2022-12-22 21:42:55 +01:00
|
|
|
(* Hash table of (human name, (resources name, object)) for image xobjects *)
|
2022-12-22 17:20:00 +01:00
|
|
|
let images = null_hash ()
|
|
|
|
|
|
|
|
(* Fresh XObject names. If we are stamping over another page, manage clashes later. *)
|
|
|
|
let fresh_xobj_name () = "/Img0"
|
2022-12-16 13:13:38 +01:00
|
|
|
|
2022-12-22 21:42:55 +01:00
|
|
|
let rec ops_of_drawop pdf = function
|
2022-12-16 14:13:55 +01:00
|
|
|
| Push -> [Pdfops.Op_q]
|
|
|
|
| Pop -> [Pdfops.Op_Q]
|
2022-12-16 13:13:38 +01:00
|
|
|
| Matrix m -> [Pdfops.Op_cm m]
|
2022-12-15 13:41:19 +01:00
|
|
|
| Rect (x, y, w, h) -> [Pdfops.Op_re (x, y, w, h)]
|
2022-12-21 17:09:04 +01:00
|
|
|
| Bezier (a, b, c, d, e, f) -> [Pdfops.Op_c (a, b, c, d, e, f)]
|
2022-12-15 13:41:19 +01:00
|
|
|
| To (x, y) -> [Pdfops.Op_m (x, y)]
|
|
|
|
| Line (x, y) -> [Pdfops.Op_l (x, y)]
|
2022-12-16 14:13:55 +01:00
|
|
|
| SetFill x ->
|
2022-12-15 13:41:19 +01:00
|
|
|
begin match x with
|
|
|
|
| RGB (r, g, b) -> [Op_rg (r, g, b)]
|
|
|
|
| Grey g -> [Op_g g]
|
|
|
|
| CYMK (c, y, m, k) -> [Op_k (c, y, m, k)]
|
|
|
|
| NoCol -> []
|
|
|
|
end
|
2022-12-16 14:13:55 +01:00
|
|
|
| SetStroke x ->
|
2022-12-15 13:41:19 +01:00
|
|
|
begin match x with
|
|
|
|
| RGB (r, g, b) -> [Op_RG (r, g, b)]
|
|
|
|
| Grey g -> [Op_G g]
|
|
|
|
| CYMK (c, y, m, k) -> [Op_K (c, y, m, k)]
|
|
|
|
| NoCol -> []
|
|
|
|
end
|
2022-12-16 14:13:55 +01:00
|
|
|
| ClosePath
|
|
|
|
| Fill -> [Pdfops.Op_f]
|
|
|
|
| FillEvenOdd -> [Pdfops.Op_f']
|
|
|
|
| Stroke -> [Pdfops.Op_S]
|
|
|
|
| FillStroke -> [Pdfops.Op_B]
|
|
|
|
| FillStrokeEvenOdd -> [Pdfops.Op_B']
|
2022-12-21 17:40:13 +01:00
|
|
|
| Clip -> [Pdfops.Op_W; Pdfops.Op_n]
|
|
|
|
| ClipEvenOdd -> [Pdfops.Op_W']
|
|
|
|
| SetLineThickness t -> [Pdfops.Op_w t; Pdfops.Op_n]
|
2022-12-16 14:13:55 +01:00
|
|
|
| SetLineCap c -> [Pdfops.Op_J c]
|
|
|
|
| SetLineJoin j -> [Pdfops.Op_j j]
|
|
|
|
| SetMiterLimit m -> [Pdfops.Op_M m]
|
|
|
|
| SetDashPattern (x, y) -> [Pdfops.Op_d (x, y)]
|
2022-12-16 17:49:59 +01:00
|
|
|
| SoftXObject l | HardXObject l ->
|
2022-12-22 21:42:55 +01:00
|
|
|
[Pdfops.Op_q] @ ops_of_drawops pdf l @ [Pdfops.Op_Q]
|
2022-12-22 17:20:00 +01:00
|
|
|
| Image s -> [Pdfops.Op_Do (try fst (Hashtbl.find images s) with _ -> Cpdferror.error ("Image not found: " ^ s))]
|
2022-12-22 21:42:55 +01:00
|
|
|
| ImageXObject (s, obj) ->
|
|
|
|
Hashtbl.add images s (fresh_xobj_name (), Pdf.addobj pdf obj);
|
2022-12-22 17:20:00 +01:00
|
|
|
[]
|
2022-12-15 13:41:19 +01:00
|
|
|
|
2022-12-22 21:42:55 +01:00
|
|
|
and ops_of_drawops pdf drawops =
|
|
|
|
flatten (map (ops_of_drawop pdf) drawops)
|
2022-12-15 13:41:19 +01:00
|
|
|
|
2022-12-22 21:42:55 +01:00
|
|
|
(* Draw all the accumulated operators. FIXME: Manage name clashes in Xobjects *)
|
2022-12-15 13:41:19 +01:00
|
|
|
let draw fast range pdf drawops =
|
2022-12-22 21:42:55 +01:00
|
|
|
let s = Pdfops.string_of_ops (ops_of_drawops pdf drawops) in
|
|
|
|
let pdf = Cpdftweak.append_page_content s false fast range pdf in
|
|
|
|
let images = list_of_hashtbl images in
|
|
|
|
let resources = map (fun (_, (n, o)) -> (n, Pdf.Indirect o)) images in
|
|
|
|
match images with [] -> pdf | _ ->
|
|
|
|
let pages = Pdfpage.pages_of_pagetree pdf in
|
|
|
|
let pages =
|
|
|
|
map
|
|
|
|
(fun p ->
|
|
|
|
let new_resources =
|
|
|
|
let existing =
|
|
|
|
begin match Pdf.lookup_direct pdf "/XObject" p.Pdfpage.resources with
|
|
|
|
| Some (Pdf.Dictionary d) -> d
|
|
|
|
| _ -> []
|
|
|
|
end
|
|
|
|
in
|
|
|
|
let new_xobjects = fold_right (fun (k, v) d -> add k v d) resources existing in
|
|
|
|
Pdf.add_dict_entry p.Pdfpage.resources "/XObject" (Pdf.Dictionary new_xobjects)
|
|
|
|
in
|
|
|
|
{p with resources = new_resources})
|
|
|
|
pages
|
|
|
|
in
|
|
|
|
Pdfpage.change_pages true pdf pages
|