[Javabdd-checkins] JavaBDD/net/sf/javabdd CALFactory.java,1.2,1.3 TestBDDFactory.java,1.2,1.3 JFactory.java,1.2,1.3 BuDDyFactory.java,1.2,1.3 CUDDFactory.java,1.2,1.3 TypedBDDFactory.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-serv22165/net/sf/javabdd

Modified Files:
	CALFactory.java TestBDDFactory.java JFactory.java 
	BuDDyFactory.java CUDDFactory.java TypedBDDFactory.java 
Log Message:
Fixed $Revision$ tags.

Index: TestBDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/TestBDDFactory.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** TestBDDFactory.java	18 Oct 2004 09:35:20 -0000	1.2
--- TestBDDFactory.java	18 Oct 2004 09:45:43 -0000	1.3
***************
*** 975,978 ****
--- 975,979 ----
      }
      
+     public static final String REVISION = "$Revision$";
  
      /* (non-Javadoc)
***************
*** 980,984 ****
       */
      public String getVersion() {
!         return "TestBDD $Revision$ of ("+f1.getVersion()+","+f1.getVersion()+")";
      }
  }
--- 981,986 ----
       */
      public String getVersion() {
!         return "TestBDD "+REVISION.substring(11, REVISION.length()-2)+
!                " of ("+f1.getVersion()+","+f1.getVersion()+")";
      }
  }

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/JFactory.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** JFactory.java	18 Oct 2004 09:35:20 -0000	1.2
--- JFactory.java	18 Oct 2004 09:45:43 -0000	1.3
***************
*** 29,36 ****
  
      static final boolean VERIFY_ASSERTIONS = false;
!     static final String VERSION = "JFactory $Revision$";
      
      public String getVersion() {
!         return VERSION;
      }
      
--- 29,36 ----
  
      static final boolean VERIFY_ASSERTIONS = false;
!     public static final String REVISION = "$Revision$";
      
      public String getVersion() {
!         return "JFactory "+REVISION.substring(11, REVISION.length()-2);
      }
      

Index: TypedBDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/TypedBDDFactory.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** TypedBDDFactory.java	18 Oct 2004 09:35:20 -0000	1.2
--- TypedBDDFactory.java	18 Oct 2004 09:45:43 -0000	1.3
***************
*** 1165,1168 ****
--- 1165,1169 ----
      }
      
+     public static final String REVISION = "$Revision$";
  
      /* (non-Javadoc)
***************
*** 1170,1174 ****
       */
      public String getVersion() {
!         return "TypedBDD $Revision$ with "+factory.getVersion();
      }
  }
--- 1171,1176 ----
       */
      public String getVersion() {
!         return "TypedBDD "+REVISION.substring(11, REVISION.length()-2)+
!                " with "+factory.getVersion();
      }
  }

Index: BuDDyFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BuDDyFactory.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** BuDDyFactory.java	18 Oct 2004 09:35:20 -0000	1.2
--- BuDDyFactory.java	18 Oct 2004 09:45:43 -0000	1.3
***************
*** 471,482 ****
  
      /* (non-Javadoc)
-      * @see net.sf.javabdd.BDDFactory#getVersion()
-      */
-     public String getVersion() {
-         return getVersion0();
-     }
-     private static native String getVersion0();
-     
-     /* (non-Javadoc)
       * @see net.sf.javabdd.BDDFactory#nodeCount(java.util.Collection)
       */
--- 471,474 ----
***************
*** 1086,1088 ****
--- 1078,1090 ----
      }
      
+     public static final String REVISION = "$Revision$";
+     
+     /* (non-Javadoc)
+      * @see net.sf.javabdd.BDDFactory#getVersion()
+      */
+     public String getVersion() {
+         return getVersion0()+" rev"+REVISION.substring(11, REVISION.length()-2);
+     }
+     private static native String getVersion0();
+     
  }

Index: CUDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/CUDDFactory.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** CUDDFactory.java	18 Oct 2004 09:35:20 -0000	1.2
--- CUDDFactory.java	18 Oct 2004 09:45:43 -0000	1.3
***************
*** 930,938 ****
      }
  
      /* (non-Javadoc)
       * @see net.sf.javabdd.BDDFactory#getVersion()
       */
      public String getVersion() {
!         return "CUDD r$Revision$";
      }
      
--- 930,940 ----
      }
  
+     public static final String REVISION = "$Revision$";
+     
      /* (non-Javadoc)
       * @see net.sf.javabdd.BDDFactory#getVersion()
       */
      public String getVersion() {
!         return "CUDD "+REVISION.substring(11, REVISION.length()-2);
      }
      

Index: CALFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/CALFactory.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** CALFactory.java	18 Oct 2004 09:35:20 -0000	1.2
--- CALFactory.java	18 Oct 2004 09:45:43 -0000	1.3
***************
*** 888,896 ****
      }
  
      /* (non-Javadoc)
       * @see net.sf.javabdd.BDDFactory#getVersion()
       */
      public String getVersion() {
!         return "CAL r$Revision$";
      }
      
--- 888,898 ----
      }
  
+     public static final String REVISION = "$Revision$";
+     
      /* (non-Javadoc)
       * @see net.sf.javabdd.BDDFactory#getVersion()
       */
      public String getVersion() {
!         return "CAL "+REVISION.substring(11, REVISION.length()-2);
      }