source:
examples/python_tests/fruits_rt2/fruit.save
@
212e99f
Last change on this file since 212e99f was bf68132, checked in by , 12 years ago | |
---|---|
|
|
File size: 946 bytes |
Rev | Line | |
---|---|---|
[2efdff5] | 1 | |
[f824a9e] | 2 | ...final principal set... |
3 | (pBob,keyid,y) | |
4 | (pMary,keyid,y) | |
5 | (pRalphs,keyid,y) | |
6 | ||
7 | ...final policy attribute set... | |
8 | pRalphs.fruitprice(1.50) <- 'apple' | |
9 | pRalphs.fruitprice(2.50) <- 'black berry' | |
10 | pRalphs.fruitprice(1.50) <- 'kiwi' | |
11 | pRalphs.fruitprice(0.50) <- 'navel orange' | |
[2efdff5] | 12 | pBob.what2eat <- pRalphs.fruitprice(P:[1.000000..5.000000]) |
13 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) | |
[f824a9e] | 14 | |
[7211a95] | 15 | ===good============ mary.what2eat <- navel orange |
16 | YAP query succeed | |
[2efdff5] | 17 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
[7211a95] | 18 | pRalphs.fruitprice(0.50) <- 'navel orange' |
19 | ||
20 | ===good============ mary.what2eat <- kiwi | |
21 | YAP query succeed | |
[2efdff5] | 22 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
[7211a95] | 23 | pRalphs.fruitprice(1.50) <- 'kiwi' |
24 | ||
25 | ===bad============ bob.what2eat <- navel orange | |
26 | YAP query failed | |
27 | ||
28 | ===good============ ralphs.fruitprice(1.50) <- apple | |
29 | YAP query succeed | |
30 | pRalphs.fruitprice(1.50) <- 'apple' | |
31 | ||
32 | ===bad============ ralphs.fruitprice(1.50) <- green apple | |
33 | YAP query failed |
Note: See TracBrowser
for help on using the repository browser.