package frenetic

  1. Overview
  2. Docs
The Frenetic Programming Language and Runtime System

Install 

dune-project
 Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

  1. A
    Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

  1. N
    Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.netkat/Frenetic_netkat/LexBuffer/index.html

Module Frenetic_netkat.LexBufferSource

A custom lexbuffer that automatically keeps track of the source location. This module is a thin wrapper arounds sedlexing's default buffer, which does not provide this functionality.

Sourcetype t = {
  1. buf : Sedlexing.lexbuf;
  2. mutable pos : Lexing.position;
  3. mutable pos_mark : Lexing.position;
  4. mutable last_char : Core.Uchar.t option;
  5. mutable last_char_mark : Core.Uchar.t option;
}

the lex buffer type

Sourceval of_sedlex : ?file:string -> ?pos:Lexing.position -> Sedlexing.lexbuf -> t
Sourceval of_ascii_string : ?pos:Lexing.position -> string -> t
Sourceval of_ascii_file : Base.string -> t
Sourceval mark : t -> int -> unit

The next four functions are used by sedlex internally. See https://www.lexifi.com/sedlex/libdoc/Sedlexing.html.

Sourceval backtrack : t -> int
Sourceval start : t -> unit
Sourceval next_loc : t -> Lexing.position

location of next character

Sourceval cr : Core.Uchar.t
Sourceval next : t -> Uchar.t option

next character

Sourceval __private__next_int : t -> int
Sourceval raw : t -> int array
Sourceval ascii : ?skip:int -> ?drop:int -> t -> string