| 267 | } |
| 268 | |
| 269 | Module* WhileModule::clone(CloneContext* ctx) const { |
| 270 | WhileModule* module(new WhileModule); |
| 271 | module->mInfo = mInfo; |
| 272 | if (nullptr != mCond.get()) { |
| 273 | module->mCond.reset(mCond->clone(ctx)); |
| 274 | module->registerModel({module->mCond}); |
| 275 | } |
| 276 | module->mBody.reset(mBody->clone(ctx)); |
| 277 | module->registerModel({module->mBody}); |
| 278 | return this->cloneBaseTo(ctx, module); |
| 279 | } |
| 280 | |
| 281 | }; |
| 282 | }; |
nothing calls this directly
no test coverage detected