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