source: examples/allout.save @ 01ab2b1

mei_rt2mei_rt2_fix_1rt2
Last change on this file since 01ab2b1 was 9502c50, checked in by Mei <mei@…>, 12 years ago

1) rename examples' rr to run_query
2) updated some doc
3) add decode to creddy --roles and creddy --display --show so it will

show more useful attribute rule string

4) stub in the python script in one of the example directory
  • Property mode set to 100644
File size: 7.5 KB
RevLine 
[f0eb81d]1
2 ==> RUN on access_rt2_typed
3YAP dump succeed
4 
[9502c50]5===good============ Alpha.access(Read,fileA)<-?-Bob
[f0eb81d]6YAP query succeed
7prover success!!
8credentials needed :
[7727f26]9 pAlpha.access('Read',F:pAlpha.documents(P))  <- pAlpha.team(P)
10 pAlpha.documents('proj1')  <- 'file//fileA'
11 pAlpha.team('proj1')  <- pBob
[f0eb81d]12 
[9502c50]13===bad============ Alpha.access(Read,fileA)<-?-Joe
[f0eb81d]14YAP query failed
15prover failed!!
16 
[9502c50]17===good============ Alpha.team(proj2)<-?-Joe
[f0eb81d]18YAP query succeed
19prover success!!
20credentials needed :
[7727f26]21 pAlpha.team('proj2')  <- pJoe
[f0eb81d]22
23 ==> RUN on acme_friend_rt1_typed
24YAP dump succeed
25 
[9502c50]26===bad============ Acme.friendOf(Roadrunner) <- Coyote
[f0eb81d]27YAP query failed
28prover failed!!
29 
[9502c50]30===good============ Acme.friendOf(Roadrunner) <- Jackrabbit
[f0eb81d]31YAP query succeed
32prover success!!
33credentials needed :
[7727f26]34 pAcme.friendOf(pRoadrunner)  <- pJackrabbit
[f0eb81d]35 
[9502c50]36===good============ Acme.preferred_customer <- Jackrabbit
[f0eb81d]37YAP query succeed
38prover success!!
39credentials needed :
[7727f26]40 pAcme.preferred_customer  <- pAcme.friendOf(pRoadrunner)
41 pAcme.friendOf(pRoadrunner)  <- pJackrabbit
[f0eb81d]42 
[9502c50]43===good============ Acme.preferred_customer <- Coyote
[f0eb81d]44YAP query succeed
45prover success!!
46credentials needed :
[7727f26]47 pAcme.preferred_customer  <- pCoyote
[f0eb81d]48 
[9502c50]49===bad============ Acme.preferred_customer <- badCoyote
[f0eb81d]50yyerror: encountered an invalid SHA id
51prover failed!!
52
53 ==> RUN on acme_rockets_intersection_rt0_typed
54YAP dump succeed
55 
[9502c50]56===good============ Acme.buy_rockets <- Coyote
[f0eb81d]57YAP query succeed
58prover success!!
59credentials needed :
[7727f26]60 pAcme.buy_rockets  <- pAcme.preferred_customer & pWarnerBros.character
61 pAcme.preferred_customer  <- pCoyote
62 pWarnerBros.character  <- pCoyote
[f0eb81d]63 
[9502c50]64===bad============ Acme.bad_buy_rockets <- Coyote
[f0eb81d]65YAP query failed
66prover failed!!
67 
[9502c50]68===bad============ 99Acme.buy_rockets <- Coyote
[f0eb81d]69yyerror: encountered an invalid SHA id
70prover failed!!
71 
[9502c50]72===bad=============== Acme.buy_rockets <- Batman
[f0eb81d]73YAP query failed
74prover failed!!
75
76 ==> RUN on acme_rockets_rt0_typed
77YAP dump succeed
78 
[9502c50]79===good============ Acme.preferred_customer <- Coyote
[f0eb81d]80YAP query succeed
81prover success!!
82credentials needed :
[7727f26]83 pAcme.preferred_customer  <- pCoyote
[f0eb81d]84 
[9502c50]85===good=============== Acme.buy_rockets <- Coyote
[f0eb81d]86YAP query succeed
87prover success!!
88credentials needed :
[7727f26]89 pAcme.buy_rockets  <- pAcme.preferred_customer
90 pAcme.preferred_customer  <- pCoyote
[f0eb81d]91 
[9502c50]92===bad=============== Acme.buy_rockets <- Acme.preferred_customer
[f0eb81d]93fail, a.r <- b.r query is not implemented yet !!!
94 
[9502c50]95===bad=============== Coyote.friend <- Acme
[f0eb81d]96YAP query failed
97prover failed!!
98
99 ==> RUN on alice_rt1_typed
100YAP dump succeed
101 
[9502c50]102===good============ Party.guests <- dourmouse
[f0eb81d]103YAP query succeed
104prover success!!
105credentials needed :
[7727f26]106 pParty.guests  <- pParty.friendOf(pMarchHare)
107 pParty.friendOf(pMarchHare)  <- pDormouse
[f0eb81d]108 
[9502c50]109===bad============ Party.guests <- hatter
[f0eb81d]110YAP query failed
111prover failed!!
112
113 ==> RUN on alumni2_rt1_typed
114YAP dump succeed
115 
[9502c50]116===good============ stateU.foundingAlumni <- Bob
[f0eb81d]117YAP query succeed
118prover success!!
119credentials needed :
[7727f26]120 pStateU.foundingAlumni  <- pStateU.diploma(_,Year:[1963,1961,1960])
121 pStateU.diploma('mathmatics',1961)  <- pBob
[f0eb81d]122 
[9502c50]123===bad============ stateU.foundingAlumni <- Maryann
[f0eb81d]124YAP query failed
125prover failed!!
126 
[9502c50]127===bad============ stateU.foundingAlumni <- Joe
[f0eb81d]128YAP query failed
129prover failed!!
130
131 ==> RUN on alumni3_rt1_typed
132YAP dump succeed
133 
[9502c50]134===good============ stateU.foundingAlumni <- Bob
[f0eb81d]135YAP query succeed
136prover success!!
137credentials needed :
[7727f26]138 pStateU.foundingAlumni  <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
139 pStateU.diploma('mathmatics',1961)  <- pBob
[f0eb81d]140 
[9502c50]141===bad============ stateU.foundingAlumni <- Mark
[f0eb81d]142YAP query failed
143prover failed!!
144 
[9502c50]145===bad============ stateU.foundingAlumni <- Joe
[f0eb81d]146YAP query failed
147prover failed!!
148 
[9502c50]149===bad============ stateU.foundingAlumni <- Maryann
[f0eb81d]150YAP query failed
151prover failed!!
152 
[9502c50]153===good============ stateU.foundingAlumni <- Jan
[f0eb81d]154YAP query succeed
155prover success!!
156credentials needed :
[7727f26]157 pStateU.foundingAlumni  <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
158 pStateU.diploma('psychology',1960)  <- pJan
[f0eb81d]159
160 ==> RUN on alumni_rt1_typed
161YAP dump succeed
162 
[9502c50]163===bad============ stateU.foundingAlumni <- Bob
[f0eb81d]164YAP query failed
165prover failed!!
166 
[9502c50]167===good============ stateU.foundingAlumni <- Maryann
[f0eb81d]168YAP query succeed
169prover success!!
170credentials needed :
[7727f26]171 pStateU.foundingAlumni  <- pStateU.diploma(_,Year:[1955..1958])
172 pStateU.diploma('psychology',1956)  <- pMaryann
[7b548fa]173 
[9502c50]174===good============ stateU.foundingAlumni <- Joe
[7b548fa]175YAP query succeed
176prover success!!
177credentials needed :
[7727f26]178 pStateU.foundingAlumni  <- pStateU.diploma(_,Year:[1955..1958])
179 pStateU.diploma('zoology',1955)  <- pJoe
[7b548fa]180
181 ==> RUN on balltime_rt2_typed
182YAP dump succeed
183 
[9502c50]184===good============ league.stadium(access,true,20120128T130000)<-?-john
[7b548fa]185YAP query succeed
186prover success!!
187credentials needed :
[7727f26]188 pLeague.stadium('access',true,F:pLeague.gametime(T))  <- pLeague.players(T)
189 pLeague.gametime('north')  <- time(2012,02,28,13,00,00)
190 pLeague.players('north')  <- pJohn
[7b548fa]191 
[9502c50]192===bad============ league.stadium(access,true,20120128T110000)<-?-mark
[7b548fa]193YAP query failed
194prover failed!!
195 
[9502c50]196===good============ league.stadium(access,true,20120128T080000)<-?-mark
[7b548fa]197YAP query succeed
198prover success!!
199credentials needed :
[7727f26]200 pLeague.stadium('access',B:[true],F:[20120228T080000..20120228T090000])  <- pLeague.players(T)
201 pLeague.players('south')  <- pMark
[f0eb81d]202
203 ==> RUN on evaluator_rt1_typed
204YAP dump succeed
205 
[9502c50]206===good============ USC.evaluatorOf(Maryann) <- John
[f0eb81d]207YAP query succeed
208prover success!!
209credentials needed :
[7727f26]210 pUSC.evaluatorOf(K)  <- pUSC.managerOf(K)
211 pUSC.managerOf(K)  <- pISI.managerOf(K)
212 pISI.managerOf(pMaryann)  <- pJohn
[f0eb81d]213 
[9502c50]214===good============ ISI.managerOf(Maryann) <- John
[f0eb81d]215YAP query succeed
216prover success!!
217credentials needed :
[7727f26]218 pISI.managerOf(pMaryann)  <- pJohn
[f0eb81d]219 
[9502c50]220===good============  USC.employee <-?- John
[f0eb81d]221YAP query succeed
222prover success!!
223credentials needed :
[7727f26]224 pUSC.employee  <- pISI.employee
225 pISI.employee  <- pJohn
[f0eb81d]226
227 ==> RUN on experiment_create_rt0_typed
228YAP dump succeed
229 
[9502c50]230===good=============== Globotron.admin <- Alice
[f0eb81d]231YAP query succeed
232prover success!!
233credentials needed :
[7727f26]234 pGlobotron.admin  <- pAlice
[f0eb81d]235 
[9502c50]236===bad=============== Globotron.admin <- Bob
[f0eb81d]237YAP query failed
238prover failed!!
239 
[9502c50]240===good=============== Acme.experiment_create <- Bob
[f0eb81d]241YAP query succeed
242prover success!!
243credentials needed :
[7727f26]244 pAcme.experiment_create  <- pAcme.partner.experiment_create
245 pAcme.partner  <- pGlobotron
246 pGlobotron.experiment_create  <- pGlobotron.admin.power_user
247 pGlobotron.admin  <- pAlice
248 pAlice.power_user  <- pBob
[f0eb81d]249
250 ==> RUN on file_read_rt2_typed
251YAP dump succeed
252 
[9502c50]253===good============ alpha.read(fileA) <- Bob
[f0eb81d]254YAP query succeed
255prover success!!
256credentials needed :
[7727f26]257 pAlpha.read(F)  <- pAlpha.managerOf(E:pAlpha.ownerOf(F))
258 pAlpha.ownerOf('file://fileA')  <- pJoe
259 pAlpha.managerOf(pJoe)  <- pBob
[f0eb81d]260 
[9502c50]261===bad============ alpha.read(fileA) <- Maryann
[f0eb81d]262YAP query failed
263prover failed!!
264
265 ==> RUN on fruits_rt2_typed
266YAP dump succeed
267 
[9502c50]268===good============ mary.what2eat <- navel orange
[f0eb81d]269YAP query succeed
270prover success!!
271credentials needed :
[7727f26]272 pMary.what2eat  <- pRalphs.fruitprice(P:[..2.00])
273 pRalphs.fruitprice(0.50)  <- 'navel orange'
[f0eb81d]274 
[9502c50]275===good============ mary.what2eat <- kiwi
[f0eb81d]276YAP query succeed
277prover success!!
278credentials needed :
[7727f26]279 pMary.what2eat  <- pRalphs.fruitprice(P:[..2.00])
280 pRalphs.fruitprice(1.50)  <- 'kiwi'
[f0eb81d]281 
[9502c50]282===bad============ bob.what2eat <- navel orange
[f0eb81d]283YAP query failed
284prover failed!!
285 
[9502c50]286===good============ ralphs.fruitprice(1.50) <- apple
[f0eb81d]287YAP query succeed
288prover success!!
289credentials needed :
[7727f26]290 pRalphs.fruitprice(1.50)  <- 'apple'
[f0eb81d]291 
[9502c50]292===bad============ ralphs.fruitprice(1.50) <- green apple
[f0eb81d]293YAP query failed
294prover failed!!
Note: See TracBrowser for help on using the repository browser.