source: examples/python_tests/fruits_rt2/fruit.save @ 20eaefe

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
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2
3...final principal set...
4(pBob,keyid,y)
5(pMary,keyid,y)
6(pRalphs,keyid,y)
7
8...final policy attribute set...
9pRalphs.fruitprice(1.50) <- 'apple'
10pRalphs.fruitprice(2.50) <- 'black berry'
11pRalphs.fruitprice(1.50) <- 'kiwi'
12pRalphs.fruitprice(0.50) <- 'navel orange'
13pBob.what2eat <- pRalphs.fruitprice(P:[1.000000..5.000000])
14pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000])
15
16===good============ mary.what2eat <- navel orange
17YAP query succeed
18pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000])
19pRalphs.fruitprice(0.50) <- 'navel orange'
20
21===good============ mary.what2eat <- kiwi
22YAP query succeed
23pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000])
24pRalphs.fruitprice(1.50) <- 'kiwi'
25
26===bad============ bob.what2eat <- navel orange
27YAP query failed
28
29===good============ ralphs.fruitprice(1.50) <- apple
30YAP query succeed
31pRalphs.fruitprice(1.50) <- 'apple'
32
33===bad============ ralphs.fruitprice(1.50) <- green apple
34YAP query failed
Note: See TracBrowser for help on using the repository browser.