Re: Contracts and communication channels in Shill [was Re: Shill: capability-based shell]
Anton Burtsev <[email protected]>
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <[email protected]> |
I've meant something along the lines of
foo(channel c, capability bar, capability buz) {
c->send(bar);
}
In this code I would like to make sure that foo() doesn't send the "buz"
capability over the channel c. I guess, I can somehow express this with a
a contract.
Anton
On Fri, Oct 10, 2014 at 12:26:35PM -0400, Scott Moore wrote:
> I'm not sure if I addressed your question. Could you elaborate on the kind
> of communication pattern you mean?