Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-06 16:58:48 +08:00
Code Issues Actions 26 Packages Projects Releases Wiki Activity

int_attrib

Browse Source
This commit is contained in:
Pascal Brisset
2006-07-29 09:39:39 +00:00
parent c17b4f459a
commit e6bc9037c2
2 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/extXml.ml
+7
View File
@@ -124,3 +124,10 @@ let float_attrib = fun xml a ->
with
_ -> failwith (Printf.sprintf "Error: float expected in '%s'" v)
let int_attrib = fun xml a ->
let v = attrib xml a in
try
int_of_string v
with
_ -> failwith (Printf.sprintf "Error: integer expected in '%s'" v)
sw/lib/ocaml/extXml.mli
+2 -1
View File
@@ -38,6 +38,8 @@ val get_attrib : Xml.xml -> string -> string -> string
(** [get_attrib xml path attrib_name] *)
val attrib : Xml.xml -> string -> string
val int_attrib : Xml.xml -> string -> int
val float_attrib : Xml.xml -> string -> float
(** [get xml attribute_name] May raise [Error] *)
val tag_is : Xml.xml -> string -> bool
@@ -56,5 +58,4 @@ val subst_attrib : string -> string -> Xml.xml -> Xml.xml
val subst_child : string -> Xml.xml -> Xml.xml -> Xml.xml
(** [subst_child child_tag new_child xml] *)
val float_attrib : Xml.xml -> string -> float