+extern void create_ada_exception_catchpoint
+ (struct gdbarch *gdbarch, enum ada_exception_catchpoint_kind ex_kind,
+ const std::string &excep_string, const std::string &cond_string, int tempflag,
+ int disabled, int from_tty);
+
+/* Return true if BP is an Ada catchpoint. */
+
+extern bool is_ada_exception_catchpoint (breakpoint *bp);
+
+/* Some information about a given Ada exception. */
+
+struct ada_exc_info
+{
+ /* The name of the exception. */
+ const char *name;
+
+ /* The address of the symbol corresponding to that exception. */
+ CORE_ADDR addr;
+
+ bool operator< (const ada_exc_info &) const;
+ bool operator== (const ada_exc_info &) const;
+};
+
+extern std::vector<ada_exc_info> ada_exceptions_list (const char *regexp);
+