Mercurial > hg > CbC > old > akasha
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) { |