Fire the NameSourceListeners
()
| 798 | Fire the NameSourceListeners |
| 799 | */ |
| 800 | void nameSpaceChanged() |
| 801 | { |
| 802 | if ( nameSourceListeners == null ) |
| 803 | return; |
| 804 | |
| 805 | for(int i=0; i<nameSourceListeners.size(); i++) |
| 806 | ((NameSource.Listener)(nameSourceListeners.get(i))) |
| 807 | .nameSourceChanged( this ); |
| 808 | } |
| 809 | |
| 810 | List nameSourceListeners; |
| 811 | /** |
no test coverage detected