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. Confusingly, Nowhere man -- [EMAIL PROTECTED] OpenPGP 0xD9D50D8A
signature.asc
Description: Digital signature
_______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
