typename ContentObject::ResultType ContentObject::onForward(const Handler<Heap>& heap, const AntiSideEffect& val) { if(val.op == AntiSideEffect::None) { return Super::onForward(heap,val); } return execAntiSideEffect(heap,val); }
typename LabelObject::ResultType LabelObject::onBack(const Handler<Heap>& heap, const AntiSideEffect& val) { if(val.op == AntiSideEffect::None) { return Super::onBack(heap,val); } return execAntiSideEffect(heap,val); }
typename ElementServantObject::ResultType ElementServantObject::onForward(const Handler<Heap>& heap, const AntiSideEffect& val) { switch(val.op){ case AntiSideEffect::None: return Super::onForward(heap, val); default: return execAntiSideEffect(heap, val); } }