/* Ada language support definitions for GDB, the GNU debugger.
Copyright (C) 1992, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
- 2007, 2008 Free Software Foundation, Inc.
+ 2007, 2008, 2009 Free Software Foundation, Inc.
This file is part of GDB.
CORE_ADDR caller_task;
};
-int ada_task_is_alive (struct ada_task_info *task);
-
/* Assuming V points to an array of S objects, make sure that it contains at
least M objects, updating V and S as necessary. */
/* Defined in ada-lang.c */
-extern void ada_emit_char (int, struct ui_file *, int, int);
+extern void ada_emit_char (int, struct type *, struct ui_file *, int, int);
-extern void ada_printchar (int, struct ui_file *);
+extern void ada_printchar (int, struct type *, struct ui_file *);
-extern void ada_printstr (struct ui_file *, const gdb_byte *,
- unsigned int, int, int,
+extern void ada_printstr (struct ui_file *, struct type *, const gdb_byte *,
+ unsigned int, int,
const struct value_print_options *);
struct value *ada_convert_actual (struct value *actual,
struct type *formal_type0,
+ struct gdbarch *gdbarch,
CORE_ADDR *sp);
extern struct value *ada_value_subscript (struct value *, int,
extern int ada_is_bogus_array_descriptor (struct type *);
-extern struct type *ada_index_type (struct type *, int);
-
-extern struct value *ada_array_bound (struct value *, int, int);
-
extern char *ada_decode_symbol (const struct general_symbol_info*);
extern const char *ada_decode (const char*);
extern int valid_task_id (int);
-typedef void (ada_task_list_iterator_ftype) (struct ada_task_info *task);
-extern void iterate_over_live_ada_tasks
- (ada_task_list_iterator_ftype *iterator);
-
-extern void ada_adjust_exception_stop (bpstat bs);
-
-extern void ada_print_exception_stop (bpstat bs);
-
-extern int ada_get_current_task (ptid_t);
-
-extern int breakpoint_ada_task_match (CORE_ADDR, ptid_t);
-
-extern int ada_print_exception_breakpoint_nontask (struct breakpoint *);
-
-extern void ada_print_exception_breakpoint_task (struct breakpoint *);
-
-extern void ada_reset_thread_registers (void);
+extern int ada_get_task_number (ptid_t);
extern int ada_build_task_list (int warn_if_null);