summaryrefslogtreecommitdiffstats
path: root/byterun/debugger.c
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-09-02 12:55:01 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-09-02 12:55:01 +0000
commit1517cea772058b0fcbe778d05b8b99c7e6f3b25f (patch)
treea2d817fe623f81b7729ed3cd2e128cad91eca02b /byterun/debugger.c
parentd75918f7e459b507ac6b4b95f14df0a1eedd4937 (diff)
Sources C convertis en ANSI C
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/debugger.c')
-rw-r--r--byterun/debugger.c25
1 files changed, 9 insertions, 16 deletions
diff --git a/byterun/debugger.c b/byterun/debugger.c
index 368011d8b..d8ffc0dd4 100644
--- a/byterun/debugger.c
+++ b/byterun/debugger.c
@@ -32,12 +32,11 @@ unsigned long event_count;
#if !defined(HAS_SOCKETS) || defined(_WIN32)
-void debugger_init()
+void debugger_init(void)
{
}
-void debugger(event)
- enum event_kind event;
+void debugger(enum event_kind event)
{
}
@@ -66,7 +65,7 @@ static int dbg_socket = -1; /* The socket connected to the debugger */
static struct channel * dbg_in; /* Input channel on the socket */
static struct channel * dbg_out;/* Output channel on the socket */
-static void open_connection()
+static void open_connection(void)
{
dbg_socket = socket(sock_domain, SOCK_STREAM, 0);
if (dbg_socket == -1 ||
@@ -79,14 +78,14 @@ static void open_connection()
flush(dbg_out);
}
-static void close_connection()
+static void close_connection(void)
{
close_channel(dbg_in);
close_channel(dbg_out);
dbg_socket = -1; /* was closed by close_channel */
}
-void debugger_init()
+void debugger_init(void)
{
char * address;
char * port, * p;
@@ -131,8 +130,7 @@ void debugger_init()
trap_barrier = stack_high;
}
-static value getval(chan)
- struct channel * chan;
+static value getval(struct channel *chan)
{
value res;
if (really_getblock(chan, (char *) &res, sizeof(res)) == 0)
@@ -140,16 +138,12 @@ static value getval(chan)
return res;
}
-static void putval(chan, val)
- struct channel * chan;
- value val;
+static void putval(struct channel *chan, value val)
{
really_putblock(chan, (char *) &val, sizeof(val));
}
-static void safe_output_value(chan, val)
- struct channel * chan;
- value val;
+static void safe_output_value(struct channel *chan, value val)
{
struct longjmp_buffer raise_buf, * saved_external_raise;
@@ -170,8 +164,7 @@ static void safe_output_value(chan, val)
#define Extra_args(sp) (Long_val((sp[2])))
#define Locals(sp) (sp + 3)
-void debugger(event)
- enum event_kind event;
+void debugger(enum event_kind event)
{
int frame_number;
value * frame;