Positions

#

type t

Abstract type for pairs of positions in the lexing stream.

#

type 'a located = {

# value	: 'a	;
# position	: t	;

}

Decoration of a value with a position.

#

val value : 'a located -> 'a

value dv returns the raw value that underlies the decorated value dv.

#

val position : 'a located -> t

position dv returns the position that decorates the decorated value dv.

#

val with_pos : t -> 'a -> 'a located

with_pos p v decorates v with a position p.

#

val with_cpos : Lexing.lexbuf -> 'a -> 'a located

#

val with_poss : Lexing.position -> Lexing.position -> 'a -> 'a located

#

val unknown_pos : 'a -> 'a located

#

val map : ('a -> 'b) -> 'a located -> 'b located

map f v extends the decoration from v to f v.

#

val iter : ('a -> unit) -> 'a located -> unit

iter f dv applies f to the value inside dv.

#

val mapd : ('a -> 'b1 * 'b2) -> 'a located -> 'b1 located * 'b2 located

mapd f v extends the decoration from v to both members of the pair f v.

#

val dummy : t

This value is used when an object does not from a particular input location.

#

val column : Lexing.position -> int

column p returns the number of characters from the beginning of the line of the Lexing.position p.

#

val line : Lexing.position -> int

column p returns the line number of to the Lexing.position p.

#

val characters : Lexing.position -> Lexing.position -> int * int

characters p1 p2 returns the character interval between p1 and p2 assuming they are located in the same line.

#

val start_of_position : t -> Lexing.position

#

val end_of_position : t -> Lexing.position

#

val filename_of_position : t -> string

#

val join : t -> t -> t

join p1 p2 returns a position that starts where p1 starts and stops where p2 stops.

#

val lex_join : Lexing.position -> Lexing.position -> t

#

val ljoinf : ('a -> t) -> 'a list -> t

#

val joinf : ('a -> t) -> 'a -> 'a -> t

#

val join_located : 'a located -> 'b located -> ('a -> 'b -> 'c) -> 'c located

#

val join_located_list : 'a located list -> ('a list -> 'b list) -> 'b list located

#

val string_of_lex_pos : Lexing.position -> string

string_of_lex_pos p returns a string representation for the lexing position p.

#

val string_of_pos : t -> string

string_of_pos p returns the standard (Emacs-like) representation of the position p.

#

val pos_or_undef : t option -> t

pos_or_undef po is the identity function except if po = None, in that case, it returns undefined_position.

#

val cpos : Lexing.lexbuf -> t

cpos lexbuf returns the current position of the lexer.

#

val string_of_cpos : Lexing.lexbuf -> string

string_of_cpos p returns a string representation of the lexer's current position.

#

type positions = t list

#

val one : Lexing.position -> positions

#

val two : Lexing.position -> Lexing.position -> positions

#

val lexbuf : Lexing.lexbuf -> positions

module Positions

Extended lexing positions

Accessors

Position handling

Interaction with the lexer runtime