diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2002-11-28 00:57:32 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2002-11-28 00:57:32 +0000 |
commit | 4dca310579e9ba67f7a06591edabede5bbe13be6 (patch) | |
tree | 721e7e0208ae2a5020330e47687855a566cc633d /perl_checker.src/common.mli | |
parent | 87662a1e8b7376458625666dda3b6b4b7df6172e (diff) | |
download | perl_checker-4dca310579e9ba67f7a06591edabede5bbe13be6.tar perl_checker-4dca310579e9ba67f7a06591edabede5bbe13be6.tar.gz perl_checker-4dca310579e9ba67f7a06591edabede5bbe13be6.tar.bz2 perl_checker-4dca310579e9ba67f7a06591edabede5bbe13be6.tar.xz perl_checker-4dca310579e9ba67f7a06591edabede5bbe13be6.zip |
*** empty log message ***
Diffstat (limited to 'perl_checker.src/common.mli')
-rw-r--r-- | perl_checker.src/common.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/perl_checker.src/common.mli b/perl_checker.src/common.mli index 397af3c..cfb4780 100644 --- a/perl_checker.src/common.mli +++ b/perl_checker.src/common.mli @@ -175,6 +175,7 @@ val graph_sort_by : ('a * 'a list) list -> (('a * 'a list) list, 'a * 'a) or_option val int_sort : int list -> int list val str_begins_with : string -> string -> bool +val strstr : string -> string -> int val str_contains : string -> string -> bool val str_ends_with : string -> string -> bool val chop : string -> string @@ -189,6 +190,10 @@ val non_rindex : string -> char -> int val explode_string : string -> char list val is_uppercase : char -> bool val is_lowercase : char -> bool +val char_is_alphanumerical : char -> bool +val char_is_alphanumerical_ : char -> bool +val char_is_alpha : char -> bool +val string_forall_with : (char -> bool) -> int -> string -> bool val starts_with_non_lowercase : string -> bool val fold_lines : ('a -> string -> 'a) -> 'a -> in_channel -> 'a val readlines : in_channel -> string list |