code: public String getEnumLabel(short index) throws DevFailed  {
          if (enum_label==null)
              Except.throw_exception("NoLabels", "Attribute " +
                      name + " has no labels defined");
          String  label = "";
          try {
              label = enum_label[index];
          }
          catch (Exception e) {
              Except.throw_exception(e.toString(), e.toString());
          }
          return label;
      }
docs: ==========================================================================