Context Navigation

fruit.save @ c6d5da3

mei_rt2mei_rt2_fix_1

Last change on this file since c6d5da3 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

Rev	Line
[7211a95]	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.