code: public List<String> getDevicePipeList(String deviceName, String wildcard) throws DevFailed {
          return databaseDAO.getDevicePipeList(this, deviceName, wildcard);
      }
docs: ===================================================================