/*
* Copyright 2000-2004 The Apache Software Foundation
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*
*/
package org.apache.bcel.verifier;
import javax.swing.event.ListDataEvent;
/**
* This class implements an adapter; it implements both a Swing ListModel and
* a VerifierFactoryObserver.
*
* @version $Id: VerifierFactoryListModel.java,v 1.3 2004/12/15 08:28:51 conor Exp $
* @author Enver Haase
*/
public class VerifierFactoryListModel implements org.apache.bcel.verifier.VerifierFactoryObserver, javax.swing.ListModel{
private java.util.ArrayList listeners = new java.util.ArrayList();
private java.util.TreeSet cache = new java.util.TreeSet();
public VerifierFactoryListModel() {
VerifierFactory.attach(this);
update(null); // fill cache.
}
public synchronized void update(String s){
int size = listeners.size();
Verifier[] verifiers = VerifierFactory.getVerifiers();
int num_of_verifiers = verifiers.length;
cache.clear();
for (int i=0; i<num_of_verifiers; i++) {
cache.add(verifiers[i].getClassName());
}
for (int i=0; i<size; i++){
ListDataEvent e = new ListDataEvent(this, ListDataEvent.CONTENTS_CHANGED, 0, num_of_verifiers-1);
((javax.swing.event.ListDataListener) (listeners.get(i))).contentsChanged(e);
}
}
public synchronized void addListDataListener(javax.swing.event.ListDataListener l){
listeners.add(l);
}
public synchronized void removeListDataListener(javax.swing.event.ListDataListener l){
listeners.remove(l);
}
public synchronized int getSize(){
return cache.size();
}
public synchronized Object getElementAt(int index){
return (cache.toArray())[index];
}
}