public void refresh() {
synchronized (recievedPrivilegeLoaded) {
recievedPrivilegeLoaded = Boolean.FALSE;
super.getReceivedPrivilege().clear();
serverRole.clearReceivedPrivileges(catalog.getName());
}
RefreshManager.getInstance().referesh(this);
}
public EList getReceivedPrivilege() {
synchronized (recievedPrivilegeLoaded) {
if (!recievedPrivilegeLoaded.booleanValue()) {
List receivedPrivileges = serverRole.getReceivedPrivileges(catalog.getName());
super.getReceivedPrivilege().clear();
super.getReceivedPrivilege().addAll(receivedPrivileges);
recievedPrivilegeLoaded = Boolean.TRUE;
}
}
return super.getReceivedPrivilege();
}
public Database getCatalogDatabase() {
return catalog.getCatalogDatabase();
}
