public Permission_Claim getEntry(Ticket ticket, string Realm, string UserID)
{
AccessToken at = (AccessToken)ticket;
AccessTokenEntry tokenEntry = dict[at][Realm][UserID];
Contract.Assume(tokenEntry.GetType() == typeof(AccessTokenEntry));
return tokenEntry;
}
public bool setEntry(Ticket ticket, string Realm, string UserID, Permission_Claim claim)
{
AccessToken at = (AccessToken)ticket;
AccessTokenEntry ate = (AccessTokenEntry)claim;
if (at == null && claim == null)
return false;
dict[at] = new Dictionary<string, Dictionary<string, AccessTokenEntry>>();
dict[at][Realm] = new Dictionary<string, AccessTokenEntry>();
dict[at][Realm][UserID] = ate;
return true;
}
public Permission_Claim getEntry(Ticket ticket, string Realm, string UserID)
{
AccessToken at = (AccessToken)ticket;
return Dictionary[at][Realm][UserID];
}