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

[Jonathan S. Shapiro]

On Fri, 2006-04-28 at 01:26 +0200, Pierre THIERRY wrote:
> Scribit Jonathan S. Shapiro dies 27/04/2006 hora 19:12:
> > > >    {
> > > >         if (discrim.classify(theCap) == ctInvalid
> > > >            return ctInvalid;
> > > >         else
> > > >            return theCap.getType();
> > > >    }
> > > 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.
> 
> You said previously that theCap.getType() would invoke the cap.

Yes. That is why the discrim.safeGetType() operation is the preferred
one to use in practice.

shap