Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/rb_tree.c @ 149:63ab65b28466
Add Gearef macro
author | one |
---|---|
date | Thu, 10 Nov 2016 20:37:52 +0900 |
parents | 473b7d990a1f |
children | 73c393f0dca3 |
line wrap: on
line diff
--- a/src/parallel_execution/rb_tree.c Thu Nov 10 12:07:53 2016 +0900 +++ b/src/parallel_execution/rb_tree.c Thu Nov 10 20:37:52 2016 +0900 @@ -43,7 +43,7 @@ &context->data[D_Stack]->stack, &context->data[D_Tree]->tree, &context->data[D_Node]->node, - &context->data[D_Traverse]->traverse, + &context->data[D_Traverse]->Traverse, context->data[D_Tree]->tree.root, newNode ); @@ -60,9 +60,10 @@ __code replaceNode_stub(struct Context* context) { goto replaceNode(context, - &context->data[D_Traverse]->traverse, - context->data[D_Traverse]->traverse.current, - context->data[D_Traverse]->traverse.newNode, + &context->data[D_Traverse]->Traverse, + context->data[D_Traverse]->Traverse.current, + //context->data[D_Traverse]->Traverse.newNode, + Gearef(context, Traverse)->newNode, &context->data[D_Stack]->stack); } @@ -90,12 +91,12 @@ __code replaceNode1_stub(struct Context* context) { struct Node* newnewNode = &ALLOCATE(context, Node)->node; goto replaceNode1(context, - &context->data[D_Traverse]->traverse, + &context->data[D_Traverse]->Traverse, &context->data[D_Node]->node, - context->data[D_Traverse]->traverse.current, - context->data[D_Traverse]->traverse.previous, + context->data[D_Traverse]->Traverse.current, + context->data[D_Traverse]->Traverse.previous, newnewNode, - context->data[D_Traverse]->traverse.result); + context->data[D_Traverse]->Traverse.result); } __code insertNode(struct Context* context, struct Traverse* traverse, struct Stack *nodeStack, struct Node* node, struct Node* newNode) { @@ -109,10 +110,10 @@ __code insertNode_stub(struct Context* context) { goto insertNode(context, - &context->data[D_Traverse]->traverse, + &context->data[D_Traverse]->Traverse, &context->data[D_Stack]->stack, &context->data[D_Node]->node, - context->data[D_Traverse]->traverse.newNode); + context->data[D_Traverse]->Traverse.newNode); } __code insertCase1(struct Context* context,struct Traverse* traverse, struct Tree* tree,struct Node *parent, struct Node *grandparent) { @@ -127,7 +128,7 @@ __code insertCase1_stub(struct Context* context) { goto insertCase1(context, - &context->data[D_Traverse]->traverse, + &context->data[D_Traverse]->Traverse, &context->data[D_Tree]->tree, &context->data[D_Stack]->stack.data->node, &context->data[D_Stack]->stack.data1->node); @@ -141,7 +142,7 @@ } __code insertCase2_stub(struct Context* context) { - goto insertCase2(context, &context->data[D_Traverse]->traverse); + goto insertCase2(context, &context->data[D_Traverse]->Traverse); } __code insertCase3(struct Context* context, struct Traverse* traverse, struct Stack* nodeStack) { @@ -166,7 +167,7 @@ } __code insertCase3_stub(struct Context* context) { - goto insertCase3(context, &context->data[D_Traverse]->traverse, + goto insertCase3(context, &context->data[D_Traverse]->Traverse, &context->data[D_Stack]->stack ); } @@ -200,7 +201,7 @@ } __code insertCase4_stub(struct Context* context) { - goto insertCase4(context, &context->data[D_Traverse]->traverse, &context->data[D_RotateTree]->rotateTree); + goto insertCase4(context, &context->data[D_Traverse]->Traverse, &context->data[D_RotateTree]->rotateTree); } __code insertCase5(struct Context* context, struct Traverse* traverse,struct Stack *nodeStack) { @@ -210,7 +211,7 @@ } __code insertCase5_stub(struct Context* context) { - goto insertCase5(context, &context->data[D_Traverse]->traverse, &context->data[D_Stack]->stack); + goto insertCase5(context, &context->data[D_Traverse]->Traverse, &context->data[D_Stack]->stack); } __code insertCase51(struct Context* context, struct Traverse* traverse, struct RotateTree *rotateTree, struct Node* current, struct Node* parent, struct Node* grandparent) { @@ -234,7 +235,7 @@ __code insertCase51_stub(struct Context* context) { struct Node* parent = &context->data[D_Stack]->stack.data->node; struct Node* grandparent = &context->data[D_Stack]->stack.data1->node; - goto insertCase51(context, &context->data[D_Traverse]->traverse,&context->data[D_RotateTree]->rotateTree, context->data[D_Traverse]->traverse.current, parent, grandparent); + goto insertCase51(context, &context->data[D_Traverse]->Traverse,&context->data[D_RotateTree]->rotateTree, context->data[D_Traverse]->Traverse.current, parent, grandparent); } __code rotateLeft(struct Context* context, struct Traverse* traverse,struct Stack* nodeStack) { @@ -327,7 +328,7 @@ } __code stackClear_stub(struct Context* context) { - goto stackClear(context, &context->data[D_Traverse]->traverse,&context->data[D_Stack]->stack); + goto stackClear(context, &context->data[D_Traverse]->Traverse,&context->data[D_Stack]->stack); } @@ -342,7 +343,7 @@ } __code get_stub(struct Context* context) { - goto get(context, &context->data[D_Tree]->tree, &context->data[D_Traverse]->traverse); + goto get(context, &context->data[D_Tree]->tree, &context->data[D_Traverse]->Traverse); } __code search(struct Context* context, struct Traverse* traverse, struct Node* node) { @@ -365,7 +366,7 @@ } __code search_stub(struct Context* context) { - goto search(context, &context->data[D_Traverse]->traverse, &context->data[D_Node]->node); + goto search(context, &context->data[D_Traverse]->Traverse, &context->data[D_Node]->node); } /* /\* __code delete(struct Context* context, struct Tree* tree) { *\/ */