From 2375b0413acc1f3e6659fc110c13bcc061cd320d Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Wed, 18 Dec 2002 16:02:09 +0000 Subject: new features including checking methods being available and unused functions --- perl_checker.src/global_checks.mli | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 perl_checker.src/global_checks.mli (limited to 'perl_checker.src/global_checks.mli') diff --git a/perl_checker.src/global_checks.mli b/perl_checker.src/global_checks.mli new file mode 100644 index 0000000..8fc2240 --- /dev/null +++ b/perl_checker.src/global_checks.mli @@ -0,0 +1,19 @@ +open Types +open Tree + +type state = { + per_package : (string, per_package) Hashtbl.t; + methods : (string, (pos * bool ref) list) Hashtbl.t ; + global_vars_declared : (context * string * string, pos) Hashtbl.t; + global_vars_used : ((context * string * string) * pos) list ref; + } + +val default_state : unit -> state +val check_tree : state -> per_package -> unit +val add_package_to_state : state -> per_package -> unit +val check_unused_vars : per_package -> unit +val arrange_global_vars_declared : state -> state +val get_methods_available : state -> state + +val read_packages_from_cache : state -> string -> unit +val write_packages_cache : state -> string -> unit -- cgit v1.2.1