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