Module `Tokenbuffer.F`Source

Parameters

module Stat : Aux.STATE_T

Signature

Sourcemodule Tokens = Tokens_

Sourcemodule Tok : sig ... end

Sourcemodule U : sig ... end

Sourcemodule A : sig ... end

val merge_locs : 
  Langs_common.Astloc.t ->
  Langs_common.Astloc.t ->
  Langs_common.Astloc.t

Sourceval make_branch_tag : Tokens.token -> Tokens.token -> Loc.t -> branch_tag

Sourcetype token = Tokens.token * Lexing.position * Lexing.position

Sourcetype partial_parser = (token, Ast.partial) MenhirLib.Convert.revised

Sourceexception Not_active

Sourceexception Buffer_empty

Sourceexception Incomplete

Sourcetype parse_result =

| Rcomplete of Ast.partial
| Rincomplete
| Runknown

Sourceval peek_nth : 'a Queue.t -> int -> 'a

Sourceval check_partial : Ast.partial -> int * int

Sourceclass buffer_base : object ... end

Sourceclass buffer : branch_tag -> object ... end

Sourceclass branching_buffer : branch_tag -> object ... end

Sourceclass c : (C.t -> partial_parser) -> object ... end

Sourceval find_macro : string -> Macro.body

Sourceval hide_macro : string -> unit -> unit

Source

val expand_line : 
  Verilog_parsing.Macro.Loc.t ->
  Lexing.position ->
  Lexing.position ->
  string ->
  buffer_base

Sourceexception Token_found of Token.qtoken_t

Sourceclass tokensource : c -> Sedlexing.lexbuf -> object ... end

Source

val hack_token : 
  < peek_token : unit -> Tokens.token * 'a
    ; tokenbuf : 
      < get_last_rawtok : Tokens.token
      ; get_last_token : 'b
      ; set_last_token : 
        (Tokens.token * Lexing.position * Lexing.position) ->
        'c
      ; set_prev_token : 'b -> 'd.. >.. > ->
  (Tokens.token * Loc.t) ->
  Tokens.token * Loc.t

Source

val pp : 
  < get_token : unit -> Tokens.token * Loc.t
    ; peek_token : unit -> Tokens.token * 'a
    ; tokenbuf : 
      < add : (Tokens.token * Loc.t) -> 'b
      ; add_to_context : (Tokens.token * Loc.t) -> 'c
      ; begin_branch : open_if:bool -> branch_tag -> 'd
      ; end_branch : open_if:bool -> 'e
      ; get_last_rawtok : Tokens.token
      ; get_last_token : 'f
      ; in_branch : bool
      ; is_context_empty : bool
      ; is_serialized : bool
      ; new_branch : branch_tag -> 'g
      ; set_context : Context.t -> unit
      ; set_last_token : 
        (Tokens.token * Lexing.position * Lexing.position) ->
        'h
      ; set_prev_token : 'f -> 'i
      ; take : Tokens.token * Loc.t.. >.. > ->
  Tokens.token * Loc.t

package diffast-langs-verilog-parsing

Module Tokenbuffer.FSource

Parameters

Signature

Module `Tokenbuffer.F`Source