summaryrefslogtreecommitdiffstats
path: root/perl_checker.src/common.mli
diff options
context:
space:
mode:
authorPascal Rigaux <pixel@mandriva.com>2002-11-28 00:57:32 +0000
committerPascal Rigaux <pixel@mandriva.com>2002-11-28 00:57:32 +0000
commit88100399efa487df4145f0ed53cc7ee8305e0b3d (patch)
treea5055d960f052386ba94096d4ab5ac4bcf9cadf1 /perl_checker.src/common.mli
parent1537738cd9023b08d8730a56eb7bc1e1cab0dc90 (diff)
downloadperl-MDK-Common-88100399efa487df4145f0ed53cc7ee8305e0b3d.tar
perl-MDK-Common-88100399efa487df4145f0ed53cc7ee8305e0b3d.tar.gz
perl-MDK-Common-88100399efa487df4145f0ed53cc7ee8305e0b3d.tar.bz2
perl-MDK-Common-88100399efa487df4145f0ed53cc7ee8305e0b3d.tar.xz
perl-MDK-Common-88100399efa487df4145f0ed53cc7ee8305e0b3d.zip
*** empty log message ***
Diffstat (limited to 'perl_checker.src/common.mli')
-rw-r--r--perl_checker.src/common.mli5
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