diff src/c/urweb.c @ 832:249740301a0a

Fix pathmap bug; expose lower-level heap manipulation from C
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 May 2009 13:43:02 -0400
parents 5e1a4b12c83a
children 74a1e3bdf430
line wrap: on
line diff
--- a/src/c/urweb.c	Sun May 31 12:41:34 2009 -0400
+++ b/src/c/urweb.c	Sun May 31 13:43:02 2009 -0400
@@ -1033,10 +1033,18 @@
   }
 }
 
-static void uw_check_heap(uw_context ctx, size_t extra) {
+void uw_check_heap(uw_context ctx, size_t extra) {
   buf_check_ctx(ctx, &ctx->heap, extra, "heap chunk");
 }
 
+char *uw_heap_front(uw_context ctx) {
+  return ctx->heap.front;
+}
+
+void uw_set_heap_front(uw_context ctx, char *fr) {
+  ctx->heap.front = fr;
+}
+
 void *uw_malloc(uw_context ctx, size_t len) {
   void *result;