package p4spectec

  1. Overview
  2. Docs

Module P4.LexerSource

module Value = Runtime.Value
module F = Stdlib.Format
Sourceexception Error of string
Sourcetype lexer_state =
  1. | SRegular
  2. | SRangle of Stdlib.Lexing.position
  3. | SPragma
  4. | STemplate
  5. | SIdent of string * lexer_state
Sourceval lexer_state : lexer_state Stdlib.ref
Sourceval reset : unit -> unit
Sourceval set_line : Stdlib.Lexing.lexbuf -> int -> unit
Sourceval set_start_of_line : Stdlib.Lexing.lexbuf -> int -> unit
Sourceval position_to_pos : Stdlib.Lexing.position -> Util.Source.pos
Sourceval positions_to_region : Stdlib.Lexing.position -> Stdlib.Lexing.position -> Util.Source.region
Sourceval at : Stdlib.Lexing.lexbuf -> Util.Source.region
Sourceval follows_position : Stdlib.Lexing.position -> Stdlib.Lexing.position -> bool
Sourceval sanitize : string -> string
Sourceval strip_prefix : string -> string
Sourceval parse_int : Util.Source.region -> string -> Lang.Il.value
Sourceval parse_width_int : Util.Source.region -> string -> string -> Lang.Il.value
Sourceval __ocaml_lex_tables : Stdlib.Lexing.lex_tables
Sourceval tokenize : Stdlib.Lexing.lexbuf -> Parser.token
Sourceval __ocaml_lex_tokenize_rec : Stdlib.Lexing.lexbuf -> int -> Parser.token
Sourceval string : Stdlib.Lexing.lexbuf -> string * Util.Source.region
Sourceval __ocaml_lex_string_rec : Stdlib.Lexing.lexbuf -> int -> string * Util.Source.region
Sourceval preprocessor : Stdlib.Lexing.lexbuf -> unit
Sourceval __ocaml_lex_preprocessor_rec : Stdlib.Lexing.lexbuf -> int -> unit
Sourceval preprocessor_string : Stdlib.Lexing.lexbuf -> unit
Sourceval __ocaml_lex_preprocessor_string_rec : Stdlib.Lexing.lexbuf -> int -> unit
Sourceval preprocessor_column : Stdlib.Lexing.lexbuf -> unit
Sourceval __ocaml_lex_preprocessor_column_rec : Stdlib.Lexing.lexbuf -> int -> unit
Sourceval multiline_comment : Util.Source.region option -> Stdlib.Lexing.lexbuf -> Util.Source.region option
Sourceval __ocaml_lex_multiline_comment_rec : Util.Source.region option -> Stdlib.Lexing.lexbuf -> int -> Util.Source.region option
Sourceval singleline_comment : Stdlib.Lexing.lexbuf -> unit
Sourceval __ocaml_lex_singleline_comment_rec : Stdlib.Lexing.lexbuf -> int -> unit
Sourceval lexer : Stdlib.Lexing.lexbuf -> Parser.token