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