jon.recoil.org

Module Pos.RegionSource

Lexer regions

Sourcetype t

A region in a lexer stream

Sourceval create : Position.t -> Position.t -> t

Create a region from a starting and an ending position

Sourceval fst : t -> Position.t
Sourceval snd : t -> Position.t
Sourceval start_column : t -> int

Return the column where the region starts

Sourceval end_column : t -> int

Return the column where the region ends

Sourceval char_offset : t -> int

Get the region offset (number of characters from the beginning of the file

Sourceval length : t -> int

Get the lenght of a region

Sourceval start_line : t -> int

Return the line number where the region starts

Sourceval end_line : t -> int

Return the line number where the region ends

Sourceval zero : t

The empty region

Sourceval translate : t -> int -> t

translate t x shifts a region by x characters