[Javabdd-checkins] JavaBDD/org/sf/javabdd BuDDyFactory.java,1.35,1.36 CALFactory.java,1.5,1.6 CUDDFactory.java,1.17,1.18 JDDFactory.java,1.6,1.7 JFactory.java,1.9,1.10 TestBDDFactory.java,1.12,1.13 TypedBDDFactory.java,1.19,1.20

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

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

Modified Files:
	BuDDyFactory.java CALFactory.java CUDDFactory.java 
	JDDFactory.java JFactory.java TestBDDFactory.java 
	TypedBDDFactory.java 
Log Message:
Added support for setError, etc.


Index: BuDDyFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BuDDyFactory.java,v
retrieving revision 1.35
retrieving revision 1.36
diff -C2 -d -r1.35 -r1.36
*** BuDDyFactory.java	14 Sep 2004 23:53:30 -0000	1.35
--- BuDDyFactory.java	12 Oct 2004 20:41:33 -0000	1.36
***************
*** 161,164 ****
--- 161,180 ----
  
      /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#setError(int)
+      */
+     public void setError(int code) {
+         setError0(code);
+     }
+     private static native void setError0(int code);
+     
+     /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#clearError()
+      */
+     public void clearError() {
+         clearError0();
+     }
+     private static native void clearError0();
+     
+     /* (non-Javadoc)
       * @see org.sf.javabdd.BDDFactory#setMaxNodeNum(int)
       */

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JFactory.java,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** JFactory.java	15 Sep 2004 00:02:07 -0000	1.9
--- JFactory.java	12 Oct 2004 20:41:33 -0000	1.10
***************
*** 4246,4249 ****
--- 4246,4263 ----
  
      /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#setError(int)
+      */
+     public void setError(int code) {
+         bdderrorcond = code;
+     }
+     
+     /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#clearError()
+      */
+     public void clearError() {
+         bdderrorcond = 0;
+     }
+    
+     /* (non-Javadoc)
       * @see org.sf.javabdd.BDDFactory#setMaxNodeNum(int)
       */

Index: TypedBDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/TypedBDDFactory.java,v
retrieving revision 1.19
retrieving revision 1.20
diff -C2 -d -r1.19 -r1.20
*** TypedBDDFactory.java	12 Aug 2004 21:18:27 -0000	1.19
--- TypedBDDFactory.java	12 Oct 2004 20:41:33 -0000	1.20
***************
*** 84,87 ****
--- 84,101 ----
  
      /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#setError(int)
+      */
+     public void setError(int code) {
+         factory.setError(code);
+     }
+     
+     /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#clearError()
+      */
+     public void clearError() {
+         factory.clearError();
+     }
+     
+     /* (non-Javadoc)
       * @see org.sf.javabdd.BDDFactory#setMaxNodeNum(int)
       */

Index: JDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JDDFactory.java,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** JDDFactory.java	15 Sep 2004 03:03:39 -0000	1.6
--- JDDFactory.java	12 Oct 2004 20:41:33 -0000	1.7
***************
*** 537,540 ****
--- 537,554 ----
  
      /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#setError(int)
+      */
+     public void setError(int code) {
+         // TODO Implement this.
+     }
+     
+     /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#clearError()
+      */
+     public void clearError() {
+         // TODO Implement this.
+     }
+     
+     /* (non-Javadoc)
       * @see org.sf.javabdd.BDDFactory#setMaxNodeNum(int)
       */

Index: CUDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/CUDDFactory.java,v
retrieving revision 1.17
retrieving revision 1.18
diff -C2 -d -r1.17 -r1.18
*** CUDDFactory.java	2 Aug 2004 20:20:53 -0000	1.17
--- CUDDFactory.java	12 Oct 2004 20:41:33 -0000	1.18
***************
*** 112,115 ****
--- 112,129 ----
  
      /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#setError(int)
+      */
+     public void setError(int code) {
+         // TODO Implement this.
+     }
+     
+     /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#clearError()
+      */
+     public void clearError() {
+         // TODO Implement this.
+     }
+     
+     /* (non-Javadoc)
       * @see org.sf.javabdd.BDDFactory#setMaxNodeNum(int)
       */

Index: TestBDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/TestBDDFactory.java,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** TestBDDFactory.java	15 Sep 2004 03:02:53 -0000	1.12
--- TestBDDFactory.java	12 Oct 2004 20:41:33 -0000	1.13
***************
*** 533,536 ****
--- 533,552 ----
  
      /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#setError(int)
+      */
+     public void setError(int code) {
+         f1.setError(code);
+         f2.setError(code);
+     }
+     
+     /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#clearError()
+      */
+     public void clearError() {
+         f1.clearError();
+         f2.clearError();
+     }
+     
+     /* (non-Javadoc)
       * @see org.sf.javabdd.BDDFactory#setMaxNodeNum(int)
       */

Index: CALFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/CALFactory.java,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** CALFactory.java	2 Aug 2004 20:20:53 -0000	1.5
--- CALFactory.java	12 Oct 2004 20:41:33 -0000	1.6
***************
*** 112,115 ****
--- 112,129 ----
  
      /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#setError(int)
+      */
+     public void setError(int code) {
+         // TODO Implement this.
+     }
+     
+     /* (non-Javadoc)
+      * @see org.sf.javabdd.BDDFactory#clearError()
+      */
+     public void clearError() {
+         // TODO Implement this.
+     }
+     
+     /* (non-Javadoc)
       * @see org.sf.javabdd.BDDFactory#setMaxNodeNum(int)
       */