package lib_parsing

You can search for identifiers within the package.

in-package search v0.2.0

package lib_parsing

lib_parsing

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'tok tokens_state = {

mutable rest : 'tok list;
mutable current : 'tok;
mutable passed : 'tok list;

}

val mk_tokens_state : 'tok list -> 'tok tokens_state

val yyback : int -> Lexing.lexbuf -> unit

val tokenize_all_and_adjust_pos : 
  Common.filename ->
  (Lexing.lexbuf -> 'tok) ->
  ((Parse_info.t -> Parse_info.t) -> 'tok -> 'tok) ->
  ('tok -> bool) ->
  'tok list

val mk_lexer_for_yacc : 
  'tok list ->
  ('tok -> bool) ->
  'tok tokens_state * (Lexing.lexbuf -> 'tok) * Lexing.lexbuf

val full_charpos_to_pos_large : Common.filename -> int -> int * int

val complete_token_location_large : 
  Common.filename ->
  (int -> int * int) ->
  Parse_info.token_location ->
  Parse_info.token_location

val fix_token_location : 
  (Parse_info.token_location -> Parse_info.token_location) ->
  Parse_info.token_mutable ->
  Parse_info.token_mutable

Fix the location info in a token.

val adjust_pinfo_wrt_base : 
  Parse_info.token_location ->
  Parse_info.token_location ->
  Parse_info.token_location

See adjust_info_wrt_base.

val get_token_end_info : Parse_info.token_location -> int * int * int

val adjust_info_wrt_base : 
  Parse_info.token_location ->
  Parse_info.token_mutable ->
  Parse_info.token_mutable

adjust_info_wrt_base base_loc tok, where tok represents a location * relative to base_loc, returns the same tok but with an absolute * token_location. This is useful for fixing parse info after * Common2.with_tmp_file. E.g. if base_loc points to line 3, and * tok points to line 2 (interpreted line 2 starting in line 3), then * the adjusted token will point to line 4.

val error_message : Common.filename -> (string * int) -> string

val error_message_info : Parse_info.t -> string

val print_bad : int -> (int * int) -> string array -> unit