Mercurial > hg > Gears > GearsAgda

diff src/llrb/llrbContext.c @ 83:c13575c3dbe9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use stack
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Thu, 07 Jan 2016 08:20:03 +0900
parents dc6f665bb753
children
line wrap: on
line diff
--- a/src/llrb/llrbContext.c	Fri Dec 11 15:07:10 2015 +0900
+++ b/src/llrb/llrbContext.c	Thu Jan 07 08:20:03 2016 +0900
@@ -26,7 +26,7 @@
 extern __code insert4_1_stub(struct Context*);
 extern __code insert4_2_stub(struct Context*);
 extern __code insert5_stub(struct Context*);
-extern __code insert5_1_stub(struct Context*);
+extern __code stackClear_stub(struct Context*);
 extern __code get_stub(struct Context*);
 extern __code search_stub(struct Context*);
 extern __code delete_stub(struct Context*);
@@ -73,23 +73,23 @@
     context->code[InsertCase4_1] = insert4_1_stub;
     context->code[InsertCase4_2] = insert4_2_stub;
     context->code[InsertCase5]   = insert5_stub;
-    context->code[InsertCase5_1] = insert5_1_stub;
-    context->code[Get]        = get_stub;
-    context->code[Search]        = search_stub;
-    context->code[Delete]        = delete_stub;
-    context->code[Delete1]       = delete1_stub;
-    context->code[Delete2]       = delete2_stub;
-    context->code[Delete3]       = delete3_stub;
-    context->code[Replace_d1] = replaceNodeForDelete1_stub;
-    context->code[Replace_d2] = replaceNodeForDelete2_stub;
-    context->code[FindMax1]    = findMax1_stub;
-    context->code[FindMax2]    = findMax2_stub;
-    context->code[DeleteCase1]   = deleteCase1_stub;
-    context->code[DeleteCase2]   = deleteCase2_stub;
-    context->code[DeleteCase3]   = deleteCase3_stub;
-    context->code[DeleteCase4]   = deleteCase4_stub;
-    context->code[DeleteCase5]   = deleteCase5_stub;
-    context->code[DeleteCase6]   = deleteCase6_stub;
+    context->code[StackClear]    = stackClear_stub;
+    /* context->code[Get]        = get_stub; */
+    /* context->code[Search]        = search_stub; */
+    /* context->code[Delete]        = delete_stub; */
+    /* context->code[Delete1]       = delete1_stub; */
+    /* context->code[Delete2]       = delete2_stub; */
+    /* context->code[Delete3]       = delete3_stub; */
+    /* context->code[Replace_d1] = replaceNodeForDelete1_stub; */
+    /* context->code[Replace_d2] = replaceNodeForDelete2_stub; */
+    /* context->code[FindMax1]    = findMax1_stub; */
+    /* context->code[FindMax2]    = findMax2_stub; */
+    /* context->code[DeleteCase1]   = deleteCase1_stub; */
+    /* context->code[DeleteCase2]   = deleteCase2_stub; */
+    /* context->code[DeleteCase3]   = deleteCase3_stub; */
+    /* context->code[DeleteCase4]   = deleteCase4_stub; */
+    /* context->code[DeleteCase5]   = deleteCase5_stub; */
+    /* context->code[DeleteCase6]   = deleteCase6_stub; */
     context->code[Exit]       = exit_code;
     
     context->heap = context->heapStart;
@@ -110,6 +110,6 @@
     tree->current = 0;
     tree->deleted = 0;
     
-    context->node_stack = stack_init(sizeof(union Data*), num);
+    context->node_stack = stack_init(sizeof(struct Node*), 100);
     context->code_stack = stack_init(sizeof(enum Code), 100);
 }