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
_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd
