[Javabdd-checkins] JavaBDD/net/sf/javabdd JFactory.java,1.14,1.15

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

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

Modified Files:
	JFactory.java 
Log Message:
Fix when OutOfMemoryError occurs.

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/JFactory.java,v
retrieving revision 1.14
retrieving revision 1.15
diff -C2 -d -r1.14 -r1.15
*** JFactory.java	31 Jan 2005 10:08:59 -0000	1.14
--- JFactory.java	26 Feb 2005 21:18:20 -0000	1.15
***************
*** 3132,3143 ****
          if (oldsize > newsize) return 0;
          
!         bddnodesize = newsize;
!         resize_handler(oldsize, bddnodesize);
          
          int[] newnodes;
          int n;
!         newnodes = new int[bddnodesize*__node_size];
          System.arraycopy(bddnodes, 0, newnodes, 0, bddnodes.length);
          bddnodes = newnodes;
  
          if (doRehash)
--- 3132,3143 ----
          if (oldsize > newsize) return 0;
          
!         resize_handler(oldsize, newsize);
          
          int[] newnodes;
          int n;
!         newnodes = new int[newsize*__node_size];
          System.arraycopy(bddnodes, 0, newnodes, 0, bddnodes.length);
          bddnodes = newnodes;
+         bddnodesize = newsize;
  
          if (doRehash)