source: examples/allout.save @ 8bd77b5

mei_rt2mei_rt2_fix_1
Last change on this file since 8bd77b5 was 8bd77b5, checked in by Mei <mei@…>, 12 years ago

1) convert parser and libabac to use id cred and attr cred like

creddy (move those 2 files to libabac).

2) fix up abac.hh to work with expanded libabac. can now build

structure from python script

3) redid the credential dump using the internal credential table

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