code: public String[] get_property_list() {
          String[] array = new String[size()];
          for (int i = 0; i < size(); i++)
              array[i] = datum(i).name;
          return array;
      }
docs: ===========================================================