comparison src/insert_verification/main.c @ 32:be67b0312bea

Convert "showTrace" function to CodeSegment
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 07 Jun 2016 15:12:18 +0900
parents d2073e23f206
children 593ab851ad76
comparison
equal deleted inserted replaced
31:d2073e23f206 32:be67b0312bea
94 context->next = VerifySpecification; 94 context->next = VerifySpecification;
95 } 95 }
96 goto meta(context, Put); 96 goto meta(context, Put);
97 } 97 }
98 98
99 __code showTrace_stub(struct Context* context) {
100 goto showTrace(context, &context->data[Iter]->iterator);
101 }
102
99 __code verifySpecification_stub(struct Context* context) { 103 __code verifySpecification_stub(struct Context* context) {
100 goto verifySpecification(context, &context->data[Tree]->tree, &context->data[Iter]->iterator); 104 goto verifySpecification(context, &context->data[Tree]->tree, &context->data[Iter]->iterator);
101 } 105 }
102 106
103 __code duplicateIterator_stub(struct Context* context) { 107 __code duplicateIterator_stub(struct Context* context) {