diff options
Diffstat (limited to 'perl_checker.src/parser_helper.mli')
| -rw-r--r-- | perl_checker.src/parser_helper.mli | 314 |
1 files changed, 0 insertions, 314 deletions
diff --git a/perl_checker.src/parser_helper.mli b/perl_checker.src/parser_helper.mli deleted file mode 100644 index e820703..0000000 --- a/perl_checker.src/parser_helper.mli +++ /dev/null @@ -1,314 +0,0 @@ -val bpos : int * int -val raw_pos2pos : 'a * 'b -> string * 'a * 'b -val raw_pos_range : - 'a Types.any_spaces_pos -> 'b Types.any_spaces_pos -> int * int -val pos_range : - 'a Types.any_spaces_pos -> 'b Types.any_spaces_pos -> string * int * int -val get_pos : 'a Types.any_spaces_pos -> string * int * int -val get_pos_start : 'a Types.any_spaces_pos -> int -val get_pos_end : 'a Types.any_spaces_pos -> int -val var_dollar_ : Types.pos -> Types.fromparser -val var_STDOUT : Types.fromparser -val new_any : - Types.maybe_context -> - 'a -> Types.spaces -> int * int -> 'a Types.any_spaces_pos -val new_any_ : 'a -> Types.spaces -> int * int -> 'a Types.any_spaces_pos -val new_esp : - Types.maybe_context -> - 'a -> - 'b Types.any_spaces_pos -> - 'c Types.any_spaces_pos -> 'a Types.any_spaces_pos -val new_1esp : 'a -> 'b Types.any_spaces_pos -> 'a Types.any_spaces_pos -val new_pesp : - Types.maybe_context -> - Types.priority -> - 'a -> - 'b Types.any_spaces_pos -> - 'c Types.any_spaces_pos -> 'a Types.prio_anyexpr Types.any_spaces_pos -val new_1pesp : - Types.priority -> - 'a -> 'b Types.any_spaces_pos -> 'a Types.prio_anyexpr Types.any_spaces_pos -val default_esp : 'a -> 'a Types.any_spaces_pos -val default_pesp : - Types.priority -> 'a -> 'a Types.prio_anyexpr Types.any_spaces_pos -val split_name_or_fq_name : string -> string option * string -val is_var_dollar_ : Types.fromparser -> bool -val is_var_number_match : Types.fromparser -> bool -val non_scalar_context : Types.context -> bool -val is_scalar_context : Types.context -> bool -val is_not_a_scalar : Types.fromparser -> bool -val is_a_scalar : Types.fromparser -> bool -val is_a_string : Types.fromparser -> bool -val is_parenthesized : Types.fromparser -> bool -val un_parenthesize : Types.fromparser -> Types.fromparser -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 context2s : Types.context -> string -val variable2s : Types.context * string -> string -val string_of_fromparser : Types.fromparser -> string -val lstring_of_fromparser : Types.fromparser list -> string -val lstring_of_fromparser_parentheses : Types.fromparser list -> string -val is_same_fromparser : Types.fromparser -> Types.fromparser -> bool -val from_scalar : Types.fromparser Types.any_spaces_pos -> Types.fromparser -val from_array : Types.fromparser Types.any_spaces_pos -> Types.fromparser -val get_pos_from_expr : Types.fromparser -> Types.pos -val msg_with_rawpos : int * int -> string -> string -val die_with_rawpos : int * int -> string -> 'a -val warn : Types.warning list -> int * int -> string -> unit -val die_rule : string -> 'a -val warn_rule : Types.warning list -> string -> unit -val warn_verb : Types.warning list -> int -> string -> unit -val warn_too_many_space : int -> unit -val warn_no_space : int -> unit -val warn_cr : int -> unit -val warn_space : int -> unit -val prio_less : Types.priority * Types.priority -> bool -val prio_lo_check : - Types.priority -> Types.priority -> int * int -> Types.fromparser -> unit -val prio_lo : - Types.priority -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> - Types.fromparser -val prio_lo_after : - Types.priority -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> - Types.fromparser -val prio_lo_concat : - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> - Types.fromparser -val hash_ref : - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> - Types.fromparser -val sp_0 : 'a Types.any_spaces_pos -> unit -val sp_0_or_cr : 'a Types.any_spaces_pos -> unit -val sp_1 : 'a Types.any_spaces_pos -> unit -val sp_n : 'a Types.any_spaces_pos -> unit -val sp_p : 'a Types.any_spaces_pos -> unit -val sp_cr : 'a Types.any_spaces_pos -> unit -val sp_same : 'a Types.any_spaces_pos -> 'b Types.any_spaces_pos -> unit -val function_to_context : bool -> string -> Types.maybe_context -val word_alone : - Types.fromparser Types.any_spaces_pos -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -val check_parenthesized_first_argexpr : - string -> - Types.fromparser list Types.prio_anyexpr Types.any_spaces_pos -> unit -val check_parenthesized_first_argexpr_with_Ident : - Types.fromparser -> - Types.fromparser list Types.prio_anyexpr Types.any_spaces_pos -> unit -val check_hash_subscript : - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit -val check_arrow_needed : 'a Types.any_spaces_pos -> Types.fromparser -> 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 : - Types.fromparser * Types.fromparser * Types.fromparser -> - Types.fromparser list -val check_unneeded_var_dollar_ : - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit -val check_unneeded_var_dollar_not : - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit -val check_unneeded_var_dollar_s : - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit -val check_my : string Types.any_spaces_pos -> unit -val check_foreach : string Types.any_spaces_pos -> unit -val check_for : string Types.any_spaces_pos -> unit -val check_for_foreach : - string Types.any_spaces_pos -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit -val check_block_expr : - bool -> - Types.fromparser -> - 'a Types.any_spaces_pos -> 'b Types.any_spaces_pos -> unit -val check_block_lines : - (Types.fromparser list * bool) Types.any_spaces_pos -> - 'a Types.any_spaces_pos -> unit -val check_unless_else : - 'a list Types.any_spaces_pos -> 'b list Types.any_spaces_pos -> unit -val check_my_our_paren : - ((bool * 'a) * 'b list) Types.any_spaces_pos -> - 'c Types.any_spaces_pos -> unit -val check_simple_pattern : Types.fromparser list -> unit -val only_one : Types.fromparser list Types.any_spaces_pos -> Types.fromparser -val only_one_array_ref : - Types.fromparser list Types.any_spaces_pos -> Types.fromparser -val only_one_in_List : - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> - Types.fromparser -val is_only_one_in_List : Types.fromparser list -> bool -val maybe_to_Raw_string : Types.fromparser -> Types.fromparser -val to_List : Types.fromparser list -> Types.fromparser -val deref_arraylen : Types.fromparser -> Types.fromparser -val deref_raw : Types.context -> Types.fromparser -> Types.fromparser -val to_Ident : - (string option * string) Types.any_spaces_pos -> Types.fromparser -val to_Raw_string : string Types.any_spaces_pos -> Types.fromparser -val to_Method_call : - Types.fromparser * Types.fromparser * Types.fromparser list -> - Types.fromparser -val to_Deref_with : - Types.context * Types.context * Types.fromparser * Types.fromparser -> - Types.fromparser -val to_Deref_with_arrow : - 'a Types.any_spaces_pos -> - Types.context * Types.context * Types.fromparser * Types.fromparser -> - Types.fromparser -val lines_to_Block : - (Types.fromparser list * bool) Types.any_spaces_pos -> - 'a Types.any_spaces_pos -> Types.fromparser -val to_Local : - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> - Types.fromparser -val sub_declaration : - Types.fromparser * string option -> - Types.fromparser list -> Types.sub_declaration_kind -> Types.fromparser -val anonymous_sub : - string option -> - (Types.fromparser list * bool) Types.any_spaces_pos -> - 'a Types.any_spaces_pos -> Types.fromparser -val call_with_same_para_special : Types.fromparser -> Types.fromparser -val remove_call_with_same_para_special : Types.fromparser -> Types.fromparser -val check_My_under_condition : string -> Types.fromparser -> unit -val cook_call_op : - string -> Types.fromparser list -> int * int -> Types.fromparser -val to_Call_op : - Types.maybe_context -> - string -> - Types.fromparser list -> - 'a Types.any_spaces_pos -> - 'b Types.any_spaces_pos -> Types.fromparser Types.any_spaces_pos -val to_Call_op_ : - Types.maybe_context -> - Types.priority -> - string -> - Types.fromparser list -> - '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 -val po_comments : string list ref -val po_comment : string Types.any_spaces_pos -> unit -val check_format_a_la_printf : string -> int -> Types.maybe_context list -val generate_pot : string -> unit -val check_system_call : string list -> unit -val call_raw : - bool -> Types.fromparser * Types.fromparser list -> Types.fromparser -val call : Types.fromparser * Types.fromparser list -> Types.fromparser -val check_return : - Types.fromparser Types.any_spaces_pos -> - Types.fromparser list Types.prio_anyexpr Types.any_spaces_pos -> unit -val call_and_context : - Types.fromparser * Types.fromparser list -> - bool -> - Types.priority -> - 'a Types.any_spaces_pos -> - 'b Types.any_spaces_pos -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -val call_no_paren : - Types.fromparser Types.any_spaces_pos -> - Types.fromparser list Types.prio_anyexpr Types.any_spaces_pos -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -val call_with_paren : - Types.fromparser Types.any_spaces_pos -> - Types.fromparser list Types.prio_anyexpr Types.any_spaces_pos -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -val call_func : - Types.fromparser Types.any_spaces_pos -> - Types.fromparser list Types.prio_anyexpr Types.any_spaces_pos -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -val call_one_scalar_para : - Types.priority -> - string Types.any_spaces_pos -> - Types.fromparser list -> - 'a Types.any_spaces_pos -> - 'b Types.any_spaces_pos -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -val current_lexbuf : Lexing.lexbuf option ref -val list2tokens : ((int * int) * 'a) list -> Lexing.lexbuf -> 'a -val parse_tokens : - ((Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> 'b list) -> - ((int * int) * 'a) list -> Lexing.lexbuf option -> 'b list -val parse_interpolated : - ((Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> Types.fromparser list) -> - (string * ((int * int) * 'a) list) list -> (string * Types.fromparser) list -val to_String : - ((Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> Types.fromparser list) -> - bool -> - (string * ((int * int) * 'a) list) list Types.any_spaces_pos -> - Types.fromparser -val from_PATTERN : - ((Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> Types.fromparser list) -> - ((string * ((int * int) * 'a) list) list * string) Types.any_spaces_pos -> - Types.fromparser list -val from_PATTERN_SUBST : - ((Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> Types.fromparser list) -> - ((string * ((int * int) * 'a) list) list * - (string * ((int * int) * 'a) list) list * string) - Types.any_spaces_pos -> Types.fromparser list -val mcontext2s : Types.maybe_context -> string -val mcontext_lower : Types.maybe_context -> Types.maybe_context -> bool -val mcontext_is_scalar : Types.maybe_context -> bool -val mcontext_to_scalar : Types.maybe_context -> Types.maybe_context -val mcontext_merge_raw : - Types.maybe_context -> Types.maybe_context -> Types.maybe_context option -val mcontext_lmerge_add : - Types.maybe_context list -> Types.maybe_context -> Types.maybe_context list -val mcontext_lmerge : Types.maybe_context list -> Types.maybe_context -val mcontext_merge : - Types.maybe_context -> Types.maybe_context -> Types.maybe_context -val mcontext_lmaybe : - 'a list Types.any_spaces_pos -> Types.maybe_context list -val mcontext_check_raw : Types.maybe_context -> Types.maybe_context -> unit -val mcontext_check : - Types.maybe_context -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> unit -val mcontext_check_unop_l : - Types.maybe_context -> - Types.fromparser list Types.prio_anyexpr Types.any_spaces_pos -> unit -val mcontext_check_non_none : 'a Types.any_spaces_pos -> unit -val mcontext_check_none : - string -> Types.fromparser list -> 'a Types.any_spaces_pos -> unit -val mcontext_float_or_int : Types.maybe_context list -> Types.maybe_context -val mcontext_op_assign : - 'a Types.any_spaces_pos -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> - Types.maybe_context -val mtuple_context_concat : - Types.maybe_context -> Types.maybe_context -> Types.maybe_context -val call_op_if_infix : - Types.fromparser -> - Types.fromparser -> - 'a Types.any_spaces_pos -> - 'b Types.any_spaces_pos -> Types.fromparser Types.any_spaces_pos -val call_op_unless_infix : - Types.fromparser -> - Types.fromparser -> - 'a Types.any_spaces_pos -> - 'b Types.any_spaces_pos -> Types.fromparser Types.any_spaces_pos -val symops : - Types.priority -> - Types.maybe_context -> - Types.maybe_context -> - string -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> - 'a Types.any_spaces_pos -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos -> - Types.fromparser Types.prio_anyexpr Types.any_spaces_pos |