1 | % Restoring file /usr/local/lib/Yap/startup.yss |
---|
2 | |
---|
3 | ...final principal set... |
---|
4 | (pAlice,keyid,y) |
---|
5 | (pDormouse,keyid,y) |
---|
6 | (pHatter,keyid,y) |
---|
7 | (pMarchhare,keyid,y) |
---|
8 | (pParty,keyid,y) |
---|
9 | (pTea,keyid,y) |
---|
10 | |
---|
11 | ...final policy attribute set... |
---|
12 | pParty.about_another_float(8) <- pMarchhare |
---|
13 | pParty.about_another_integer(-7) <- pMarchhare |
---|
14 | pParty.about_another_time(20201101T182930) <- pMarchhare |
---|
15 | pParty.about_boolean(true) <- pMarchhare |
---|
16 | pParty.about_float(-200.0) <- pMarchhare |
---|
17 | pParty.about_integer(4) <- pMarchhare |
---|
18 | pParty.about_key(pTea) <- pMarchhare |
---|
19 | pParty.about_other_party(pTea,_,99,AAA,BBB,true,_) <- pMarchhare |
---|
20 | pParty.about(pTea,20101010T000000,true,4,-200.0,8,20120205T182930,'a list','file://usr/party/~teaparty') <- pParty.guestOf(pMarchhare) |
---|
21 | pParty.about_string2('a mangled \'string\'') <- pMarchhare |
---|
22 | pParty.about_string('a confused party') <- pMarchhare |
---|
23 | pParty.about_another_float(0.22) <- pMarchhare |
---|
24 | pParty.about_time(20201101T000000) <- pMarchhare |
---|
25 | pParty.about_urn('file://user/local/party/~sillyparty') <- pMarchhare |
---|
26 | pParty.friendOf(pAlice) <- pHatter |
---|
27 | pParty.friendOf(pMarchhare) <- pDormouse |
---|
28 | pParty.guestOf(V) <- pParty.friendOf(V) |
---|
29 | pParty.guests <- pParty.friendOf(pMarchhare) |
---|
30 | |
---|
31 | ===good============ Party.guests <- dourmouse |
---|
32 | YAP query succeed |
---|
33 | pParty.guests <- pParty.friendOf(pMarchhare) |
---|
34 | pParty.friendOf(pMarchhare) <- pDormouse |
---|
35 | |
---|
36 | ===bad============ Party.guests <- hatter |
---|
37 | YAP query failed |
---|