From a1ce8c538fbfe3fb52aa53c99b09f7f696507cc1 Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Thu, 22 Jan 2004 22:17:08 +0000 Subject: replace the information "a variable is accessed" with the more precise Access_none | Access_write_only | Access_various so that we can say either "variable unused" or "variable assigned but not read" --- perl_checker.src/tree.mli | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'perl_checker.src/tree.mli') diff --git a/perl_checker.src/tree.mli b/perl_checker.src/tree.mli index b8615f5..60edc37 100644 --- a/perl_checker.src/tree.mli +++ b/perl_checker.src/tree.mli @@ -17,10 +17,12 @@ type prototype = { proto_nb_max : int option ; } +type variable_used = Access_none | Access_write_only | Access_various + type per_package = { package_name : string ; has_package_name : bool ; - vars_declared : (context * string, pos * bool ref * prototype option) Hashtbl.t; - imported : ((context * string) * (string * bool ref * prototype option)) list option ref; + vars_declared : (context * string, pos * variable_used ref * prototype option) Hashtbl.t; + imported : ((context * string) * (string * variable_used ref * prototype option)) list option ref; exports : exports ; uses : uses ; required_packages : (string * pos) list ; -- cgit v1.2.1