viewcvs.cgi/parser/location.mli

(* Locations in source file,
   and presentation of results and errors *)

type loc = int * int
exception Location of loc * exn
exception Generic of string
val noloc:loc

val raise_generic: string -> 'a
val raise_loc_generic: loc -> string -> 'a

type source = [ `None | `File of string | `Stream | `String of string ]
val set_source: source -> unit

val warning_ppf : Format.formatter ref

type viewport = [ `Html | `Text ]
val set_viewport: viewport -> unit

val protect: Format.formatter -> (Format.formatter -> unit) -> unit

val print_loc: Format.formatter -> loc -> unit
val dump_loc: Format.formatter -> loc -> unit
val html_hilight: Format.formatter -> loc -> unit

type 'a located = { loc : loc; descr : 'a }
val mk: loc -> 'a -> 'a located


(* Are we working in a protected environement (web prototype ...) ? *)
val set_protected : bool -> unit
val is_protected : unit -> bool
val protect_op : string -> unit
1	(* Locations in source file,
2	and presentation of results and errors *)
3
4	type loc = int * int
5	exception Location of loc * exn
6	exception Generic of string
7	val noloc:loc
8
9	val raise_generic: string -> 'a
10	val raise_loc_generic: loc -> string -> 'a
11
12	type source = [ `None \| `File of string \| `Stream \| `String of string ]
13	val set_source: source -> unit
14
15	val warning_ppf : Format.formatter ref
16
17	type viewport = [ `Html \| `Text ]
18	val set_viewport: viewport -> unit
19
20	val protect: Format.formatter -> (Format.formatter -> unit) -> unit
21
22	val print_loc: Format.formatter -> loc -> unit
23	val dump_loc: Format.formatter -> loc -> unit
24	val html_hilight: Format.formatter -> loc -> unit
25
26	type 'a located = { loc : loc; descr : 'a }
27	val mk: loc -> 'a -> 'a located
28
29
30	(* Are we working in a protected environement (web prototype ...) ? *)
31	val set_protected : bool -> unit
32	val is_protected : unit -> bool
33	val protect_op : string -> unit