diffast-langs-verilog-parsing 0.1.1

Parameters

module Stat : Parser_aux.STATE_T

Signature

module Loc = Verilog_parsing.Ast.Loc

module Aux : sig ... end

module T : sig ... end

val lexeme : Sedlexing.lexbuf -> string

val from_string : string -> Sedlexing.lexbuf

val lexing_pos_start : Sedlexing.lexbuf -> Lexing.position

val lexing_pos_end : Sedlexing.lexbuf -> Lexing.position

val loc_of_poss : Lexing.position -> Lexing.position -> Loc.t

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

val mkloc : Sedlexing.lexbuf -> Loc.t

val make_qtoken : 
  'a ->
  Lexing.position ->
  Lexing.position ->
  'a Verilog_parsing.Common.PB.qtoken

val mktok : 
  ?start_opt:Lexing.position option ->
  ?end_opt:Lexing.position option ->
  'a ->
  Sedlexing.lexbuf ->
  'a Verilog_parsing.Common.PB.qtoken

type pp_define_stat =

| D_id
| D_params
| D_body
| D_finished

val add_comment_region : Langs_common.Astloc.t -> unit

val token : Sedlexing.lexbuf -> Tokens_.token Verilog_parsing.Common.PB.qtoken

val traditional_comment : 
  Lexing.position ->
  Sedlexing.lexbuf ->
  Tokens_.token Verilog_parsing.Common.PB.qtoken

val line_comment : 
  Lexing.position ->
  Sedlexing.lexbuf ->
  Tokens_.token Verilog_parsing.Common.PB.qtoken

val pre_pp_macro_arguments : Sedlexing.lexbuf -> bool

val pp_macro_arguments : 
  int ->
  string list ->
  string ->
  Sedlexing.lexbuf ->
  string list * Lexing.position

val pp_define : 
  Lexing.position ->
  string ->
  string list option ->
  string ->
  Lexing.position ->
  pp_define_stat ->
  Sedlexing.lexbuf ->
  Tokens_.token Verilog_parsing.Common.PB.qtoken

val pp_undef : 
  Lexing.position ->
  string ->
  pp_define_stat ->
  Sedlexing.lexbuf ->
  Tokens_.token Verilog_parsing.Common.PB.qtoken

val pp_include_filename_start : 
  Lexing.position ->
  Sedlexing.lexbuf ->
  Tokens_.token Verilog_parsing.Common.PB.qtoken

val pp_include_filename : 
  Lexing.position ->
  string ->
  Sedlexing.lexbuf ->
  Tokens_.token Verilog_parsing.Common.PB.qtoken

val pp_include_sys_filename : 
  Lexing.position ->
  string ->
  Sedlexing.lexbuf ->
  Tokens_.token Verilog_parsing.Common.PB.qtoken

val handle_include : 
  string ->
  (unit -> Tokens_.token Verilog_parsing.Common.PB.qtoken) ->
  ?trailing_comment:Lexing.position option ->
  Sedlexing.lexbuf ->
  Tokens_.token Verilog_parsing.Common.PB.qtoken

package diffast-langs-verilog-parsing

Parameters

Signature