mei_rt2mei_rt2_fix_1
|
Last change
on this file since 20eaefe was
f2d67a5,
checked in by Mei <mei@…>, 12 years ago
|
|
1) put back that yap info line in the saved example output
|
-
Property mode set to
100644
|
|
File size:
994 bytes
|
| Rev | Line | |
|---|
| [f2d67a5] | 1 | % Restoring file /usr/local/lib/Yap/startup.yss |
|---|
| [2efdff5] | 2 | |
|---|
| [f824a9e] | 3 | ...final principal set... |
|---|
| 4 | (pBob,keyid,y) |
|---|
| 5 | (pMary,keyid,y) |
|---|
| 6 | (pRalphs,keyid,y) |
|---|
| 7 | |
|---|
| 8 | ...final policy attribute set... |
|---|
| 9 | pRalphs.fruitprice(1.50) <- 'apple' |
|---|
| 10 | pRalphs.fruitprice(2.50) <- 'black berry' |
|---|
| 11 | pRalphs.fruitprice(1.50) <- 'kiwi' |
|---|
| 12 | pRalphs.fruitprice(0.50) <- 'navel orange' |
|---|
| [2efdff5] | 13 | pBob.what2eat <- pRalphs.fruitprice(P:[1.000000..5.000000]) |
|---|
| 14 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
|---|
| [f824a9e] | 15 | |
|---|
| [7211a95] | 16 | ===good============ mary.what2eat <- navel orange |
|---|
| 17 | YAP query succeed |
|---|
| [2efdff5] | 18 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
|---|
| [7211a95] | 19 | pRalphs.fruitprice(0.50) <- 'navel orange' |
|---|
| 20 | |
|---|
| 21 | ===good============ mary.what2eat <- kiwi |
|---|
| 22 | YAP query succeed |
|---|
| [2efdff5] | 23 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
|---|
| [7211a95] | 24 | pRalphs.fruitprice(1.50) <- 'kiwi' |
|---|
| 25 | |
|---|
| 26 | ===bad============ bob.what2eat <- navel orange |
|---|
| 27 | YAP query failed |
|---|
| 28 | |
|---|
| 29 | ===good============ ralphs.fruitprice(1.50) <- apple |
|---|
| 30 | YAP query succeed |
|---|
| 31 | pRalphs.fruitprice(1.50) <- 'apple' |
|---|
| 32 | |
|---|
| 33 | ===bad============ ralphs.fruitprice(1.50) <- green apple |
|---|
| 34 | YAP query failed |
|---|
Note: See
TracBrowser
for help on using the repository browser.
