1996-11-29 08:55:09 -08:00
|
|
|
(***********************************************************************)
|
|
|
|
|
(* *)
|
|
|
|
|
(* Objective Caml *)
|
|
|
|
|
(* *)
|
|
|
|
|
(* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
|
|
|
|
|
(* Objective Caml port by John Malecki and Xavier Leroy *)
|
|
|
|
|
(* *)
|
|
|
|
|
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
|
|
|
|
(* Automatique. Distributed only by permission. *)
|
|
|
|
|
(* *)
|
|
|
|
|
(***********************************************************************)
|
|
|
|
|
|
|
|
|
|
(* $Id$ *)
|
|
|
|
|
|
1997-01-05 06:04:06 -08:00
|
|
|
open Types
|
|
|
|
|
open Parser_aux
|
|
|
|
|
|
1997-03-22 12:16:52 -08:00
|
|
|
val path : Instruct.debug_event -> Path.t -> Debugcom.Remote_value.t
|
1997-01-05 06:04:06 -08:00
|
|
|
val expression :
|
|
|
|
|
Instruct.debug_event -> Env.t -> expression ->
|
1997-03-22 12:16:52 -08:00
|
|
|
Debugcom.Remote_value.t * type_expr
|
1997-01-05 06:04:06 -08:00
|
|
|
|
|
|
|
|
type error =
|
|
|
|
|
Unbound_identifier of Ident.t
|
|
|
|
|
| Not_initialized_yet of Path.t
|
|
|
|
|
| Unbound_long_identifier of Longident.t
|
|
|
|
|
| Unknown_name of int
|
|
|
|
|
| Tuple_index of type_expr * int * int
|
|
|
|
|
| Array_index of int * int
|
|
|
|
|
| List_index of int * int
|
|
|
|
|
| String_index of string * int * int
|
|
|
|
|
| Wrong_item_type of type_expr * int
|
|
|
|
|
| Wrong_label of type_expr * string
|
|
|
|
|
| Not_a_record of type_expr
|
|
|
|
|
| No_result
|
|
|
|
|
|
|
|
|
|
exception Error of error
|
|
|
|
|
|
|
|
|
|
val report_error: error -> unit
|
