Module `Langs_common.Parserlib_base`

module Storage = Diffast_misc.Storage

val cmd_name : string

exception Parse_error of string * string

type 'rawtoken token = 'rawtoken * Lexing.position * Lexing.position

type 'rawtoken qtoken = 'rawtoken * Astloc.t

val is_bom : string -> bool

val get_bom_name : string -> string

val is_extended_pos : Lexing.position -> bool

val extend_pos : 
  ?cache:Fname.ext_cache_t ->
  string ->
  Lexing.position ->
  Lexing.position

val extend_poss : 
  ?cache:Fname.ext_cache_t ->
  string ->
  Lexing.position ->
  Lexing.position ->
  Lexing.position * Lexing.position

val get_stripped_pos : Lexing.position -> Lexing.position

val make_token : 
  ?cache:Fname.ext_cache_t ->
  ?ext:string ->
  'rawtoken ->
  Lexing.position ->
  Lexing.position ->
  'rawtoken token

val token_to_rawtoken : 'rt token -> 'rt

val token_to_lexposs : 'rt token -> Lexing.position * Lexing.position

val decompose_token : 'rt token -> 'rt * Lexing.position * Lexing.position

val _token_to_string : ('rt -> 'a) -> 'rt token -> 'a

val merge_locs : 
  ?cache:Fname.ext_cache_t option ->
  Astloc.t ->
  Astloc.t ->
  Astloc.t

val loc_of_lexposs : 
  ?cache:Fname.ext_cache_t option ->
  Lexing.position ->
  Lexing.position ->
  Astloc.t

val make_qtoken : 
  ?cache:Fname.ext_cache_t ->
  ?ext:string ->
  'rt ->
  Lexing.position ->
  Lexing.position ->
  'rt qtoken

val qtoken_to_loc : 'rt qtoken -> Astloc.t

val qtoken_to_rawtoken : 'rt qtoken -> 'rt

val qtoken_to_token : 'rt qtoken -> 'rt token

val _qtoken_to_string : ('rt -> string) -> 'rt qtoken -> string

val fail_to_parse : ?head:string -> string -> 'a

val parse_error_loc : 
  ?head:string ->
  < keep_going_flag : bool.. > ->
  (Astloc.t -> 'b) ->
  Astloc.t ->
  ('a, unit, string, 'b) format4 ->
  'a

val parse_error : 
  ?head:string ->
  < keep_going_flag : bool.. > ->
  (Astloc.t -> 'a) ->
  Lexing.position ->
  Lexing.position ->
  ('c, unit, string, 'a) format4 ->
  'c

val parse_warning_loc : 
  ?out:out_channel ->
  ?head:string ->
  Astloc.t ->
  ('a, out_channel, unit, unit) format4 ->
  'a

val parse_warning : 
  ?out:out_channel ->
  ?head:string ->
  Lexing.position ->
  Lexing.position ->
  ('b, out_channel, unit, unit) format4 ->
  'b

val mkparser : 
  ('a, 'b) MenhirLib.Convert.traditional ->
  ('a * Lexing.position * Lexing.position, 'b) MenhirLib.Convert.revised

class virtual 'rawtoken scanner : object ... end

class virtual ['a, 'rawtoken, 'ast] c : ('a Env_base.c as 'b) -> object ... end

class virtual ['rawtoken, 'ast] sb_c : (Source_base.c Env_base.c as 'a) -> object ... end

package diffast-langs-common

Module Langs_common.Parserlib_base

Module `Langs_common.Parserlib_base`