[7211a95] | 1 | % Restoring file /usr/local/lib/Yap/startup.yss |
---|
| 2 | |
---|
| 3 | ...final principal set... |
---|
| 4 | (pJohn,keyid,y) |
---|
| 5 | (pLeague,keyid,y) |
---|
| 6 | (pMark,keyid,y) |
---|
| 7 | |
---|
| 8 | ...final policy attribute set... |
---|
| 9 | pLeague.stadium('access',true,F:pLeague.gametime(T)) <- pLeague.players(T) |
---|
| 10 | pLeague.stadium('access',B:[true],F:[20120228T080000 .. 20120228T090000]) <- pLeague.players(T) |
---|
| 11 | pLeague.gametime('north') <- time(2012,02,28,13,00,00) |
---|
| 12 | pLeague.gametime('south') <- time(2012,02,28,14,00,00) |
---|
| 13 | pLeague.players('north') <- pJohn |
---|
| 14 | pLeague.players('south') <- pMark |
---|
| 15 | |
---|
[f824a9e] | 16 | ===good============ league.stadium(access,true,20120128T130000)<-?-john |
---|
| 17 | YAP query succeed |
---|
| 18 | pLeague.stadium('access',true,F:pLeague.gametime(T)) <- pLeague.players(T) |
---|
| 19 | pLeague.gametime('north') <- time(2012,02,28,13,00,00) |
---|
| 20 | pLeague.players('north') <- pJohn |
---|
| 21 | |
---|
| 22 | ===bad============ league.stadium(access,true,20120128T110000)<-?-mark |
---|
| 23 | YAP query failed |
---|
[7211a95] | 24 | |
---|
[f824a9e] | 25 | ===good============ league.stadium(access,true,20120128T080000)<-?-mark |
---|
| 26 | YAP query succeed |
---|
| 27 | pLeague.stadium('access',B:[true],F:[20120228T080000 .. 20120228T090000]) <- pLeague.players(T) |
---|
| 28 | pLeague.players('south') <- pMark |
---|