[Javabdd-checkins] JavaBDD/net/sf/javabdd JFactory.java,1.12,1.13

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

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

Modified Files:
	JFactory.java 
Log Message:
Turn on cache flush on gc.
Also fix bug in cloneFactory().

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/JFactory.java,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** JFactory.java	30 Jan 2005 14:42:22 -0000	1.12
--- JFactory.java	31 Jan 2005 00:05:17 -0000	1.13
***************
*** 47,51 ****
  
      static final boolean USE_FINALIZER = false;
!     public static boolean FLUSH_CACHE_ON_GC = false;
      
      /**
--- 47,51 ----
  
      static final boolean USE_FINALIZER = false;
!     public static boolean FLUSH_CACHE_ON_GC = true;
      
      /**
***************
*** 6348,6358 ****
      public JFactory cloneFactory() {
          JFactory INSTANCE = new JFactory();
!         INSTANCE.applycache = this.applycache.copy();
!         INSTANCE.itecache = this.itecache.copy();
!         INSTANCE.quantcache = this.quantcache.copy();
          INSTANCE.appexcache = this.appexcache.copy();
!         INSTANCE.replacecache = this.replacecache.copy();
!         INSTANCE.misccache = this.misccache.copy();
!         INSTANCE.countcache = this.countcache.copy();
          // TODO: potential difference here (!)
          INSTANCE.rng = new Random();
--- 6348,6364 ----
      public JFactory cloneFactory() {
          JFactory INSTANCE = new JFactory();
!         if (applycache != null)
!             INSTANCE.applycache = this.applycache.copy();
!         if (itecache != null)
!             INSTANCE.itecache = this.itecache.copy();
!         if (quantcache != null)
!             INSTANCE.quantcache = this.quantcache.copy();
          INSTANCE.appexcache = this.appexcache.copy();
!         if (replacecache != null)
!             INSTANCE.replacecache = this.replacecache.copy();
!         if (misccache != null)
!             INSTANCE.misccache = this.misccache.copy();
!         if (countcache != null)
!             INSTANCE.countcache = this.countcache.copy();
          // TODO: potential difference here (!)
          INSTANCE.rng = new Random();