perl_checker.src/print.ml


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 string_of_Ident : Types.fromparser -> string
val context2s : Types.context -> string
val variable2s : Types.context * string -> 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 : int * int -> string -> unit
val die_rule : string -> 'a
val warn_rule : string -> unit
val debug : string -> unit
val warn_verb : 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 :
  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 :
  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_sub :
  Types.fromparser list Types.any_spaces_pos ->
  'a Types.any_spaces_pos -> unit
val check_block_ref :
  Types.fromparser list 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