/**
  * This returns a Product identifier from the product description return from a JDBC
  * getDatabaseProductName()
  */
 public static DatabaseProduct productFromProductDescription(String productDescription) {
   int size = DatabaseProductConstants.DB_SIZE;
   for (int i = 0; i < size; i++) {
     DatabaseProduct product = products[i];
     if (product != null) {
       if (product.matchesDescription(productDescription)) {
         return product;
       }
     }
   }
   ;
   return null;
 }
 public String stringRep(DatabaseProduct dbProduct) {
   String aString = dbProduct.typeFloat();
   if (aString != null) {
     return aString;
   }
   ;
   return null;
 }
 public String stringRep(DatabaseProduct dbProduct, int length) {
   String aString = dbProduct.typeFloat();
   if (aString != null) {
     if (length > 0) {
       return aString + "(" + length + ")";
     }
     ;
     System.err.println("length is less than 0.  Using default");
     return stringRep(dbProduct);
   }
   ;
   return null;
 }
 /**
  * This returns a Product identifier from the product description return from a JDBC
  * getDatabaseProductName()
  */
 public static int productCodeFromProductDescription(String productDescription) {
   DatabaseProduct product = productFromProductDescription(productDescription);
   if (product == null) return -1;
   return product.code();
 }
 static void registerProduct(DatabaseProduct product) {
   products[product.code()] = product;
   keyToProduct.atKey_put(product.key(), product);
 }