blob: 8fc224087a2b387199efa62adc6cf0f9e23ad61c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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
|
