module OBus_string:sig
..end
type
error = {
|
typ : |
(* |
Type of string ("string", "bus name", "error name", "path",
...)
| *) |
|
str : |
(* |
The string which fail to validate
| *) |
|
ofs : |
(* |
is the position in byte where the validation failed
| *) |
|
msg : |
(* |
explain why the string failed to validate
| *) |
val error_message : error -> string
error_message error
returns a human-readabe error messageval typ : error -> string
val str : error -> string
val ofs : error -> int
val msg : error -> string
typevalidator =
string -> error option
None
Some(ofs, msg)
exception Invalid_string of error
val assert_validate : validator -> string -> unit
OBus_string.Invalid_string
if the given string failed to
validatetypet =
string
val validate : validator