Context Navigation

fruit.save @ efd7ebe

mei_rt2mei_rt2_fix_1

Last change on this file since efd7ebe was 2efdff5, checked in by Mei <mei@…>, 12 years ago

1) fix the missing check for 'This' rt2.y when called from creddy/prover

combo

2) patch up the stringify of abac_term that is of time type.
3) update the testing to reflect the changes to baseline output

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...
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'
13	pBob.what2eat <- pRalphs.fruitprice(P:[1.000000..5.000000])
14	pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000])
15
16	===good============ mary.what2eat <- navel orange
17	YAP query succeed
18	pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000])
19	pRalphs.fruitprice(0.50) <- 'navel orange'
20
21	===good============ mary.what2eat <- kiwi
22	YAP query succeed
23	pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000])
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.