From 9d060d918bdabd30c51e0c2efa85ef78b5e8be8a Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Thu, 12 Aug 2004 01:04:59 +0000 Subject: check lvalue validity --- perl_checker.src/parser_helper.mli | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'perl_checker.src/parser_helper.mli') diff --git a/perl_checker.src/parser_helper.mli b/perl_checker.src/parser_helper.mli index 7ff7c96..ecd5095 100644 --- a/perl_checker.src/parser_helper.mli +++ b/perl_checker.src/parser_helper.mli @@ -45,6 +45,7 @@ val un_parenthesize_full : Types.fromparser -> Types.fromparser val un_parenthesize_full_l : Types.fromparser list -> Types.fromparser list val is_always_true : Types.fromparser -> bool val is_always_false : Types.fromparser -> bool +val is_lvalue : Types.fromparser -> bool val not_complex : Types.fromparser -> bool val not_simple : Types.fromparser -> bool val string_of_Ident : Types.fromparser -> string @@ -105,6 +106,7 @@ val check_arrow_needed : Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> 'a Types.any_spaces_pos -> unit val check_scalar_subscripted : Types.fromparser Types.any_spaces_pos -> unit +val negatable_ops : (string * string) list val check_negatable_expr : Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit val check_ternary_paras : @@ -181,6 +183,15 @@ val to_Call_op_ : 'a Types.any_spaces_pos -> 'b Types.any_spaces_pos -> Types.fromparser Types.prio_anyexpr Types.any_spaces_pos +val to_Call_assign_op_ : + Types.maybe_context -> + Types.priority -> + string -> + Types.fromparser -> + Types.fromparser -> + 'a Types.any_spaces_pos -> + 'b Types.any_spaces_pos -> + Types.fromparser Types.prio_anyexpr Types.any_spaces_pos val followed_by_comma : Types.fromparser list -> bool -> Types.fromparser list val pot_strings : (string, (string * int * int) * string list) Hashtbl.t -- cgit v1.2.1