Module `Langs_common.Parserlib_base`Source

module Storage = Diffast_misc.Storage

Sourceval cmd_name : string

Sourceexception Parse_error of string * string

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

Sourcetype 'rawtoken qtoken = 'rawtoken * Astloc.t

Sourceval is_bom : string -> bool

Sourceval get_bom_name : string -> string

Sourceval is_extended_pos : Lexing.position -> bool

Source

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

Source

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

Sourceval get_stripped_pos : Lexing.position -> Lexing.position

Source

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

Sourceval token_to_rawtoken : 'rt token -> 'rt

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

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

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

Source

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

Source

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

Source

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

Sourceval qtoken_to_loc : 'rt qtoken -> Astloc.t

Sourceval qtoken_to_rawtoken : 'rt qtoken -> 'rt

Sourceval qtoken_to_token : 'rt qtoken -> 'rt token

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceclass virtual 'rawtoken scanner : object ... end

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

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

package diffast-langs-common

Module Langs_common.Parserlib_baseSource

Module `Langs_common.Parserlib_base`Source