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 | |
---|
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 |
---|
24 | |
---|
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 |
---|