[Javabdd-checkins] JavaBDD/org/sf/javabdd BDDFactory.java,1.28,1.29

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

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

Modified Files:
	BDDFactory.java 
Log Message:
Added setError, etc.

Index: BDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDDFactory.java,v
retrieving revision 1.28
retrieving revision 1.29
diff -C2 -d -r1.28 -r1.29
*** BDDFactory.java	15 Sep 2004 19:35:25 -0000	1.28
--- BDDFactory.java	12 Oct 2004 20:37:19 -0000	1.29
***************
*** 26,30 ****
  public abstract class BDDFactory {
  
!     /** Initializes a BDD factory with the given initial node table size
       * and operation cache size.  Tries to use the "buddy" native library;
       * if it fails, it falls back to the "java" library.
--- 26,31 ----
  public abstract class BDDFactory {
  
!     /**
!      * Initializes a BDD factory with the given initial node table size
       * and operation cache size.  Tries to use the "buddy" native library;
       * if it fails, it falls back to the "java" library.
***************
*** 39,43 ****
      }
  
!     /** Initializes a BDD factory of the given type with the given initial
       * node table size and operation cache size.  The type is a string that
       * can be "buddy", "cudd", "cal", "j", "java", "jdd", "test", "typed", or
--- 40,45 ----
      }
  
!     /**
!      * Initializes a BDD factory of the given type with the given initial
       * node table size and operation cache size.  The type is a string that
       * can be "buddy", "cudd", "cal", "j", "java", "jdd", "test", "typed", or
***************
*** 241,245 ****
--- 243,258 ----
      public abstract void done();
  
+     /**
+      * Sets the error condition.  This will cause the BDD package to throw an
+      * exception at the next garbage collection.
+      * 
+      * @param code  the error code to set
+      */
+     public abstract void setError(int code);
      
+     /**
+      * Clears any outstanding error condition.
+      */
+     public abstract void clearError();
      
      /**** CACHE/TABLE PARAMETERS ****/
***************
*** 635,642 ****
       * instance the current number of variables is 3 and neworder contains
       * [1; 0; 2] then the new variable order is v1<v0<v2.
!      * 
     * @param neworder
     */
      public abstract void setVarOrder(int[] neworder);
  
- 
      
      /**** VARIABLE BLOCKS ****/
--- 648,656 ----
       * instance the current number of variables is 3 and neworder contains
       * [1; 0; 2] then the new variable order is v1<v0<v2.
!      * 
!      * @param neworder  new variable order
!      */
      public abstract void setVarOrder(int[] neworder);
  
      
      /**** VARIABLE BLOCKS ****/