source: examples/python_tests/evaluator_rt1/evaluator.save @ 5f551d3

mei_rt2mei_rt2_fix_1
Last change on this file since 5f551d3 was 5f551d3, checked in by Mei <mei@…>, 12 years ago

1) add more python examples
  • Property mode set to 100644
File size: 822 bytes
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2
3===good============ USC.evaluatorOf(Maryann) <- John
4YAP query succeed
5pUSC.evaluatorOf(K) <- pUSC.managerOf(K)
6pUSC.managerOf(K) <- pISI.managerOf(K)
7pISI.managerOf(pMaryann) <- pJohn
8
9===good============ USC.managerOf(Maryann) <- John
10YAP query succeed
11pUSC.managerOf(K) <- pISI.managerOf(K)
12pISI.managerOf(pMaryann) <- pJohn
13
14===good============  USC.employee <-?- John
15YAP query succeed
16pUSC.employee <- pISI.employee
17pISI.employee <- pJohn
18
19...final principal set...
20(pISI,keyid,y)
21(pJohn,keyid,y)
22(pMaryann,keyid,y)
23(pUSC,keyid,y)
24
25
26
27...final policy attribute set...
28pISI.employee <- pJohn
29pISI.employee <- pMaryann
30pISI.managerOf(pMaryann) <- pJohn
31pUSC.employee <- pISI.employee
32pUSC.evaluatorOf(K) <- pUSC.managerOf(K)
33pUSC.managerOf(K) <- pISI.managerOf(K)
34
35
Note: See TracBrowser for help on using the repository browser.