Method setFloat

src/main/java/DBList.java:285–299

(String label, float value)

  }

  public void setFloat(String label, float value)
    throws DBException
  {
    DBElement element = getElement(label);
    if (element != null) {
      int fieldType = element.getType();
      if (fieldType == 8)
        element.setValue(new Float(value));
      else
        throw new DBException("Field " + label + " is not floating-point");
    }
    else {
      addElement(new DBElement(8, 0, label, new Float(value)));
    }
  }

  public Object clone()
  {