#import "gdb.h"


void set_view_host()
{
    error("Viewing not supported.");
}

void set_view_program()
{
    error("Viewing not supported.");
}

void tell_displayer_frame_changed() {}
void tell_displayer_to_quit() {}
void tell_displayer_state_changed() {}
void connect_to(const char *clientName) {}
void set_noprompt(){};

int do_display_lines = 0;
int noprompt = 0;

void tell_displayer_display_lines()
{
    error("Viewing not supported.");
}

void voyeurResume() {}

void initLoaded() {}
CORE_ADDR changedAddress;
void getLoadedSymbols() {}
BOOL loadSymbolsForInfo() { return 1; }
void insertLoadBreakpoint() {}
void unloadStatesFrom() {}
void removeLoadBreakpoint() {}
