package p4spectec

  1. Overview
  2. Docs
P4-SpecTec: A mechanization toolchain for the P4 Programming Language

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (2)

Authors

  1. K
    KAIST PLRG

Maintainers

  1. 9
    99jaehyunlee@kaist.ac.kr

Sources

v0.1.2.tar.gz
md5=1a3bc0a385fe1ecf403c019f49aa6de6
sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714

doc/p4/P4/Lexer/index.html

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