405406407408409410411412
return getName(); } private void notifyIfActiveScope() { if(isActiveScope) { scopeChangedListeners.fireEvent(new ActiveScopeChangedEvent(this)); } }
134135136137138139140141
synchronized (this) { ((TargetScope)activeScope).setIsActiveScope(false); ((TargetScope)scope).setIsActiveScope(true); activeScope = scope; scopeChangeListeners.fireEvent(new ActiveScopeChangedEvent(activeScope)); } }