diffast-langs-java-parsing 0.1.1 (latest)

module Loc = Java_parsing.Ast.Loc

module Aux : sig ... end

val lexing_error : Sedlexing.lexbuf -> string -> 'a

val token : 
  Sedlexing.lexbuf ->
  Tokens_.token * Lexing.position * Lexing.position

val text_block : 
  string ->
  Sedlexing.lexbuf ->
  Tokens_.token * Lexing.position * Lexing.position

val traditional_comment : Lexing.position -> Sedlexing.lexbuf -> unit

val line_comment : Lexing.position -> Sedlexing.lexbuf -> unit

val document_comment : Lexing.position -> Sedlexing.lexbuf -> unit

val marker : 
  Lexing.position ->
  string ->
  Sedlexing.lexbuf ->
  Tokens_.token * Lexing.position * Lexing.position

val set_to_JLS : int -> Langs_common.Astloc.t -> string -> unit

module P : sig ... end

val assert_stmt_parser : 
  (P.token * Lexing.position * Lexing.position, Ast.statement)
    MenhirLib.Convert.revised

val block_stmt_parser : 
  (P.token * Lexing.position * Lexing.position, Ast.block_statement)
    MenhirLib.Convert.revised

val string_of_token_queue : 
  < add : Tokens_.token Java_parsing.Token.PB.token -> unit
    ; clear : unit
    ; copy : Tokens_.token Java_parsing.Token.PB.token Diffast_misc.Xqueue.c
    ; filter : (Tokens_.token Java_parsing.Token.PB.token -> bool) -> unit
    ; fold : 
      'b. ('b -> Tokens_.token Java_parsing.Token.PB.token -> 'b) ->
      'b ->
      'b
    ; is_empty : bool
    ; iter : (Tokens_.token Java_parsing.Token.PB.token -> unit) -> unit
    ; length : int
    ; peek : Tokens_.token Java_parsing.Token.PB.token
    ; peek_last : Tokens_.token Java_parsing.Token.PB.token
    ; peek_nth : int -> Tokens_.token Java_parsing.Token.PB.token
    ; prepend : Tokens_.token Java_parsing.Token.PB.token -> unit
    ; prepend_from : 
      Tokens_.token Java_parsing.Token.PB.token Diffast_misc.Xqueue.c ->
      unit
    ; remove_last : unit
    ; replace : 
      (Tokens_.token Java_parsing.Token.PB.token ->
        Tokens_.token Java_parsing.Token.PB.token) ->
      unit
    ; repr : Tokens_.token Java_parsing.Token.PB.token Diffast_misc.Xqueue.t
    ; take : Tokens_.token Java_parsing.Token.PB.token
    ; transfer : 
      Tokens_.token Java_parsing.Token.PB.token Diffast_misc.Xqueue.c ->
      unit > ->
  string

val kw_to_ident : 
  string ->
  Tokens_.token Java_parsing.Token.PB.token ->
  Tokens_.token Java_parsing.Token.PB.token

exception Modified_token of Token.t

val peek_nth : 
  < add : (Tokens_.token * Lexing.position * Lexing.position) -> 'a
    ; iter : 
      ((Tokens_.token * Lexing.position * Lexing.position) -> unit) ->
      'b.. > ->
  Sedlexing.lexbuf ->
  int ->
  (Tokens_.token * Lexing.position * Lexing.position) * Tokens_.token

val get_token : 
  < add : (Tokens_.token * Lexing.position * Lexing.position) -> 'a
    ; is_empty : bool
    ; iter : 
      ((Tokens_.token * Lexing.position * Lexing.position) -> unit) ->
      'b
    ; take : Tokens_.token Java_parsing.Token.PB.token.. > ->
  Sedlexing.lexbuf ->
  Tokens_.token Java_parsing.Token.PB.token

package diffast-langs-java-parsing