diff options
Diffstat (limited to 'perl_checker.src/global_checks.mli')
| -rw-r--r-- | perl_checker.src/global_checks.mli | 19 |
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 |
