Context Navigation

rocket.save @ 11ca336

mei_rt2

Last change on this file since 11ca336 was f2d67a5, checked in by Mei <mei@…>, 12 years ago
1) put back that yap info line in the saved example output
Property mode set to `100644`
File size: 3.0 KB

Line
1	% Restoring file /usr/local/lib/Yap/startup.yss
2
3	...final principal set...
4	(pAcme,keyid,y)
5	(pBurpee,keyid,y)
6	(pCoyote,keyid,y)
7	(pGranny,keyid,y)
8	(pLadybug,keyid,y)
9	(pOsh,keyid,y)
10	(pPooh,keyid,y)
11
12	...final policy attribute set...
13	pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
14	pAcme.buy_lumbers <- pAcme.contractor
15	pAcme.buy_rockets <- pAcme.preferred_customer
16	pAcme.contractor <- pGranny
17	pAcme.green_thumb <- pGranny
18	pAcme.green_thumb <- pLadybug
19	pAcme.preferred_customer <- pCoyote
20	pOsh.buy_rockets <- pOsh.preferred_customer
21	pOsh.preferred_customer <- pCoyote
22	pOsh.preferred_customer <- pLadybug
23
24	===good============ Acme.buy_rockets <- Coyote
25	YAP query succeed
26	pAcme.buy_rockets <- pAcme.preferred_customer
27	pAcme.preferred_customer <- pCoyote
28
29	===bad============ Acme.buy_rockets <- Ladybug
30	YAP query failed
31	A partial proof(type:what)
32	pAcme.green_thumb <- pLadybug
33
34	next proof:
35	A partial proof(type:who)
36	pAcme.buy_rockets <- pAcme.preferred_customer
37	pAcme.preferred_customer <- pCoyote
38
39	next proof:
40	A partial proof(type:whom)
41	pOsh.buy_rockets <- pOsh.preferred_customer
42	pOsh.preferred_customer <- pLadybug
43
44	next proof:
45	A partial proof(type:what_whom)
46	pAcme.green_thumb <- pLadybug
47
48	next proof:
49	A partial proof(type:what_whom)
50	pOsh.buy_rockets <- pOsh.preferred_customer
51	pOsh.preferred_customer <- pLadybug
52
53	next proof:
54	A partial proof(type:what_whom)
55	pOsh.preferred_customer <- pLadybug
56
57	next proof:
58	no more..
59
60
61	===good============ Osh.buy_rockets <- Ladybug
62	YAP query succeed
63	pOsh.buy_rockets <- pOsh.preferred_customer
64	pOsh.preferred_customer <- pLadybug
65
66	===bad============ Acme.buy_lumbers <- Ladybug
67	YAP query failed
68	A partial proof(type:what)
69	pAcme.green_thumb <- pLadybug
70
71	next proof:
72	A partial proof(type:who)
73	pAcme.buy_lumbers <- pAcme.contractor
74	pAcme.contractor <- pGranny
75
76	next proof:
77	A partial proof(type:what_whom)
78	pAcme.green_thumb <- pLadybug
79
80	next proof:
81	A partial proof(type:what_whom)
82	pOsh.buy_rockets <- pOsh.preferred_customer
83	pOsh.preferred_customer <- pLadybug
84
85	next proof:
86	A partial proof(type:what_whom)
87	pOsh.preferred_customer <- pLadybug
88
89	next proof:
90	no more..
91
92
93	===bad============ Osh.buy_rockets <- Pooh
94	YAP query failed
95	A partial proof(type:who)
96	pOsh.buy_rockets <- pOsh.preferred_customer
97	pOsh.preferred_customer <- pCoyote
98
99	===bad============ Osh.buy_rockets <- Pooh
100	YAP query failed
101	A partial proof(type:who)
102	pOsh.buy_rockets <- pOsh.preferred_customer
103	pOsh.preferred_customer <- pCoyote
104
105	next proof:
106	A partial proof(type:who)
107	pOsh.buy_rockets <- pOsh.preferred_customer
108	pOsh.preferred_customer <- pLadybug
109
110	next proof:
111	no more..
112
113
114	===good============ Acme.buy_flowers(Burpee) <- Ladybug
115	YAP query succeed
116	pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
117	pAcme.green_thumb <- pLadybug
118
119	===bad============ Acme.buy_flowers(Burpee) <- Pooh
120	YAP query failed
121	A partial proof(type:who)
122	pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
123	pAcme.green_thumb <- pGranny
124
125	next proof:
126	A partial proof(type:who)
127	pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
128	pAcme.green_thumb <- pLadybug
129
130	next proof:
131	no more..
132

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format