File: stdpp.mli

package info (click to toggle)
camlp5 6.11%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 7,556 kB
  • ctags: 17,290
  • sloc: ml: 78,361; sh: 1,430; makefile: 1,217
file content (45 lines) | stat: -rw-r--r-- 1,413 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
(* camlp5r *)
(* File generated by program: edit only if it does not compile. *)
(* Copyright (c) INRIA 2007-2012 *)

(** Module deprecated since Camlp5 version 5.00. Use now module Ploc.
    Compatibility assumed. *)

type location = Ploc.t;;

(*
exception Exc_located of location and exn;
   Exception removed: replace it with [Ploc.Exc] in your programs.
*)
val raise_with_loc : location -> exn -> 'a;;
   (** Use now [Ploc.raise] *)

val make_lined_loc : int -> int -> int * int -> location;;
   (** Use now [Ploc.make] *)
val make_loc : int * int -> location;;
   (** Use now [Ploc.make_unlined] *)
val dummy_loc : location;;
   (** Use now [Ploc.dummy] *)

val first_pos : location -> int;;
   (** Use now [Ploc.first_pos] *)
val last_pos : location -> int;;
   (** Use now [Ploc.last_pos] *)
val line_nb : location -> int;;
   (** Use now [Ploc.last_pos] *)
val bol_pos : location -> int;;
   (** Use now [Ploc.bol_pos] *)

val encl_loc : location -> location -> location;;
   (** Use now [Ploc.encl] *)
val shift_loc : int -> location -> location;;
   (** Use now [Ploc.shift] *)
val sub_loc : location -> int -> int -> location;;
   (** Use now [Ploc.sub] *)
val after_loc : location -> int -> int -> location;;
   (** Use now [Ploc.after] *)

val loc_name : string ref;;
   (** Use now [Ploc.name] *)
val line_of_loc : string -> location -> string * int * int * int;;
   (** Use now [Ploc.from_file] *)