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

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

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

Modified Files:
	JFactory.java TryVarOrder.java BDDFactory.java 
Removed Files:
	CUDDFactory$1.class CALFactory$1.class BuDDyFactory$1.class 
	JDDFactory$1.class BDDFactory$1.class 
Log Message:
Small updates.

--- BDDFactory$1.class DELETED ---

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/JFactory.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** JFactory.java	18 Oct 2004 09:45:43 -0000	1.3
--- JFactory.java	19 Oct 2004 04:34:48 -0000	1.4
***************
*** 2463,2467 ****
  
      void gbc_handler(boolean pre, GCStats s) {
!         bdd_default_gbchandler(pre, s);
      }
  
--- 2463,2471 ----
  
      void gbc_handler(boolean pre, GCStats s) {
!         if (gc_callbacks == null) {
!             bdd_default_gbchandler(pre, s);
!         } else {
!             doCallbacks(gc_callbacks, pre?1:0);
!         }
      }
  
***************
*** 4212,4215 ****
--- 4216,4224 ----
  
      void reorder_handler(boolean b) {
+         if (reorder_callbacks == null) {
+             bdd_default_reohandler(b?1:0);
+         } else {
+             doCallbacks(reorder_callbacks, b?1:0);
+         }
      }
  

--- BuDDyFactory$1.class DELETED ---

Index: BDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDDFactory.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** BDDFactory.java	18 Oct 2004 09:35:20 -0000	1.2
--- BDDFactory.java	19 Oct 2004 04:34:48 -0000	1.3
***************
*** 1593,1597 ****
                  Method m = (Method) cb[1];
                  try {
!                     m.invoke(o, new Object[] { Integer.valueOf(val) } );
                  } catch (IllegalArgumentException e) {
                      e.printStackTrace();
--- 1593,1597 ----
                  Method m = (Method) cb[1];
                  try {
!                     m.invoke(o, new Object[] { new Integer(val) } );
                  } catch (IllegalArgumentException e) {
                      e.printStackTrace();

Index: TryVarOrder.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/TryVarOrder.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** TryVarOrder.java	16 Oct 2004 02:58:57 -0000	1.1
--- TryVarOrder.java	19 Oct 2004 04:34:48 -0000	1.2
***************
*** 89,93 ****
          try {
              Method m = c.getMethod("setError", new Class[] { int.class });
!             m.invoke(bdd, new Object[] { Integer.valueOf(code) });
          } catch (Exception x) {
              System.err.println("Exception occurred while setting error for BDD factory: "+x.getLocalizedMessage());
--- 89,93 ----
          try {
              Method m = c.getMethod("setError", new Class[] { int.class });
!             m.invoke(bdd, new Object[] { new Integer(code) });
          } catch (Exception x) {
              System.err.println("Exception occurred while setting error for BDD factory: "+x.getLocalizedMessage());

--- JDDFactory$1.class DELETED ---

--- CUDDFactory$1.class DELETED ---

--- CALFactory$1.class DELETED ---