xdi message
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
| [List Home]
Subject: A quick link contract riddle
- From: Markus Sabadello <markus.sabadello@xdi.org>
- To: OASIS - XDI TC <xdi@lists.oasis-open.org>
- Date: Mon, 15 Jul 2013 20:36:41 +0200
I thought I'd share this with the list:
Let's say we have this graph:
And this link contract in the same graph:
Now let's look at the following two messages:
Message 1:
=sender[$msg]!1$do/$get/(=a/+friend/=x)
=sender[$msg]!1/$do/$do
Message 2:
=sender[$msg]!1$do/$get/(=a/()/*b)
=sender[$msg]!1/$do/$do
Message 1 will obviously fail, because the link contract doesn't cover the requested statement.
Now my question is, will Message 2 fail or succeed? Anyone?
Markus
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
| [List Home]