[669b481] | 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 |
---|
[2efdff5] | 14 | pParty.about_another_time(20201101T182930) <- pMarchhare |
---|
[669b481] | 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 |
---|
[2efdff5] | 20 | pParty.about(pTea,20101010T000000,true,4,-200.0,8,20120205T182930,'a list','file://usr/party/~teaparty') <- pParty.guestOf(pMarchhare) |
---|
[669b481] | 21 | pParty.about_string2('a mangled \'string\'') <- pMarchhare |
---|
| 22 | pParty.about_string('a confused party') <- pMarchhare |
---|
| 23 | pParty.about_another_float(0.22) <- pMarchhare |
---|
[2efdff5] | 24 | pParty.about_time(20201101T000000) <- pMarchhare |
---|
[669b481] | 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 | |
---|
[f824a9e] | 31 | ===good============ Party.guests <- dourmouse |
---|
| 32 | YAP query succeed |
---|
| 33 | pParty.guests <- pParty.friendOf(pMarchhare) |
---|
| 34 | pParty.friendOf(pMarchhare) <- pDormouse |
---|
[669b481] | 35 | |
---|
[f824a9e] | 36 | ===bad============ Party.guests <- hatter |
---|
| 37 | YAP query failed |
---|