summaryrefslogtreecommitdiffstats
path: root/perl_checker.src/global_checks.mli
diff options
context:
space:
mode:
Diffstat (limited to 'perl_checker.src/global_checks.mli')
-rw-r--r--perl_checker.src/global_checks.mli19
1 files changed, 19 insertions, 0 deletions
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