[Javabdd-checkins] JavaBDD/net/sf/javabdd BDD.java,1.2,1.3

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

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

Modified Files:
	BDD.java 
Log Message:
Better error message.

Index: BDD.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDD.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** BDD.java	19 Oct 2004 11:11:35 -0000	1.2
--- BDD.java	19 Jan 2005 23:50:21 -0000	1.3
***************
*** 768,773 ****
                      ++j;
                  }
!                 if (j == levels.length)
!                     throw new BDDException("BDD contains variable not in iteration set: "+factory.level2Var(v));
                  i = j;
                  
--- 768,782 ----
                      ++j;
                  }
!                 if (j == levels.length) {
!                     StringBuffer sb = new StringBuffer();
!                     sb.append("BDD contains variable ");
!                     sb.append(factory.level2Var(v));
!                     sb.append(" not in iteration set: ");
!                     for (int k = 0; k < levels.length; ++k) {
!                         sb.append(factory.level2Var(k));
!                         if (k < levels.length) sb.append(",");
!                     }
!                     throw new BDDException(sb.toString());
!                 }
                  i = j;