Re: Cancellation forwarding protocol (was Re: Reliability of RPC services)

[Jonathan S. Shapiro]

On Fri, 2006-04-28 at 00:38 +0200, Pierre THIERRY wrote:
> Scribit Jonathan S. Shapiro dies 27/04/2006 hora 16:06:
> > This case is so universal that there will be a safeGetType() method on
> > the discrim interface. Discrim.safeGetType() will perform:
> > 
> >    {
> >     if (discrim.classify(theCap) == ctInvalid
> >            return ctInvalid;
> >         else
> >            return theCap.getType();
> >    }
> > 
> > This is actually implemented at the library level, and I had forgotten
> > about it.
> > 
> > Does this help?
> 
> In which case should this be used? When theCap is not send-once?

This is the version to use when you want the cap type without any risk
of triggering a send once cap. In practice, it is the one that you
should always use.

shap