2002-03-27 08:20:32 -08:00
|
|
|
(***********************************************************************)
|
2012-08-01 05:09:31 -07:00
|
|
|
(* *)
|
2002-03-27 08:20:32 -08:00
|
|
|
(* OCamldoc *)
|
|
|
|
(* *)
|
|
|
|
(* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *)
|
|
|
|
(* *)
|
|
|
|
(* Copyright 2001 Institut National de Recherche en Informatique et *)
|
|
|
|
(* en Automatique. All rights reserved. This file is distributed *)
|
|
|
|
(* under the terms of the Q Public License version 1.0. *)
|
|
|
|
(* *)
|
|
|
|
(***********************************************************************)
|
|
|
|
|
|
|
|
(** Representation and manipulation of exceptions. *)
|
|
|
|
|
|
|
|
module Name = Odoc_name
|
|
|
|
|
|
|
|
type exception_alias = {
|
|
|
|
ea_name : Name.t ;
|
|
|
|
mutable ea_ex : t_exception option ;
|
2010-01-22 04:48:24 -08:00
|
|
|
}
|
2002-03-27 08:20:32 -08:00
|
|
|
|
|
|
|
and t_exception = {
|
|
|
|
ex_name : Name.t ;
|
|
|
|
mutable ex_info : Odoc_types.info option ; (** optional user information *)
|
|
|
|
ex_args : Types.type_expr list ; (** the types of the parameters *)
|
2014-05-04 16:08:45 -07:00
|
|
|
ex_ret: Types.type_expr option ; (** the optional return type *)
|
2002-03-27 08:20:32 -08:00
|
|
|
ex_alias : exception_alias option ;
|
|
|
|
mutable ex_loc : Odoc_types.location ;
|
2003-07-04 04:39:50 -07:00
|
|
|
mutable ex_code : string option ;
|
2010-01-22 04:48:24 -08:00
|
|
|
}
|