package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

A parser library

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (11)

Authors

G

Guillaume Bury <guillaume.bury@gmail.com>

Maintainers

G

Guillaume Bury <guillaume.bury@gmail.com>

Sources

dolmen-v0.6.tbz

sha256=81b034da2de84da19fb6368aaa39135f6259ee2773ff08c8f03da9ceeb10748c

sha512=98786ff1cc5b0c8bc4cb2dfe756ae15556c3876a206546b04374826be7d0a422dd5526d93f09cb0ea0d4985b71c408c182a951d4df908399c7e04b17c91a7d70

doc/dolmen.std/Dolmen_std/Loc/index.html

Module `Dolmen_std.Loc`Source

Standard implementation of file locations.

Interface definition

Sourcetype loc = {

file : string;
start_line : int;
start_column : int;
stop_line : int;
stop_column : int;

}

A full location, including file, start position and end position. Dummy positions (i.e. with start_line = stop_line and start_column = stop_column) are allowed to represent unknown locations.

Sourcetype file

Meta-data about files to enable more compact location storage.

Sourcetype t

A compact representation of locations.

Sourcetype full = {

file : file;
loc : t;

}

Interface definition

Sourcemodule type S = Dolmen_intf.Location.S

An anstract module type for providing locations. Used as argumentby much of the functors provided in Dolmen.

This module implements the signature S.

include S with type t := t and type file := file

Sourceexception Uncaught of t * exn * Printexc.raw_backtrace

The exception to be raised whenever an unexpected exception is raised during parsing.

Sourceexception Lexing_error of t * string

The exception to be raised when the lexer cannot parse the input.

Source

exception Syntax_error of t
  * [ `Regular of Dolmen_intf.Msg.t
    | `Advanced of Dolmen_intf.Msg.t * Dolmen_intf.Msg.t * Dolmen_intf.Msg.t ]

Syntax_error (loc, msg) denotes a syntax error at the given location. In the `Advanced (prod, parsed, expected) case,

prod is a delayed message to print in order to identify which production/syntax construction the parser was trying to reduce,
parsed is a description of the token which raised the error,
expected is a messages describing what would have been corect tokens/inputs at that point.

Sourceval of_lexbuf : Lexing.lexbuf -> t

Make a position using a lexbuf directly.

Sourceval mk_pos : Lexing.position -> Lexing.position -> t

Make a position from two lewing positions.

Sourceval newline : file -> Lexing.lexbuf -> unit

Offer a way for the file meta-data to store the current location of the lexbuf as the start of a new line.

Sourceval hash : t -> int

Hashing function.

Sourceval eq : t -> t -> bool

Location equality.

Sourceval no_loc : t

An dummy location pointing at the first byte of a file.

Sourceval is_dummy : loc -> bool

Is the location ana ctual location, or a dummy one ?

Compact location handling

Sourceval mk_file : string -> file

Create a new set of meta-data for the given filename.

Sourceval new_line : file -> int -> unit

Register a new line whose first char is at the given offset.

Compact<->full translations

Sourceval loc : file -> t -> loc

Sourceval full_loc : full -> loc

Return a complete location from a compact location and meta-data.

Sourceval compact : loc -> file * t

Compactify a full location into a compact representation.

Printing locations

Sourceval pp : Buffer.t -> loc -> unit

Sourceval fmt : Format.formatter -> loc -> unit

Sourceval fmt_pos : Format.formatter -> loc -> unit

Sourceval fmt_hint : Format.formatter -> loc -> unit

Printing functions

Sourceval file_name : file -> string

Filename for a file

On This Page

Interface definition
Interface definition
Compact location handling
Compact<->full translations
Printing locations

package dolmen

Install

Dune Dependency

Authors

Maintainers

Sources

doc/dolmen.std/Dolmen_std/Loc/index.html

Module Dolmen_std.LocSource

Interface definition

Interface definition

Compact location handling

Compact<->full translations

Printing locations

Module `Dolmen_std.Loc`Source