[Javabdd-checkins] JavaBDD/net/sf/javabdd CUDDFactory$1.class,1.2,1.3 CALFactory$1.class,1.2,1.3 TestBDDFactory$1.class,NONE,1.1 BuDDyFactory$1.class,1.2,1.3 JDDFactory$1.class,1.2,1.3 BDDFactory$1.class,1.2,1.3 BuDDyFactory.java,1.10,1.11 BDDFactory.java,1.10,1.11

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

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

Modified Files:
	BuDDyFactory.java BDDFactory.java 
Added Files:
	CUDDFactory$1.class CALFactory$1.class TestBDDFactory$1.class 
	BuDDyFactory$1.class JDDFactory$1.class BDDFactory$1.class 
Log Message:
Don't use finalizer() on bdd factory objects by default.

Index: BuDDyFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BuDDyFactory.java,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** BuDDyFactory.java	4 May 2005 22:23:12 -0000	1.10
--- BuDDyFactory.java	4 May 2005 22:31:35 -0000	1.11
***************
*** 40,44 ****
  
      public static BDDFactory init(int nodenum, int cachesize) {
!         BuDDyFactory f = new BuDDyFactory();
          f.initialize(nodenum, cachesize);
          return f;
--- 40,48 ----
  
      public static BDDFactory init(int nodenum, int cachesize) {
!         BuDDyFactory f;
!         if (USE_FINALIZER)
!             f = new BuDDyFactoryWithFinalizer();
!         else
!             f = new BuDDyFactory();
          f.initialize(nodenum, cachesize);
          return f;
***************
*** 98,101 ****
--- 102,117 ----
      private static final boolean USE_FINALIZER = false;
      
+     private static class BuDDyFactoryWithFinalizer extends BuDDyFactory {
+         
+         /**
+          * @see java.lang.Object#finalize()
+          */
+         protected void finalize() throws Throwable {
+             super.finalize();
+             this.done();
+         }
+         
+     }
+     
      private static BuDDyBDD makeBDD(int id) {
          BuDDyBDD b;

--- NEW FILE: BDDFactory$1.class ---
(This appears to be a binary file; contents omitted.)

--- NEW FILE: TestBDDFactory$1.class ---
(This appears to be a binary file; contents omitted.)

--- NEW FILE: BuDDyFactory$1.class ---
(This appears to be a binary file; contents omitted.)

Index: BDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDDFactory.java,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** BDDFactory.java	29 Apr 2005 02:25:28 -0000	1.10
--- BDDFactory.java	4 May 2005 22:31:35 -0000	1.11
***************
*** 294,305 ****
      
      /**
-      * @see java.lang.Object#finalize()
-      */
-     protected void finalize() throws Throwable {
-         super.finalize();
-         this.done();
-     }
-     
-     /**
       * <p>Sets the error condition.  This will cause the BDD package to throw an
       * exception at the next garbage collection.</p>
--- 294,297 ----

--- NEW FILE: JDDFactory$1.class ---
(This appears to be a binary file; contents omitted.)

--- NEW FILE: CUDDFactory$1.class ---
(This appears to be a binary file; contents omitted.)

--- NEW FILE: CALFactory$1.class ---
(This appears to be a binary file; contents omitted.)