mei_rt2mei_rt2_fix_1meiyap-rt1rt2
rt2-01
Last change
on this file since 10e1588 was
10e1588,
checked in by Mei <mei@…>, 12 years ago
|
1) added oset handling
2) add dynamic constraints
|
-
Property mode set to
100644
|
File size:
1.4 KB
|
Rev | Line | |
---|
[10e1588] | 1 | isMember(A,role(pAlpha,access,read,C),B) :- |
---|
| 2 | isMember(A,role(pAlpha,team,E),D), |
---|
| 3 | appendL([['W2tleWlkOjc0MGIwMWM5OThkMjFmYTllY2ZlZTJjZmYyNWRkOGIzODk5ODZjMDNdLnJvbGU6YWNjZXNzKFtzdHJpbmc6J3JlYWQnXSxbdXJuOj9Ge1trZXlpZDo3NDBiMDFjOTk4ZDIxZmE5ZWNmZWUyY2ZmMjVkZDhiMzg5OTg2YzAzXS5vc2V0OmRvY3VtZW50cyhbc3RyaW5nOj9QXSl9XSkgPC0gW2tleWlkOjc0MGIwMWM5OThkMjFmYTllY2ZlZTJjZmYyNWRkOGIzODk5ODZjMDNdLnJvbGU6dGVhbShbc3RyaW5nOj9QXSk='],F,D],B), |
---|
| 4 | isType(pAlpha,keyid), |
---|
| 5 | isMember(C,oset(pAlpha,documents,E),F). |
---|
| 6 | isMember('file//fileA',oset(pAlpha,documents,proj1),['W2tleWlkOjc0MGIwMWM5OThkMjFmYTllY2ZlZTJjZmYyNWRkOGIzODk5ODZjMDNdLm9zZXQ6ZG9jdW1lbnRzKFtzdHJpbmc6J3Byb2oxJ10pIDwtIFt1cm46J2ZpbGUvL2ZpbGVBJ10=']) :- |
---|
| 7 | isType(pAlpha,keyid). |
---|
| 8 | isMember(pBob,role(pAlpha,team,proj1),['W2tleWlkOjc0MGIwMWM5OThkMjFmYTllY2ZlZTJjZmYyNWRkOGIzODk5ODZjMDNdLnJvbGU6dGVhbShbc3RyaW5nOidwcm9qMSddKSA8LSBba2V5aWQ6YWY0MGQ3N2Y1YjMwYTk3OTQ4NGY4YmJiZmI0MDg0MDgxN2EzM2E2N10=']) :- |
---|
| 9 | isType(pAlpha,keyid), |
---|
| 10 | isType(pBob,keyid). |
---|
| 11 | isMember(pJoe,role(pAlpha,team,proj2),['W2tleWlkOjc0MGIwMWM5OThkMjFmYTllY2ZlZTJjZmYyNWRkOGIzODk5ODZjMDNdLnJvbGU6dGVhbShbc3RyaW5nOidwcm9qMiddKSA8LSBba2V5aWQ6N2Y1YzY4YzEyNTUxZmI2NmU3YmYxNWVmMzY0YjQ2MjI1NDE5MDkzYl0=']) :- |
---|
| 12 | isType(pAlpha,keyid), |
---|
| 13 | isType(pJoe,keyid). |
---|
| 14 | isType(pAlpha,keyid). |
---|
| 15 | isType(pBob,keyid). |
---|
| 16 | isType(pJoe,keyid). |
---|
| 17 | appendL([],[]). |
---|
| 18 | appendL([B|C],A) :- |
---|
| 19 | appendL(C,D), |
---|
| 20 | append(B,D,A). |
---|
| 21 | append([],A,A). |
---|
| 22 | append([B|C],A,[B|D]) :- |
---|
| 23 | append(C,A,D). |
---|
| 24 | |
---|
Note: See
TracBrowser
for help on using the repository browser.