code: private DbDatum[] get_obj_property(Database database, String name, String type, DbDatum[] properties)
              throws DevFailed {
          if (!database.isAccess_checked()) checkAccess(database);
  
          //	Format input parameters as string array
          //--------------------------------------------
          String[] array;
          array = new String[properties.length];
          for (int i = 0 ; i<properties.length ; i++)
              array[i] = properties[i].name;
          return get_obj_property(database, name, type, array);
      }
docs: ==========================================================================