html

lib/htmlrw_check/element/attr.ml

···
 let get_id attrs =
   List.find_map (function `Id s -> Some s | _ -> None) attrs
 
-(** Get class attribute *)
+(** Get class attribute as raw string *)
 let get_class attrs =
   List.find_map (function `Class s -> Some s | _ -> None) attrs
+
+(** Get class attribute as list of class names (space-separated) *)
+let get_class_list attrs =
+  match get_class attrs with
+  | Some s -> Datatype.split_on_whitespace s
+  | None -> []
 
 (** Get href attribute *)
 let get_href attrs =
···
 (** Get all data-* attributes *)
 let get_all_data attrs =
   List.filter_map (function `Data_attr (n, v) -> Some (n, v) | _ -> None) attrs
+
+(** {2 Space-Separated Attribute List Getters} *)
+
+(** Get rel attribute as raw string *)
+let get_rel attrs =
+  List.find_map (function `Rel s -> Some s | _ -> None) attrs
+
+(** Get rel attribute as list of link types (space-separated) *)
+let get_rel_list attrs =
+  match get_rel attrs with
+  | Some s -> Datatype.split_on_whitespace s
+  | None -> []
+
+(** Get headers attribute as raw string *)
+let get_headers attrs =
+  List.find_map (function `Headers s -> Some s | _ -> None) attrs
+
+(** Get headers attribute as list of IDs (space-separated) *)
+let get_headers_list attrs =
+  match get_headers attrs with
+  | Some s -> Datatype.split_on_whitespace s
+  | None -> []
+
+(** Get itemref attribute as raw string *)
+let get_itemref attrs =
+  List.find_map (function `Itemref s -> Some s | _ -> None) attrs
+
+(** Get itemref attribute as list of IDs (space-separated) *)
+let get_itemref_list attrs =
+  match get_itemref attrs with
+  | Some s -> Datatype.split_on_whitespace s
+  | None -> []
+
+(** Get itemprop attribute as raw string *)
+let get_itemprop attrs =
+  List.find_map (function `Itemprop s -> Some s | _ -> None) attrs
+
+(** Get itemprop attribute as list of property names (space-separated) *)
+let get_itemprop_list attrs =
+  match get_itemprop attrs with
+  | Some s -> Datatype.split_on_whitespace s
+  | None -> []
+
+(** Get itemtype attribute as raw string *)
+let get_itemtype attrs =
+  List.find_map (function `Itemtype s -> Some s | _ -> None) attrs
+
+(** Get itemtype attribute as list of URLs (space-separated) *)
+let get_itemtype_list attrs =
+  match get_itemtype attrs with
+  | Some s -> Datatype.split_on_whitespace s
+  | None -> []
+
+(** Get a specific aria-* attribute as list (for space-separated values like aria-labelledby) *)
+let get_aria_list name attrs =
+  match get_aria name attrs with
+  | Some s -> Datatype.split_on_whitespace s
+  | None -> []
 
 (** Find an attribute matching a predicate *)
 let find f attrs =

lib/htmlrw_check/element/attr.mli

···
 (** [get_id attrs] extracts the id attribute value if present. *)
 
 val get_class : t list -> string option
-(** [get_class attrs] extracts the class attribute value if present. *)
+(** [get_class attrs] extracts the class attribute value as a raw string. *)
+
+val get_class_list : t list -> string list
+(** [get_class_list attrs] extracts the class attribute as a list of class names.
+    Returns empty list if not present. Space-separated values are split. *)
 
 val get_href : t list -> string option
 (** [get_href attrs] extracts the href attribute value if present. *)
···
 
 val get_all_data : t list -> (string * string) list
 (** [get_all_data attrs] extracts all data-* attributes. *)
+
+(** {2 Space-Separated Attribute List Getters} *)
+
+val get_rel : t list -> string option
+(** [get_rel attrs] extracts the rel attribute value as a raw string. *)
+
+val get_rel_list : t list -> string list
+(** [get_rel_list attrs] extracts the rel attribute as a list of link types.
+    Returns empty list if not present. Space-separated values are split. *)
+
+val get_headers : t list -> string option
+(** [get_headers attrs] extracts the headers attribute value as a raw string. *)
+
+val get_headers_list : t list -> string list
+(** [get_headers_list attrs] extracts the headers attribute as a list of IDs.
+    Returns empty list if not present. Space-separated values are split. *)
+
+val get_itemref : t list -> string option
+(** [get_itemref attrs] extracts the itemref attribute value as a raw string. *)
+
+val get_itemref_list : t list -> string list
+(** [get_itemref_list attrs] extracts the itemref attribute as a list of IDs.
+    Returns empty list if not present. Space-separated values are split. *)
+
+val get_itemprop : t list -> string option
+(** [get_itemprop attrs] extracts the itemprop attribute value as a raw string. *)
+
+val get_itemprop_list : t list -> string list
+(** [get_itemprop_list attrs] extracts the itemprop attribute as a list of property names.
+    Returns empty list if not present. Space-separated values are split. *)
+
+val get_itemtype : t list -> string option
+(** [get_itemtype attrs] extracts the itemtype attribute value as a raw string. *)
+
+val get_itemtype_list : t list -> string list
+(** [get_itemtype_list attrs] extracts the itemtype attribute as a list of URLs.
+    Returns empty list if not present. Space-separated values are split. *)
+
+val get_aria_list : string -> t list -> string list
+(** [get_aria_list name attrs] extracts a specific aria-* attribute as a list.
+    Useful for space-separated aria values like aria-labelledby, aria-describedby.
+    Returns empty list if not present. *)
 
 val find : (t -> 'a option) -> t list -> 'a option
 (** [find f attrs] finds the first attribute matching predicate [f]. *)