Lines Matching refs:resultContext
146 RewritingContext* resultContext = in metaApply() local
149 resultContext->tracePostRuleRewrite(replacement); in metaApply()
150 resultContext->reduce(); in metaApply()
151 context.addInCount(*resultContext); in metaApply()
153 result = metaLevel->upResultTriple(resultContext->root(), in metaApply()
157 delete resultContext; in metaApply()
270 RewritingContext* resultContext = in metaXapply() local
273 resultContext->tracePostRuleRewrite(top.second); in metaXapply()
274 resultContext->reduce(); in metaXapply()
275 context.addInCount(*resultContext); in metaXapply()
277 result = metaLevel->upResult4Tuple(resultContext->root(), in metaXapply()
282 delete resultContext; in metaXapply()