| 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(time(2020,11,01,18,29,30)) <- 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,time(2010,10,10,00,00,00),true,4,-200.0,8,time(2012,02,05,18,29,30),'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(time(2020,11,01,00,00,00)) <- 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 |
|---|
