/**
* Attempts to drop a User object with the specified name from this object's set.
*
* <p>A successful drop action consists of:
*
* <p>
*
* <UL>
* <LI>removing the User object with the specified name from the set.
* <LI>revoking all rights from the removed User<br>
* (this ensures that in case there are still references to the just dropped User object,
* those references cannot be used to erronously access database objects).
* </UL>
*
* <p>
*/
public void dropUser(String name) {
boolean reservedUser = GranteeManager.isReserved(name);
if (reservedUser) {
throw Error.error(ErrorCode.X_28502, name);
}
boolean result = granteeManager.removeGrantee(name);
if (!result) {
throw Error.error(ErrorCode.X_28501, name);
}
User user = (User) userList.remove(name);
if (user == null) {
throw Error.error(ErrorCode.X_28501, name);
}
}
