module Annotation:sig
..end
type
error =
| |
Empty_line |
| |
Invalid_block_start of |
| |
Invalid_annotation of |
| |
Invalid_reference_kind of |
exception Exception of error
type
call =
| |
Tail |
(* |
Optimized tail call.
| *) |
| |
Stack |
(* |
Normal stack call.
| *) |
| |
Inline |
(* |
Inlined call.
| *) |
type
ident =
| |
Definition |
(* |
Identifier definition.
| *) |
| |
Internal_reference |
(* |
Reference to internal identifier.
| *) |
| |
External_reference |
(* |
Reference to external identifier.
| *) |
type
t =
| |
Type of |
(* |
Expression type.
| *) |
| |
Call of |
(* |
Function call.
| *) |
| |
Ident of |
(* |
Identifier use or definition.
| *) |
type
position = {
|
filename : |
(* |
File name of position.
| *) |
|
line : |
(* |
Line of position.
| *) |
|
line_offset : |
(* |
Offset of line beginning.
| *) |
|
offset : |
(* |
Offset of position (from file start).
| *) |
type
block = {
|
range_start : |
(* |
Annotation start.
| *) |
|
range_end : |
(* |
Annotation end.
| *) |
|
elements : |
(* |
Annotation elements.
| *) |
typefile =
block list
val load_file : string -> file
Exception
if the file does
not respect the format of annotations.
Raises Sys_error
if the file does not exist.