diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2007-04-25 15:08:17 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2007-04-25 15:08:17 +0000 |
| commit | 1a06fa7e4a300880848047118f0adba68d38348d (patch) | |
| tree | e6b01d6f4feae969f9905d5245648532db254c42 /perl_checker.src/info.mli | |
| parent | e895f6b48826f09aeaada321d03a1d10548fc9ce (diff) | |
| download | perl-MDK-Common-1a06fa7e4a300880848047118f0adba68d38348d.tar perl-MDK-Common-1a06fa7e4a300880848047118f0adba68d38348d.tar.gz perl-MDK-Common-1a06fa7e4a300880848047118f0adba68d38348d.tar.bz2 perl-MDK-Common-1a06fa7e4a300880848047118f0adba68d38348d.tar.xz perl-MDK-Common-1a06fa7e4a300880848047118f0adba68d38348d.zip | |
re-sync after the big svn loss
Diffstat (limited to 'perl_checker.src/info.mli')
| -rw-r--r-- | perl_checker.src/info.mli | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/perl_checker.src/info.mli b/perl_checker.src/info.mli deleted file mode 100644 index d337316..0000000 --- a/perl_checker.src/info.mli +++ /dev/null @@ -1,17 +0,0 @@ -val lines_starts : (string, int list) Hashtbl.t -val current_file_lines_starts : int list ref -val current_file_current_line : int ref -val current_file : string ref -val start_a_new_file : string -> unit -val add_a_file : string -> int list -> unit -val get_lines_starts_for_file : string -> int list -val file_to_absolute_file : string -> string -val absolute_file_to_file : string -> string -val raw_pos2raw_line : string -> int -> int * int -val pos2line : string * int * int -> string * int * int * int -val pos2s : string * int * int -> string -val pos2sfull : string * int * int -> string -val pos2s_for_po : string * int * int -> string -val is_on_same_line : string -> int * int -> bool -val is_on_same_line_current : int * int -> bool -val pos2sfull_current : int -> int -> string |