/* %Z%%M% %I% %E% */

/*
 * Copyright (c) 1991-2005 by Wayne C. Gramlich.
 * All rights reserved.
 */

/* This file contains the declarations for the debugger: */

#ifndef RUN_TIME_EXPORTS_H
#define RUN_TIME_EXPORTS_H

#ifndef FILE_EXPORTS_H
#include "file_exports.h"
#endif

#ifndef RUN_TIME_TYPES_H
#include "run_time_types.h"
#endif

#ifndef STHEADERS_H
#include "stheaders.h"
#endif

extern void	run__time__alias_set(Run_time, Str, Str);
extern Str	run__time__argument_read(Run_time, Str);
extern void	run__time__breakpoint_at(Run_time, int);
extern void	run__time__breakpoint_in(Run_time, int);
extern void	run__time__breakpoints_prepare(Run_time, routine___object *);
extern void	run__time__button(Run_time, Str, Dbx_button);
extern int	run__time__chr_non_white_peek(Run_time);
extern void	run__time__cmd_loop(void);
extern Run_time	run__time__debug_initialize(Std_state, Vec(module___object *));
extern int	run__time__env_delete(Run_time, Str);
extern void	run__time__env_int_set(Run_time, Str, int);
extern void	run__time__env_state_set(Run_time, Std_state);
extern Str	run__time__env_str_get(Run_time, Str);
extern void	run__time__env_str_set(Run_time, Str, Str);
extern void	run__time__eol_read(Run_time);
extern int	run__time__eol_test(Run_time);
extern void	run__time__exec(Run_time);
extern int	run__time__int_read(Run_time, Str);
extern void	run__time__line_display(Run_time, routine___object *, int, int);
extern void	run__time__lower_case(Str);
extern void	run__time__pipe_command(Run_time, Dbxtool_cmd);
extern void	run__time__pipe_initialize(Run_time, int);
extern void	run__time__pipe_integer(Run_time, int);
extern void	run__time__pipe_string(Run_time, Str);
extern routine__info__type
		run__time__routine_info_get(Run_time, routine___object *);
extern void	run__time__signals_disable(void);
extern void	run__time__signals_enable(void);
extern Str	run__time__string_read(Run_time, Str);
extern void	run__time__unbutton(Run_time, Str);

#endif /* RUN_TIME_EXPORTS_H */