GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages
Location(3) OCamldoc Location(3)

Location - Source code locations (ranges of positions), used in parsetree.

Module Location

Module Location : sig end

Source code locations (ranges of positions), used in parsetree.

type t = { loc_start : Lexing.position ; loc_end : Lexing.position ; loc_ghost : bool ; }

=== Note on the use of Lexing.position in this module. If pos_fname = , then use !input_name instead. If pos_lnum = -1, then pos_bol = 0. Use pos_cnum and re-parse the file to get the line and character numbers. Else all fields are correct. ===

val none : t

An arbitrary value of type t ; describes an empty ghost range.

val in_file : string -> t

Return an empty ghost range located in a given file.

val init : Lexing.lexbuf -> string -> unit

Set the file name and line number of the lexbuf to be the start of the named file.

val curr : Lexing.lexbuf -> t

Get the location of the current token from the lexbuf .

val symbol_rloc : unit -> t

val symbol_gloc : unit -> t

val rhs_loc : int -> t

rhs_loc n returns the location of the symbol at position n , starting at 1, in the current parser rule.

val input_name : string Pervasives.ref

val input_lexbuf : Lexing.lexbuf option Pervasives.ref

val get_pos_info : Lexing.position -> string * int * int

val print_loc : Format.formatter -> t -> unit

val print_error : Format.formatter -> t -> unit

val print_error_cur_file : Format.formatter -> unit -> unit

val print_warning : t -> Format.formatter -> Warnings.t -> unit

val formatter_for_warnings : Format.formatter Pervasives.ref

val prerr_warning : t -> Warnings.t -> unit

val echo_eof : unit -> unit

val reset : unit -> unit

val warning_printer : (t -> Format.formatter -> Warnings.t -> unit) Pervasives.ref

Hook for intercepting warnings.

val default_warning_printer : t -> Format.formatter -> Warnings.t -> unit

Original warning printer for use in hooks.

val highlight_locations : Format.formatter -> t list -> bool

type 'a loc = { txt : 'a ; loc : t ; }

val mknoloc : 'a -> 'a loc

val mkloc : 'a -> t -> 'a loc

val print : Format.formatter -> t -> unit

val print_compact : Format.formatter -> t -> unit

val print_filename : Format.formatter -> string -> unit

val absolute_path : string -> string

val show_filename : string -> string

In -absname mode, return the absolute path for this filename. Otherwise, returns the filename unchanged.

val absname : bool Pervasives.ref

type error = { loc : t ; msg : string ; sub : error list ; if_highlight : string ; }

exception Error of error

val print_error_prefix : Format.formatter -> unit -> unit

val error : ?loc:t -> ?sub:error list -> ?if_highlight:string -> string -> error

val errorf : ?loc:t -> ?sub:error list -> ?if_highlight:string -> ('a, Format.formatter, unit, error) Pervasives.format4 -> 'a

val raise_errorf : ?loc:t -> ?sub:error list -> ?if_highlight:string -> ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a

val error_of_printer : t -> (Format.formatter -> 'a -> unit) -> 'a -> error

val error_of_printer_file : (Format.formatter -> 'a -> unit) -> 'a -> error

val error_of_exn : exn -> error option

val register_error_of_exn : (exn -> error option) -> unit

val report_error : Format.formatter -> error -> unit

val error_reporter : (Format.formatter -> error -> unit) Pervasives.ref

Hook for intercepting error reports.

val default_error_reporter : Format.formatter -> error -> unit

Original error reporter for use in hooks.

val report_exception : Format.formatter -> exn -> unit

source: 2022-04-09

Search for    or go to Top of page |  Section 3 |  Main Index

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with ManDoc.