Source file Dtd.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
(* Claude Code
 *
 * Copyright (C) 2026 Yoann Padioleau
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Library General Public License
 * (LGPL) as published by the Free Software Foundation; either version
 * 2 of the License, or (at your option) any later version.
 *)

(* See Dtd.mli *)

type origin = Core | Netscape

let void = [ "area"; "base"; "basefont"; "br"; "col"; "embed"; "frame"; "hr"; "img"; "input"; "isindex"; "link"; "meta"; "param"; "wbr" ]
let head = [ "title"; "meta"; "link"; "base"; "style"; "script" ]
let headings = [ "h1"; "h2"; "h3"; "h4"; "h5"; "h6" ]

let blocks =
  [ "address"; "blockquote"; "center"; "dir"; "div"; "dl"; "form"; "hr"; "menu"; "ol"; "p"; "pre"; "table"; "ul" ]
  @ headings

(* where no search goes through: the table's cells and the root (the
 * WHATWG's "scope") *)
let scope = [ "html"; "table"; "td"; "th"; "caption"; "applet"; "object" ]

let is_void name = List.mem name void
let is_head_element name = List.mem name head
let is_block name = List.mem name blocks

let closes (x : string) (y : string) : bool =
  match y with
  | "p" -> is_block x || List.mem x [ "li"; "dt"; "dd" ]
  | "li" -> x = "li"
  | "dt" | "dd" -> x = "dt" || x = "dd"
  | "option" -> x = "option"
  | "tr" -> x = "tr"
  | "td" | "th" -> List.mem x [ "td"; "th"; "tr" ]
  | y when List.mem y headings -> List.mem x headings
  | _ -> false

let stops (x : string) (y : string) : bool =
  List.mem y scope
  ||
  match x with
  (* an item ends the item of its own list only: not across a nested
   * list, nor across a block (other than the p, div, address an item
   * may hold) *)
  | "li" -> List.mem y [ "ul"; "ol"; "dir"; "menu" ] || (is_block y && not (List.mem y [ "p"; "div"; "address" ]))
  | "dt" | "dd" -> y = "dl" || (is_block y && not (List.mem y [ "p"; "div"; "address" ]))
  | _ -> false

(*****************************************************************************)
(* Netscape's extensions *)
(*****************************************************************************)

let netscape_elements =
  [ "basefont"; "blink"; "center"; "font"; "nobr"; "wbr" ]
  (* 1.1's tables (the HTML 3.0 draft's), and the row groups HTML 4
   * added to them *)
  @ [ "table"; "caption"; "tr"; "td"; "th"; "thead"; "tbody"; "tfoot" ]

let netscape_attributes =
  [
    ("body", [ "bgcolor"; "text"; "link"; "vlink"; "alink"; "background" ]);
    ("hr", [ "size"; "width"; "align"; "noshade" ]);
    ("br", [ "clear" ]);
    ("img", [ "width"; "height"; "border"; "hspace"; "vspace" ]);
    ("ul", [ "type" ]);
    ("ol", [ "type"; "start" ]);
    ("li", [ "type"; "value" ]);
    ("p", [ "align" ]);
  ]
  @ List.map (fun h -> (h, [ "align" ])) headings

(* an attribute of HTML 2.0 given new values *)
let netscape_values = [ (("img", "align"), [ "left"; "right"; "texttop"; "absmiddle"; "baseline"; "absbottom" ]) ]

let element_origin (name : string) : origin = if List.mem name netscape_elements then Netscape else Core

let attribute_origin (element : string) ((name, value) : string * string) : origin =
  let listed = match List.assoc_opt element netscape_attributes with Some names -> List.mem name names | None -> false in
  let value_listed =
    match List.assoc_opt (element, name) netscape_values with
    | Some values -> List.mem (String.lowercase_ascii value) values
    | None -> false
  in
  if listed || value_listed then Netscape else Core