[Javabdd-checkins] JavaBDD/net/sf/javabdd TestBDDFactory.java,1.4,1.5

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

Update of /cvsroot/javabdd/JavaBDD/net/sf/javabdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv833/net/sf/javabdd

Modified Files:
	TestBDDFactory.java 
Log Message:
Fix getVersion().
Get BDD factories to test from system properties.

Index: TestBDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/TestBDDFactory.java,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** TestBDDFactory.java	19 Oct 2004 11:11:35 -0000	1.4
--- TestBDDFactory.java	31 Jan 2005 00:08:05 -0000	1.5
***************
*** 30,35 ****
  
      public static BDDFactory init(int nodenum, int cachesize) {
!         BDDFactory a = BuDDyFactory.init(nodenum, cachesize);
!         BDDFactory b = JDDFactory.init(nodenum, cachesize);
          return new TestBDDFactory(a, b);
      }
--- 30,37 ----
  
      public static BDDFactory init(int nodenum, int cachesize) {
!         String bdd1 = System.getProperty("bdd1", "j");
!         String bdd2 = System.getProperty("bdd2", "micro");
!         BDDFactory a = BDDFactory.init(bdd1, nodenum, cachesize);
!         BDDFactory b = BDDFactory.init(bdd2, nodenum, cachesize);
          return new TestBDDFactory(a, b);
      }
***************
*** 992,996 ****
      public String getVersion() {
          return "TestBDD "+REVISION.substring(11, REVISION.length()-2)+
!                " of ("+f1.getVersion()+","+f1.getVersion()+")";
      }
  }
--- 994,998 ----
      public String getVersion() {
          return "TestBDD "+REVISION.substring(11, REVISION.length()-2)+
!                " of ("+f1.getVersion()+","+f2.getVersion()+")";
      }
  }