[Javabdd-checkins] JavaBDD_tests/bdd BDDTestCase.java,NONE,1.1

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD_tests/bdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv15848/bdd

Added Files:
	BDDTestCase.java 
Log Message:
Updates.


--- NEW FILE: BDDTestCase.java ---
// BDDTestCase.java, created Jul 28, 2004 3:00:14 AM by joewhaley
// Copyright (C) 2004 John Whaley <jw...@al...>
// Licensed under the terms of the GNU LGPL; see COPYING for details.
package bdd;
import java.util.Collection;
import java.util.Iterator;
import java.util.LinkedList;
import java.lang.reflect.Method;
import junit.framework.TestCase;
import org.sf.javabdd.BDDFactory;

/**
 * BDDTestCase
 * 
 * @author John Whaley
 * @version $Id: BDDTestCase.java,v 1.1 2004/07/28 10:20:53 joewhaley Exp $
 */
public abstract class BDDTestCase extends TestCase implements Iterator {
    
    static volatile Collection factories;
    static final String[] factoryNames = {
        "org.sf.javabdd.BuDDyFactory",
        "org.sf.javabdd.CUDDFactory",
        "org.sf.javabdd.CALFactory",
        "org.sf.javabdd.JFactory",
        //"org.sf.javabdd.JDDFactory",
    };
    
    static void initFactories(int nodenum, int cachesize) {
        if (factories != null) return;
        synchronized (BDDTestCase.class) {
            if (factories != null) return;
            Collection f = new LinkedList();
            for (int k = 0; k < factoryNames.length; ++k) {
                String bddpackage = factoryNames[k];
                try {
                    Class c = Class.forName(bddpackage);
                    Method m = c.getMethod("init", new Class[] { int.class, int.class });
                    BDDFactory b = (BDDFactory) m.invoke(null, new Object[] { new Integer(nodenum), new Integer(cachesize) });
                    f.add(b);
                }
                catch (Throwable _) {}
            }
            factories = f;
        }
    }
    
    protected Iterator i;
    
    public BDDTestCase(int nodenum, int cachesize) {
        initFactories(nodenum, cachesize);
        i = factories.iterator();
    }
    public BDDTestCase() {
        this(1000, 1000);
    }
    
    public BDDFactory nextFactory() {
        return (BDDFactory) i.next();
    }
    
    public Object next() {
        return i.next();
    }
    
    public boolean hasNext() {
        return i.hasNext();
    }
    
    public void remove() {
        i.remove();
    }
    
}